Нейтральный элемент существует не всегда, а если и существует , то единственный

Докажем это: пусть и - два нейтральных элемента, тогда получим , значит е – единственный.

Если алгебраическая операция обладает нейтральным элементом, то приобретает смысл понятие обратного элемента.

Определение: элемент b называется обратным к элементу а, если