• любой элемент  имеет единственный обратный элемент

• любой элемент  имеет левый и правый обратные элементы, которые в общем случае не совпадают

• любой элемент , не равный нулю,  имеет единственный обратный элемент

• существует элемент , который имеет единственный обратный элемент