N-abelian group: Difference between revisions

From Groupprops
Line 2: Line 2:


Suppose <math>n</math> is an integer. A [[group]] <math>G</math> is termed a '''<math>n</math>-abelian group''' if the <math>n^{th}</math> power map <math>x \mapsto x^n</math> is an [[endomorphism]] of <math>G</math>, i.e., <math>(xy)^n = x^ny^n</math> for all <math>x,y \in G</math>. If this is the case, then the <math>n^{th}</math> power map is termed a [[universal power endomorphism]] of <math>G</math>.
Suppose <math>n</math> is an integer. A [[group]] <math>G</math> is termed a '''<math>n</math>-abelian group''' if the <math>n^{th}</math> power map <math>x \mapsto x^n</math> is an [[endomorphism]] of <math>G</math>, i.e., <math>(xy)^n = x^ny^n</math> for all <math>x,y \in G</math>. If this is the case, then the <math>n^{th}</math> power map is termed a [[universal power endomorphism]] of <math>G</math>.
===Alternative definitions===
See [[Alperin's structure theorems for n-abelian groups]].


==Facts==
==Facts==

Revision as of 20:28, 10 August 2012

Definition

Suppose n is an integer. A group G is termed a n-abelian group if the nth power map xxn is an endomorphism of G, i.e., (xy)n=xnyn for all x,yG. If this is the case, then the nth power map is termed a universal power endomorphism of G.

Alternative definitions

See Alperin's structure theorems for n-abelian groups.

Facts

General facts

Particular values

Value of n (note that the condition for n is the same as the condition for 1n) Characterization of n-abelian groups Proof Other related facts
0 all groups obvious
1 all groups obvious
2 abelian groups only 2-abelian iff abelian endomorphism sends more than three-fourths of elements to squares implies abelian
-1 abelian groups only -1-abelian iff abelian
3 2-Engel group and derived subgroup has exponent dividing three Levi's characterization of 3-abelian groups cube map is surjective endomorphism implies abelian, cube map is endomorphism iff abelian (if order is not a multiple of 3)
-2 same as for 3-abelian (based on n-abelian iff (1-n)-abelian)

Relation with other properties

Weaker properties