Простая полугруппа

- полугруппа, не содержащая собственных идеалов или конгруэнции того или иного фиксированного типа. В зависимости от рассматриваемого тина возникают различные типы П. и.: идеально простая - не содержащая собственных двусторонних идеалов (термин "П. п." часто относят только к таким полугруппам), простая слева (справа) - не содержащая собственных левых (правых) идеалов, 0-простая (слева, справа) - полугруппа с нулем, не содержащая собственных ненулевых двусторонних (левых, правых) идеалов и не являющаяся двухэлементной полугруппой с нулевым умножением, бипростая - состоящая из одного [img: http://localhost:8080/file/041755-2.jpg] -класса (см. Грина отношения эквивалентности),0-бипростая - состоящая из двух [img: http://localhost:8080/file/041755-3.jpg] - классов, один из к-рых нулевой, простая относительно конгруэнции - не имеющая конгруэнции, кроме универсального отношения и отношения равенства. Всякая простая слова или справа полугруппа бипроста; всякая бипростая полугруппа идеально проста, но существуют идеально П. п., не являющиеся бипростыми (и даже такие, что все их [img: http://localhost:8080/file/041755-4.jpg] -классы одноэлементны). Важнейшим типом идеально П. п. (0-простых полугрупп) является вполне простая полугруппа (вполне 0-простая полугруппа). Важнейшие примеры бипростых, но не вполне П. п.: бициклическая полугруппа, четырехспиральная полугруппа Sр 4 (см. [11]) - это полугруппа, заданная порождающими а, b, с, d и определяющими соотношениями а 2=а, b2=b, с 2=с, d2=d, ba=a, ab=b, bc=b, cb=c, dc=c, cd=d, da=d;полугруппа Sp4 изоморфна рисовской полугруппе матричного типа над бициклич. полугруппой с порождающими и, v, где uv=1, с сэндвич-матрицей [img: http://localhost:8080/file/041755-5.jpg] Четырехспиральная полугруппа является в нек-ром смысле минимальной среди бипростых и не вполне П. п., порожденных конечным числом идемпотентов, и нередко возникает как подполугруппа таких полугрупп. Простые справа полугруппы (п. с. п.) наз. также полугруппами с правым делением или полугруппами с правой обратимостью. Основанием для этих терминов является следующее свойство таких полугрупп, эквивалентное определению: для любых элементов аи bсуществует элемент хтакой, что аx=b. П. с. п., содержащие идемпотенты,- это в точности правые группы. Важный пример п. с. п. без идешютентов доставляет полугруппа Т(М,d, р, q).всех таких преобразований j множества М, что 1).ядро j равно отношению эквивалентности d на М,2) мощность фактормножества M/d равна р,3) множество Mj пересекается с каждым d-классом не более чем по одному элементу, 4) множество d-классов, не пересекающихся с Му, имеет бесконечную мощность q, причем [img: http://localhost:8080/file/041755-6.jpg]. Полугруппа Т(М,d, р, q).наз. полугруппой Тесье типа (р, q), а в случае, когда d - отношение равенства, она наз. полугруппой Бэра -Леви типа (р, q).(см. [6], [7J). Полугруппа Тесье - пример п. с. п. без идемпотентов, не обязательно удовлетворяющей правостороннему закону сокращения. Всякая п. с. п. без идемпотентов вкладывается в подходящую полугруппу Тесье, а всякая п. с. п. без идемпотентов и с правосторонним законом сокращения вкладывается в подходящую полугруппу Бэра - Леви (причем в обоих случаях можно выбрать р=q). Различные типы П. п. часто возникают в качестве "блоков", из к-рых строятся рассматриваемые полугруппы. По поводу классич. примеров П. п. см. Вполне простая полугруппа, Брандта полугруппа, Правая группа.;о бипростых инверсных полугруппах (в том числе структурные теоремы при нек-рых ограничениях на полурешетку идемпотентов) см. |1], [8], [9]. Существуют идеально простые инверсные полугруппы с произвольным числом [img: http://localhost:8080/file/041755-7.jpg] -классов. При изучении вложений полугрупп в П. п. обычно либо указываются условия для возможности соответствующего вложения, либо устанавливается, что всякая полугруппа вкладывается в подходящую П. п. рассматриваемого типа; напр., любая полугруппа вкладывается в бипростую полугруппу с единицей (см. [1]), в бипростую полугруппу, порожденную идемпотентами (см. [10]), в простую относительно конгруэнции полугруппу (к-рая может обладать теми или иными наперед заданными свойствами: наличие или отсутствие нуля, полнота, пустота подполугруппы Фраттини и т. д., см. [3] - [5]).