Моногенная полугруппа - Monogenic semigroup

Моногенная полугруппа порядка 9 и периода 6. Числа являются показателями генератора. а; стрелки указывают на умножение на а.

В математика, а моногенная полугруппа это полугруппа генерируется одним элементом.^[1] Моногенные полугруппы также называют циклические полугруппы.^[2]

Структура

Моногенная полугруппа, порожденная одноэлементный набор {а} обозначается ${\displaystyle \langle a\rangle }$. Набор элементов ${\displaystyle \langle a\rangle }$ является {а, а², а³, ...}. У моногенной полугруппы есть две возможности ${\displaystyle \langle a\rangle }$:

• а ^м = а ^п ⇒ м = п.
• Существуют м ≠ п такой, что а ^м = а ^п.

В первом случае ${\displaystyle \langle a\rangle }$ является изоморфный полугруппе ({1, 2, ...}, +) группы натуральные числа под дополнение. В таком случае, ${\displaystyle \langle a\rangle }$ является бесконечная моногенная полугруппа и элемент а говорят, что имеет бесконечный порядок. Иногда его называют свободная моногенная полугруппа потому что это также свободная полугруппа с одним генератором.

В последнем случае пусть м - наименьшее натуральное число такое, что а ^м = а ^Икс для некоторого положительного целого числа Икс ≠ м, и разреши р быть наименьшим натуральным числом такое, что а ^м = а ^{м + р}. Положительное целое число м называется индекс и положительное целое число р как период моногенной полугруппы ${\displaystyle \langle a\rangle }$. В порядок из а определяется как м+р-1. Период и индекс удовлетворяют следующим свойствам:

• а ^м = а ^{м + р}
• а ^{м + Икс} = а ^{м + y} если и только если м + Икс ≡ м + y (мод р )
• ${\displaystyle \langle a\rangle }$ = {а, а², ... , а ^{м + р − 1}}
• K_а = {а^м, а ^{м + 1}, ... , а ^{м + р − 1}} это циклический подгруппа а также идеальный из ${\displaystyle \langle a\rangle }$. Это называется ядро из а и это минимальный идеал моногенной полугруппы ${\displaystyle \langle a\rangle }$.^[3][4]

Пара ( м, р ) натуральных чисел определяют структура моногенных полугрупп. Для каждой пары ( м, р ) натуральных чисел существует моногенная полугруппа с индексом м и период р. Моногенная полугруппа с индексом м и период р обозначается M ( м, р ). Моногенная полугруппа M ( 1, р ) это циклическая группа порядка р.

Результаты в этом разделе на самом деле держать для любого элемента а произвольной полугруппы и моногенной подполугруппы ${\displaystyle \langle a\rangle }$ он производит.

Связанные понятия

Связанное с этим понятие - понятие периодическая полугруппа (также называется полугруппа кручения), в котором каждый элемент имеет конечный порядок (или, что то же самое, в котором каждая монгенная подполугруппа конечна). Более общий класс - это квазипериодические полугруппы (также известные как полугруппы с групповой границей или эпигруппы ), в которой каждый элемент полугруппы имеет степень, лежащую в подгруппе.^[5][6]

An апериодическая полугруппа - это группа, в которой каждая моногенная подполугруппа имеет период 1.

Смотрите также

• Обнаружение цикла, задача нахождения параметров конечной моногенной полугруппы с использованием ограниченного объема памяти
• Специальные классы полугрупп

использованная литература

1. Хауи, Дж. М. (1976). Введение в теорию полугрупп. L.M.S. Монографии. 7. Академическая пресса. С. 7–11. ISBN  0-12-356950-8.
2. А. Х. Клиффорд; Г. Б. Престон (1961). Алгебраическая теория полугрупп, том I. Математические обзоры. 7. Американское математическое общество. С. 19–20. ISBN  978-0821802724.
3. http://www.encyclopediaofmath.org/index.php/Kernel_of_a_semi-group
4. http://www.encyclopediaofmath.org/index.php/Minimal_ideal
5. http://www.encyclopediaofmath.org/index.php/Periodic_semi-group
6. Питер М. Хиггинс (1992). Методы теории полугрупп. Издательство Оксфордского университета. п. 4. ISBN  978-0-19-853577-5.