Engel group: Difference between revisions

Revision as of 09:49, 3 December 2024

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

Definition

A group $G$ is termed an Engel group or nil group or nilgroup, if, given any two elements $x, y \in G$ , there exists a $n$ such that the iterated commutator:

$[[\dots [x, y], y], y], \dots], y] = e$

where $e$ denotes the identity element, $[x, y] = x y x^{- 1} y^{- 1}$ denotes the commutator of $x$ and $y$ , and $y$ occurs $n$ times.

If there exists a $n$ that works for all pairs of elements of $G$ , then we say that $G$ is a $n$ -Engel group. A $n$ -Engel group, for some $n$ , is termed a bounded Engel group. Note that sometimes the term Engel group is used for bounded Engel group.

Note if we instead define the commutator as $[x, y] = x^{- 1} y^{- 1} x y$ we get an equivalent definition.

Relation with other properties

Stronger properties

Property	Meaning	Intermediate notions
locally nilpotent group	every finitely generated subgroup is nilpotent	\|FULL LIST, MORE INFO
nilpotent group		\|FULL LIST, MORE INFO
bounded Engel group		\|FULL LIST, MORE INFO
2-locally nilpotent group	subgroup generated by two elements is always nilpotent	\|FULL LIST, MORE INFO

@@ Line 3: / Line 3: @@
 ==Definition==
-A [[group]] <math>G</math> is termed an '''Engel group''' or '''nil group''' or '''nilgroup''', if, given any two elements <math>x,y \in G</math>, there exists a <math>n</math> such that the iterated commutator:
+A [[group]] <math>G</math> is termed an '''Engel group''' or '''nil group''' or '''nilgroup''', if, given any two elements <math>x,y \in G</math>, there exists a <math>n</math> such that the iterated [[commutator]]:
 <math>[[ \dots [x,y],y],y],\dots],y] = e</math>
-where <math>e</math> denotes the identity element, and <math>y</math> occurs <math>n</math> times.
+where <math>e</math> denotes the identity element, <math>[x,y] = xyx^{-1}y^{-1}</math> denotes the commutator of <math>x</math> and <math>y</math>, and <math>y</math> occurs <math>n</math> times.
 If there exists a <math>n</math> that works for all pairs of elements of <math>G</math>, then we say that <math>G</math> is a <math>n</math>-Engel group. A <math>n</math>-Engel group, for some <math>n</math>, is termed a [[bounded Engel group]]. Note that sometimes the term ''Engel group'' is used for bounded Engel group.
+Note if we instead define the commutator as <math>[x,y] = x^{-1}y^{-1}xy</math> we get an equivalent definition.
 ==Relation with other properties==