bot писал(а):
Странный у Вас вопрос однако.
Нет, ничего странного нет - заглянул в Клиффорда-Престона. Сочетание инверсная симметрическая полугруппа над множеством по-другому понимается. Это полугруппа частичных взаимно однозначных отображений этого множества.
ТатьянаЧ писал(а):
Спасибо, но это все не то.
Ну так уж и всё!
Начать надо с главных идеалов, поскольку всякий идеал полугруппы - это их объединение.
Из теоремы, которую привёл lofar, строение главных левых идеалов ясно. Двусторонний главный идеал, в свою очередь - это объединение левых главных ...
Поскольку речь идёт об идеалах конкретной полугруппы, то эта конкретика может помочь, идемпотенты в ней - это взаимно однозначные отображения подможеств на себя.