Assertion: finite abelian group | /r/HasProperty | cyclic
Facets:
Source sentences:
text: The first implication is also true, i.e., a finite abelian group with abelian automorphism groups is cyclic (see this duplicate MSE-question).
text: The finite abelian groups are either cyclic groups, or direct products thereof; see abelian groups.