ABELIAN GROUP

Definition An object is <ABELIAN GROUP> if and only if it is an <ALGEBRAIC GROUP> and it complies with the following axiom: For each a, b in S, a * b = b * a