Нильполугруппа

- полугруппа с нулем, некоторая степень каждого элемента к-рой равна нулю. Н. составляют один из важнейших классов периодических полугрупп:. это в точности периодич. полугруппы с единственным идемпотентом, являющимся нулем. Более узкий класс составляют локально нильпотентные полугруппы (л. н. п., то есть полугруппы, каждая конечно порожденная подполугруппа к-рых нильпотентна, см. Нильпотентная полугруппа). Для любого [img: http://localhost:8080/file/031510-343.jpg] существует полугруппа с тождеством [img: http://localhost:8080/file/031510-344.jpg], не являющаяся л. н. п. (см., напр., [1] гл. VIII, [img: http://localhost:8080/file/031510-345.jpg] 4). Конечная Н. нильпотентна, и л. н. п.- это в точности локально конечные Н. (см. Локально конечная полугруппа). Еще более узкий класс составляют полугруппы с возрастающим аннуляторным рядом (в. а. р.). Полугруппа Sназ. полугруппой с в. а. р., если она обладает начинающимся с нуля возрастающим идеальным рядом (см. Идеальный ряд полугруппы), для любых двух соседних членов [img: http://localhost:8080/file/031510-346.jpg], [img: http://localhost:8080/file/031510-347.jpg] к-рого имеет место [img: http://localhost:8080/file/031510-348.jpg] Н. будет полугруппой с в. а. р. тогда и только тогда, когда она обладает возрастающим рядом идеалов, все факторы к-рого конечны. Всякая полугруппа с в. а. р. имеет единственное неприводимое порождающее множество, состоящее из ее неразложимых элементов. Произвольная же л. н п. может совпадать со своим квадратом. Наложение на Н. многих условий конечности (см. Полугруппа с условием конечности)влечет конечность полугруппы; таковы, напр., условие минимальности для идеалов, условие максимальности для правых (левых) идеалов. Если все нильпотентные подполугруппы Н. Sконечны, то и Sконечна.