Данная статья содержит следствия, которые вытекают из аксиом группы.
Пусть
- это группа с
бинарной операцией
, которая удовлетворяет аксиомам группы. Тогда справедливы следующие следствия из аксиом группы: