Abelian implies nilpotent
DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly  directly or indirectly, upto two steps  directly or indirectly, upto three steps
VIEW: Survey articles about this
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., abelian group) must also satisfy the second group property (i.e., nilpotent group)
View all group property implications  View all group property nonimplications
Get more facts about abelian groupGet more facts about nilpotent group
Statement
Verbal statement
Any abelian group is a nilpotent group. In fact, abelian groups are precisely the nilpotent groups of nilpotency class equal to 1.
Definitions used
Term  Definition used 

abelian group  A group is abelian if it satisfies the following equivalent conditions:

nilpotent group  A group is nilpotent if it satisfies the following equivalent conditions:

Proof
Using upper central series
Given: An Abelian group
To prove: The upper central series of , terminates, after finitely many steps, at
Proof: The first member of the upper central series is the center of , which is the whole of since is Abelian. Thus the upper central series terminates in 1 step, and is nilpotent of nilpotence class 1.
Using lower central series
Given: An abelian group
To prove: The lower central series of terminates in finitely many steps at the trivial subgroup
Proof:The first member of the lower central series of is the derived subgroup of , which is trivial because is abelian. Thus the upper central series terminates in 1 step, and is nilpotent of class 1.
Converse
The converse of this statement is not true: nilpotent not implies abelian.
Intermediate properties
For finite groups
 Dedekind group: This is a group where every subgroup is normal.
 ACICgroup: This is a group where every automorphconjugate subgroup is characteristic. For finite groups, ACIC implies nilpotent. In general, it does not, but Abelian always implies ACIC.
 Group generated by abelian normal subgroups: This property is weaker than Abelianness. If we require only finitely many Abelian normal subgroups to generate the group, then it is nilpotent. In particular, for finite groups, such a group is always nilpotent.
 Finite group that is 1isomorphic to an abelian group: This is a finite group for which there exists a bijection to an abelian group (and hence, a finite abelian group) with the property that the bijection is a 1isomorphism, i.e., it restricts to an isomorphism on cyclic subgroups.
 Finite group that is order statisticsequivalent to an abelian group: This is a finite group whose order statistics match those of a finite baelian group.