Namespaces
Variants
Actions

Nil group

From Encyclopedia of Mathematics
Revision as of 10:51, 15 April 2014 by Ivan (talk | contribs) (TeX)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A group in which any two elements $x$ and $y$ are connected by a relation

$$[[\ldots[[x,y]y],\ldots]y]=1,$$

where the square brackets denote the commutator

$$[a,b]=a^{-1}b^{-1}ab$$

and the number $n$ of commutators in the definition depends, generally speaking, on the pair $x,y$. When $n$ is bounded for all $x,y$ in the group, the group is called an Engel group. Every locally nilpotent group is a nil group. The converse is not true, in general, but it is under some additional assumptions, for example, when the group is locally solvable (cf. Locally solvable group).

Occasionally the term "nil group" is used in a different meaning. Namely, a nil group is a group in which every cyclic subgroup is subnormal, that is, occurs in some subnormal series of the group (see Normal series of a group).

References

[1] A.G. Kurosh, "The theory of groups" , 1–2 , Chelsea (1955–1956) (Translated from Russian)


Comments

In [a1] it has been proved that there are periodic Engel groups that are not locally nilpotent.

References

[a1] E.S. Golod, "On nil-algebras and residually finite $p$-groups" Transl. Amer. Math. Soc. , 48 (1965) pp. 103–106 Izv. Akad. Nauk SSSR Ser. Mat. , 28 (1964) pp. 273–276
How to Cite This Entry:
Nil group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Nil_group&oldid=12270
This article was adapted from an original article by A.L. Shmel'kin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article