Groupprops, The Group Properties Wiki (pre-alpha)

From Groupprops

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 1.3 Equivalence of definitions 2 Formalisms 2.1 In terms of ascending series 2.2 In terms of the diagonal-in-square operator 3 Examples 4 Relation with other properties 4.1 Conjunction with other properties 4.2 Stronger properties 4.3 Weaker properties 5 Facts 6 Metaproperties 6.1 Quasivarietal group property 6.2 Subgroups 6.3 Quotients 6.4 Direct products 6.5 Finite normal joins 7 Testing 7.1 GAP command 8 Study of this notion 8.1 Mathematical subject classification 9 References 9.1 Textbook references 10 External links 10.1 Definition links

This article is about a standard (though not very rudimentary) definition in group theory.[SHOW MORE]

The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this | Survey articles about this | Facts about definitions built on this |
VIEW RELATED: Analogues of this | Variations of this |
View a complete list of semi-basic definitions on this wiki

This article defines a group property that is pivotal (i.e., important) among existing group properties
View a list of pivotal group properties | View a complete list of group properties [SHOW MORE]

VIEW RELATED: Group property implications | Group property non-implications | | | |

The version of this for finite groups is at: finite nilpotent group

Definition

Symbol-free definition

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

• Its upper central series stabilizes after a finite length at the whole group.
• Its lower central series stabilizes after a finite length at the trivial subgroup.
• It possesses a central series.

The length after which the upper central series stabilizes equals the length after which the lower central series stabilizes, and this length is termed the nilpotency class (sometimes written as nilpotence class) of the group. For any c greater than or equal to than the nilpotency class, the group is said to be of class c

Definition with symbols

A group G is said to be nilpotent if it satisfies the following equivalent conditions:

• There is a nonnegative integer c such that Z^c(G) = G. Here, we define Z^c(G) inductively as follows:

Z^c(G) is the inverse image of the center Z(G / Z^{c − 1}(G)) under the natural quotient map from G to G / Z^{c − 1}(G), and Z⁰(G) is the trivial subgroup.

The subgroups Z^c(G) are said to form the upper central series of G.

• There is a nonnegative integer c such that [[[..[G,G],G],G],...G] is trivial where G is repeated c + 1 times. Here, [,] denotes the commutator of two subgroups. In other words, the lower central series of G reaches the identity in finitely many steps.

• There is a nonnegative integer c and a chain of subgroups:

such that each H_i is a normal subgroup of G and H_i / H_{i + 1} is in the center of G / H_{i + 1}. In other words, there exists a central series for G of length c.

The smallest possible c for all three definitions is termed the nilpotency class (sometimes written nilpotence class) of G. We usually say a group is of nilpotency class c if its nilpotency class is less than or equal to c.

Equivalence of definitions

Further information: Equivalence of definitions of nilpotent group, equivalence of definitions of nilpotency class

Formalisms

In terms of ascending series

This group property is obtained by applying the ascending series-finite operator to the subgroup-defining function: center

A group is nilpotent if and only if the ascending series corresponding to the center subgroup-defining function (which is the upper central series) terminates at the whole group in finitely many steps.

In terms of the diagonal-in-square operator

This property is obtained by applying the diagonal-in-square operator to the property: subnormal subgroup
View other properties obtained by applying the diagonal-in-square operator

A group G is nilpotent if and only if the diagonal subgroup is subnormal in the group . In fact, the nilpotency class of G equals the subnormal depth of the diagonal subgroup.

Examples

VIEW: groups satisfying this property | groups dissatisfying this property
VIEW: |

• The trivial group is nilpotent, of nilpotency class zero.
• Any abelian group is nilpotent, of nilpotency class one.
• Any group of prime power order is nilpotent. Further information: prime power order implies nilpotent
• The dihedral group of order 8 is the smallest (in terms of order) nilpotent group which is not abelian. It is a group of nilpotency class two.
• The quaternion group is also the smallest (in terms of order) nilpotent group which is not abelian. This also has order eight.
• For , there are in general two non-abelian groups of order p³, both of which are nilpotent (of class two): semidirect product of cyclic group of prime-square order and cyclic group of prime order and prime-cube order group:U(3,p).

Relation with other properties

This property is a pivotal (important) member of its property space. Its variations, opposites, and other properties related to it and defined using it are often studied

• Variations of nilpotent group

Conjunction with other properties

Conjunctions with other group properties:

• Finite nilpotent group: Conjunction of being finite and nilpotent. Any finite nilpotent group is a direct product of its Sylow subgroups.
• Finitely generated nilpotent group
• Periodic nilpotent group

Conjunctions with subgroup properties:

• Nilpotent normal subgroup
• Nilpotent characteristic subgroup
• Nilpotent subnormal subgroup

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Abelian group	any two elements commute, so class	abelian implies nilpotent	nilpotent not implies abelian (see also list of examples)	click here
Cyclic group	generated by one element	(via abelian)	(via abelian) (see also list of examples)	click here
Group of prime power order	order is a power of a prime	prime power order implies nilpotent
Finite nilpotent group	Nilpotent and a finite group			click here
Group of nilpotency class two	The derived subgroup is in the center		(see also list of examples)
Aut-nilpotent group	The automorphism group is a nilpotent group	aut-nilpotent implies nilpotent	nilpotent not implies aut-nilpotent
UL-equivalent group	The upper central series and lower central series coincide	(by definition)	nilpotent not implies UL-equivalent (see also list of examples)

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Metanilpotent group	has nilpotent normal subgroup with nilpotent quotient
Solvable group	derived series reaches the trivial subgroup	nilpotent implies solvable	solvable not implies nilpotent (see also list of examples)	click here
Group in which every maximal subgroup is normal	every maximal subgroup is a normal subgroup	nilpotent implies every maximal subgroup is normal		click here
Group in which every subgroup is subnormal	every subgroup is a subnormal subgroup	nilpotent implies every subgroup is subnormal
Group satisfying normalizer condition	no proper self-normalizing subgroup	nilpotent implies normalizer condition	normalizer condition not implies nilpotent	click here
Gruenberg group
Hypercentral group	transfinite upper central series terminates at whole group
Hypocentral group	transfinite lower central series terminates at trivial subgroup			click here
Locally nilpotent group	every finitely generated subgroup is nilpotent			click here
Residually nilpotent group	for every element, there is a normal subgroup with nilpotent quotient not containing it

Facts

A complete list of facts about nilpotent groups is available at:

Special:SearchByProperty/Fact-20about/Nilpotent-20group

For more specific kinds of facts:

• Category:Subgroup property implications in nilpotent groups
• Category:Subgroup metaproperty satisfactions in nilpotent groups

Metaproperties

Quasivarietal group property

This group property is varietal, in the sense that the collection of groups satisfying this property forms a quasivariety of algebras. In other words, the collection of groups satisfying this property is closed under taking subgroups, taking quotients and taking finite direct products
View other quasivarietal group properties

The property of being nilpotent of class c, for any fixed c is varietal, and we further have that any group of nilpotence class c is of nilpotence class d for any . Combining these two facts, we obtain that:

• Any subgroup of a nilpotent group is nilpotent. In fact, any subgroup of a group of nilpotence class c has nilpotence class c.
• Any quotient of a nilpotent group is nilpotent. In fact, any quotient of a group of nilpotence class c has nilpotence class c.
• Any direct product of two nilpotent groups is nilpotent. In fact, if both of then are of nilpotence class c (we can take c as the higher of their nilpotence classes) then their product is also of nilpotence class c.

For full proof, refer: Nilpotence of fixed class is quasivarietal, Nilpotence is quasivarietal

Subgroups

This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property
View a complete list of subgroup-closed group properties

Nilpotence is subgroup-closed on account of being quasivarietal. See above.

Quotients

This group property is quotient-closed, viz., any quotient of a group satisfying the property also has the property
View a complete list of quotient-closed group properties

Nilpotence is quotient-closed on account of being quasivarietal. See above.

Direct products

This group property is finite direct product-closed, viz the direct product of a finite collection of groups each having the property, also has the property

Nilpotence is closed under finite direct products, on account of being quasivarietal. See above.

Finite normal joins

This group property is finite normal join-closed: in other words, a join of finitely many normal subgroups each having the group property, also has the group property

Nilpotence is closed under taking joins of finitely many normal subgroups. In other words, if a group is generated by finitely many nilpotent normal subgroups, it is also nilpotent. Further information: Nilpotence is finite-normal join-closed

Testing

GAP command

This group property can be tested using built-in functionality of Groups, Algorithms, Programming (GAP).
The GAP command for this group property is:IsNilpotentGroup
The class of all groups with this property can be referred to with the built-in command: NilpotentGroups
View GAP-testable group properties

To test whether a given group is nilpotent or not using GAP, enter:

IsNilpotentGroup (group);

where group is either the definition of a group or a name for a group already defined.

The class of all nilpotent groups is specified as NilpotentGroups.

Study of this notion

Mathematical subject classification

Under the Mathematical subject classification, the study of this notion comes under the class: 20F18

While 20F18 is the subject class used for nilpotent groups, the subject class used for finite nilpotent groups in particular is 20D15.

Closely related is 20F19: Generalizations of nilpotent and solvable groups.

References

Textbook references

• Abstract Algebra by David S. Dummit and Richard M. Foote, 10-digit ISBN 0471433349, 13-digit ISBN 978-0471433347, ^{More info}, Page 190 (formal definition, along with lower central series and upper central series)
• Groups and representations by Jonathan Lazare Alperin and Rowen B. Bell, ISBN 0387945261, ^{More info}, Page 103 (definition introduced in paragraph, along with lower central series and upper central series)
• A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, ^{More info}, Page 122 (formal definition, in terms of central series)
• An Introduction to Abstract Algebra by Derek J. S. Robinson, ISBN 3110175444, ^{More info}, Page 174 (formal definition, in terms of central series)
• Algebra (Graduate Texts in Mathematics) by Thomas W. Hungerford, ISBN 0387905189, ^{More info}, Page 100 (definition introduced in paragraph)
• Topics in Algebra by I. N. Herstein, ^{More info}, Page 117 (definition introduced based on exercises 13-14, that implicitly define lower central series and upper central series, and precedes exercise 15)

External links

Search for "nilpotent+group" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo, Windows Live
Learn more about using the Searchbox OR provide your feedback

Definition links

• Wikipedia page
• Planetmath page
• Mathworld page