Определение

Группа - моноид $G$, все элементы которого обратимы.

Группа - такое множество $G$, которое:
- На множестве $G$ задана бинарная ассоциативная операция;
- $G$ обладает единичным элементом;
- Для каждого элемента $G$ существует обратный элемент.