Finite abelian group (source code)

= Finite abelian group
{wiki}

A finite abelian group is a <finite group> whose operation is commutative.