Assertion: finite abelian group | /r/HasProperty | direct products
Facets:
Source sentences:
text: The finite abelian groups are either cyclic groups, or direct products thereof; see abelian groups.