Дано Группой называется множество <tex> M </tex> и бинарная операция с заданной на нём бинарной операцией <tex> \circ </tex>, такая, что для любого <tex> x, y : МM\in times M: x \circ y = z \in longrightarrow M </tex>.Тогда группой называется алгебраическая структура, удовлетворяющая удовлетворяющей следующим свойствам:
