Finite abelian group

This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: finite group and abelian group
View other group property conjunctions OR view all group properties

Definition

Symbol-free definition

A finite abelian group is a group satisfying the following equivalent conditions:

1. It is both finite and abelian.
2. It is isomorphic to a direct product of finitely many finite cyclic groups.
3. It is isomorphic to a direct product of abelian groups of prime power order.
4. It is isomorphic to a direct product of cyclic groups of prime power order.

Equivalence of definitions

For full proof, refer: Structure theorem for finitely generated abelian groups

Examples

VIEW: groups satisfying this property | groups dissatisfying property finite group | groups dissatisfying property abelian group
VIEW: Related group property satisfactions | Related group property dissatisfactions

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Abelian group of prime power order
Finite cyclic group				|FULL LIST, MORE INFO
Odd-order abelian group				|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Finitely generated abelian group				|FULL LIST, MORE INFO
Periodic abelian group				|FULL LIST, MORE INFO
Finite nilpotent group				|FULL LIST, MORE INFO
Finite group that is 1-isomorphic to an abelian group				|FULL LIST, MORE INFO
Finite group that is order statistics-equivalent to an abelian group				|FULL LIST, MORE INFO