Справедливо ли в произвольной инверсной полугруппе S тождество

1) Справедливо. Пусть в произвольной инверсной полугруппе S элементы a и b инверсны друг другу. Тогда аˉ¹*bˉ¹=аˉ¹*a=1 и (а*b)ˉ¹=(а*aˉ¹)ˉ¹=1ˉ¹=1.
2) Справедливо . «Инверсные полугруппы можно рассматривать как универсальные алгебры с двумя операциями: бинарной – умножением и унарной – взятием инверсного элемента