Def. Алгебраическая система с одной бинарной операцией, на которой выполнены свойства: 1-4 называется группой Все пять свойств - коммутативной (абелевой) группой алгебраическиесистемы