Let G be a set and a binary operation.
Suppose has properties
Then couple is called group.
is called a commutative group.
For a more simple notation we write
Then group axioms become
Let and a function.
f is called morphism of groups if
or with the other notation