Оглавление [Скрыть]
Многообразие конечных полугрупп
-
Определение многообразия конечных полугрупп
- Многообразие конечных полугрупп – это класс полугрупп, замкнутый относительно конечных произведений и подполугрупп.
- Проконечные тождества используются для определения многообразия конечных полугрупп.
-
Теорема Рейтермана
- Теорема Рейтермана утверждает эквивалентность двух определений многообразия конечных полугрупп.
- Доказательство основано на выборе множества проконечных тождеств и свойствах класса полугрупп, удовлетворяющих этим тождествам.
-
Сравнение с понятием многообразия универсальной алгебры
- Многообразие в универсальной алгебре эквивалентно классу структур, замкнутых относительно гомоморфных образов, подалгебр и произведений.
- Основное различие между конечным и бесконечным случаем состоит в том, что подмоноид конечной группы является конечной группой, в то время как бесконечные группы не замкнуты при взятии подмоноидов.
-
Рекомендации по форматированию
- Приведены рекомендации по форматированию библиографических описаний и использованию различных тем оформления в HTML.
Полный текст статьи: