Теорема 3.3

Определение 3.6.

Полугруппа, содержащая единицу, называется моноидом.

В полугруппе могут присутствовать или отсутствовать такие элементы, как левый ноль , правый ноль и просто ноль :

, ;

, ;

.

Если полугруппа одновременно имеет и левый и правый ноль, то эти элементы совпадают и являются единственным нулём группы.

Доказательство.

Пусть полугруппа , содержит одновременно левый и правый нули. Выполним над ними операцию , имеем: .

Дата добавления: 2014-01-05