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 non-implications
Get more facts about abelian group|Get 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.
- ACIC-group: This is a group where every automorph-conjugate 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 1-isomorphic 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 1-isomorphism, i.e., it restricts to an isomorphism on cyclic subgroups.
- Finite group that is order statistics-equivalent to an abelian group: This is a finite group whose order statistics match those of a finite baelian group.