МОНОГЕННАЯ ПОЛУГРУППА

МОНОГЕННАЯ ПОЛУГРУППА

циклическая полугрупп а,- полугруппа, порожденная одним элементом. М. п., порожденная элементом о, обозначается обычно (иногда ) и состоит из всевозможных степеней с натуральными показателями. Если все эти степени различны, то изоморфна аддитивной полугруппе натуральных чисел. В противном случае конечна, и тогда число ее элементов наз. порядком полугруппы , а также порядком элемента а. Если бесконечна, то говорят, что элемент аимеет бесконечный порядок. Для конечной М. п.существует наименьшее число hс тем свойством, что при нек-ром ; число hназ. индексом элемента а(а также полугруппы А). Если при этом d- наименьшее число с тем свойством, что , то dназ. периодом элемента а(полугруппы А). Пара (h, d)наз. типом элемента а(полугруппы А). Для любых натуральных чисел hи d существует М. п. типа (h, d);две конечные М. п. изоморфны тогда и только тогда, когда их типы совпадают. Если {h, d)- тип М. п., то элементы различны, и, следовательно, порядок Аравен h+d-1; множество

является в Анаибольшей подгруппой и наименьшим идеалом; единица егруппы Gбудет единственным идем-потентом в А, причем при любом l таком, что ; группа G- циклическая группа, ее порождающим элементом будет, напр., ае. Идемпотент конечной М. п. является в ней единицей (нулем) тогда и только тогда, когда ее индекс (соответственно период) равен 1; это эквивалентно тому, что данная М. п. есть группа (соответственно нильпотентная полугруппа). Всякая подполугруппа бесконечной М. п. является конечно порожденной полугруппой.

Лит.:[1] Клиффорд А., Престон Г., Алгебраическая теория полугрупп, пер. с англ., т. 1, М., 1972; [2] Ляпин Е. С, Полугруппы, М., 1960.

Л. Н. Шеврин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "МОНОГЕННАЯ ПОЛУГРУППА" в других словарях:

  • ЦИКЛИЧЕСКАЯ ПОЛУГРУППА — то же, что моногенная полугруппа …   Математическая энциклопедия

  • ПЕРИОДИЧЕСКАЯ ПОЛУГРУППА — полугруппа, в к рой каждая моногенная подполугруппа конечна (другими словами, каждый элемент имеет конечный порядок). Всякая П. п. имеет идемпотенты. Множество К е всех элементов П. п., нек рая (зависящая от элемента) степень к рых равна данному… …   Математическая энциклопедия

  • МИНИМАЛЬНЫЙ ИДЕАЛ — минимальный элемент частично упорядоченного множества идеалов определенного типа нек рой алгебраич. системы. Поскольку порядок в множестве идеалов определяется отношением включения, М. и. идеал, не содержащий отличных от себя идеалов того же типа …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»