An Abelian group is a group in Group Theory that is commutative .
More compactly , an abelian group is a commutative group .