2-Engel group

From Groupprops
Revision as of 20:16, 17 October 2008 by Vipul (talk | contribs) (New page: {{semistddef}} {{group property}} ==Definition== ===Symbol-free definition=== A group is termed a '''Levi group''' or a 2-'''Engel group''' if it satisfies the following equivalent ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.[SHOW MORE]

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

Symbol-free definition

A group is termed a Levi group or a 2-Engel group if it satisfies the following equivalent conditions:

  1. Any two conjugate elements of the group commute.
  2. The normal closure of any cyclic subgroup is Abelian.
  3. The group is a 2-Engel group: the commutator between any element and its commutator with another element is the identity element.

Definition with symbols

A group G is termed a Levi-group or a 2-Engel group if it satisfies the following equivalent conditions:

  1. x commutes with gxg1 for all x,gG.
  2. The normal subgroup generated by x is Abelian for all xG.
  3. The commutator [x,[x,g]] is the identity element for all x,gG.

Relation with other properties

Stronger properties

Weaker properties