Classification of finite abelian groups
This is a survey article related to:Abelianness
View other survey articles about Abelianness
Our goal in this article is to give a complete description of all finite Abelian groups. This includes:
- Describing each finite Abelian group in an easy way from which all questions about its structure can be answered
- For every natural number, giving a complete list of all the isomorphism classes of Abelian groups having that natural number as order.
Further information: structure theorem for finitely generated Abelian groups
This theorem is the main result that gives the complete classification. We state it here in a form that is suited for the classification:
Every finite Abelian group can be expressed as a product of cyclic groups of prime power order. Moreover this expression is unique upto ordering of the factors and upto isomorphism
Reduction to case of prime power order groups
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.
Dependence on partitions of the exponent
If an Abelian group of prime power order is expressed as a direct product of cyclic groups of prime power order then the sum of the exponents of all the direct factors equals . Conversely, given any partition of into nonnegative integers, say , we can form an Abelian group:
Thus the set of Abelian groups of order is in bijection with the set of nonnegative integer partitions of .
The overall description
Then the set of Abelian groups of order is in bijective correspondence with where denotes the set of unordered partitions of the integer into nonnegative integer parts.