Assertion: finite abelian group | /r/HasProperty | expressible
Facets:
Source sentences:
text: The above theorem also tells us that a finite abelian group is expressible as a direct product of its Sylow subgroups, so it suffices for us to classify all abelian groups of prime power order.