Input (grade 7): More compactly, an abelian group is a commutative group.
Output (grade 6): An Abelian group is a group in Group Theory that is commutative.