# Class two implies commutator map is endomorphism

## Contents

## Statement

### Statement with left-action convention

Suppose is a nilpotent group whose nilpotency class is two. Then, for any element , the maps:

and:

are endomorphisms of . Here:

These endomorphisms map to inverse elements, so their images coincide.

The image of these endomorphism lie in the derived subgroup of , hence in the center of , so it is abelian. The kernel of this endomorphism contains the center of the group, more specifically, it is the centralizer of in .

### Statement with right-action convention

Suppose is a nilpotent group whose nilpotency class is two. Then, for any element , the maps:

and:

are endomorphisms of . Here:

These endomorphisms map to inverse elements, so their images coincide.

The image of these endomorphism lie in the derived subgroup of , hence in the center of , so it is abelian. The kernel of this endomorphism contains the center of the group, more specifically, it is the centralizer of in .

## Related facts

### Statement in terms of cocycles

### Converse

- Commutator map is endomorphism for every element implies class two
- Commutator map for an element is an endomorphism iff the element is in the second center

- Formula for commutator of element and product of two elements
- Subgroup normalizes its commutator with any subset

### Analogues in other algebraic structures

### Applications

- Frattini-in-center p-group implies commutator subgroup is elementary abelian
- Equivalence of definitions of special group
- Frattini-in-center odd-order p-group implies p-power map is endomorphism

## Proof

### Proof with the left-action convention

CONVENTION WARNING:This article/section uses the left-action convention. The left and right action conventions are equally powerful and statements/reasoning here can be converted to the alternative convention (the main reason being that every group is naturally isomorphic to its opposite group via the inverse map). For more on the action conventions and switching between them, refer to switching between the left and right action conventions.

**Given**: A group of nilpotency class two, an element

**To prove**: The map is an endomorphism of

**Proof**: It suffices to show that if , then:

The crucial fact we use is that since has nilpotency class two, the commutator is in the center, and hence it commutes with .

Thus:

Plugging this in, we get:

(an analogous proof works with the other convention for commutators).