Интересная Задача по теории полугрупп.

[ivn]

В полугруппе S есть идеал являющийся подгруппой, тогда и только тогда, когда
$ \exists u \in S ; \forall x \in S: u \in Sx \bigcap xS$
Вот решение на первой странице Для первой части когда из первого второе
http://cs425423.vk.me/v425423809/7de/wT_nGwSasCs.jpg
И вторая страница обратно.
http://cs425423.vk.me/v425423809/7e8/W48QySRTD-E.jpg

Не хватает доказать, что $u = u^2 $

Help! :)

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

Наберите формулы $\TeX$ом в самом посте, а картинки уберите. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.