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