Сепаративная полугруппа

полугруппа, в к-рой для любых элементов х, у из х 2=ху=у2. следует х=у. Если полугруппа Sобладает разбиением на подполугруппы, удовлетворяющие закону сокращения, то Sбудет С. п. Для коммутативных полугрупп верно и обратное; более того, всякая коммутативная С. п. разложима в связку полугрупп (автоматически в полурешетку) с законом сокращения. Коммутативная полугруппа будет С. п. тогда и только тогда, когда она вложима в клиффордову полугруппу. Периодич. полугруппа будет С. п. тогда и только тогда, когда она клиффордова. Коммутативная полугруппа Sбудет С. п. тогда и только тогда, когда ее характеры отделяют элементы S.