# Equivalence of definitions of nilpotent group that is torsion-free for a set of primes

This article gives a proof/explanation of the equivalence of multiple definitions for the term nilpotent group that is torsion-free for a set of primes

View a complete list of pages giving proofs of equivalence of definitions

## Contents

## Statement

### For an arbitrary (not necessarily nilpotent) group and a prime

Suppose is a group and is a prime number. We have the implications (1) implies (2) implies (3) implies (4) implies (5) implies (6):

- is a -powering-injective group, i.e., is injective.
- is a -torsion-free group.
- There exists an element such that the equation has a unique solution for .
- The center is a -torsion-free group.
- Each of the successive quotients in the upper central series of is a -torsion-free group.
- All quotients of the form for are -powering-injective groups, i.e., is injective in each such quotient group.

### For a nilpotent group and a prime

Suppose is a nilpotent group and is a prime number. The following are equivalent:

- is a -powering-injective group, i.e., is injective.
- is a -torsion-free group.
- There exists an element such that the equation has a unique solution for .
- The center is a -torsion-free group.
- Each of the successive quotients in the upper central series of is a -torsion-free group.
- All quotients of the form for are -powering-injective groups, i.e., is injective in each such quotient group.

### For an arbitrary (not necessarily nilpotent) group and a set of primes

Suppose is a group and is a set of prime numbers. We have the implications (1) implies (2) implies (3) implies (4) implies (5) implies (6):

- is a -powering-injective group, i.e., is injective and each .
- is a -torsion-free group.
- For each , there exists an element (possibly dependent on ) such that the equation has a unique solution for .
- The center is a -torsion-free group.
- Each of the successive quotients in the upper central series of is a -torsion-free group.
- All quotients of the form for are -powering-injective groups, i.e., is injective in each such quotient group and each .

### For a nilpotent group and a set of primes

Suppose is a nilpotent group and is a set of prime numbers. The following are equivalent:

- is a -powering-injective group, i.e., is injective and each .
- is a -torsion-free group.
- For each , there exists an element (possibly dependent on ) such that the equation has a unique solution for .
- The center is a -torsion-free group.
- Each of the successive quotients in the upper central series of is a -torsion-free group.
- All quotients of the form for are -powering-injective groups, i.e., is injective in each such quotient group and each .

## Related facts

### Dual

The dual fact to this is equivalence of definitions of nilpotent group that is divisible for a set of primes.

The duality is as follows:

Concept of the torsion-free side | Concept on the divisible side |
---|---|

torsion-free | divisible |

center | abelianization |

inner automorphism group | derived subgroup |

upper central series | lower central series |

## Facts used

## Proof

We first prove the directions of implication for an arbitrary group and a single prime, then complete the equivalences by showing (6) implies (1) for the nilpotent case. The version for a prime set can be deduced easily, so we do not include it explicitly.

### (1) implies (2)

If is injective, then since the identity element also has itself as a root, it cannot have any other roots. Thus, is -torsion-free.

### (2) implies (3)

Take the element to be the identity element of .

### (3) implies (4)

**Given**: A group , a prime number , an element such that has a unique solution . An element (where is the center of ) such that is the identity element of and hence also of .

**To prove**: is the identity element of (and hence also of ).

**Proof**:

Step no. | Assertion/construction | Given data used | Previous steps used | Explanation |
---|---|---|---|---|

1 | is in the center of | |||

2 | is the identity element of . | Step (1) | ||

3 | . | has a unique root. | Step (2) | Step-given direct. |

4 | is the identity element of . | Step (3) | Step-direct |

### (4) implies (5)

The proof method used in this article is discussed in the survey article upward induction on upper central series.|See a list of facts whose proof uses this method

This is the trickiest part and in some sense the meat of the proof.

We will prove the claim by induction. Explicitly, the claim is that for every nonnegative integer , the quotient group is -torsion-free.

**Base case for induction**: In case , the quotient becomes , which is -torsion-free by assumption.

**Inductive step**:

**Inductive hypothesis**: The quotient group is -torsion-free.

**Goal of inductive step**: The quotient group is -torsion-free.

We now frame our inductive step explicitly:

**Given**: An element such that

**To prove**:

**Proof**:

Step no. | Assertion/construction | Facts used | Given data/inductive hypothesis used | Previous steps used | Explanation |
---|---|---|---|---|---|

1 | For every , | . Also, we are only using the central series nature, not the upper central series nature. |
By definition, , so this follows. | ||

2 | for all . | Formula for commutator of element and product of two elements | Consider the commutator map as a map . By the formula for the commutator of the product, we obtain that the commutator map is a bihomomorphism, i.e., it is a homomorphism in each coordinate holding the other constant. This gives the equality. | ||

3 | for all . | Steps (1), (2) | Step-combination direct. | ||

4 | for all . | . Also, we are only using the central series nature, not the upper central series nature. |
By definition, , so this follows. | ||

5 | for all . | Inductive hypothesis about being -torsion-free. | Steps (3), (4) | Consider the image of mod , viewed as an element of . This is an element of whose power is the identity element. By the inductive hypothesis, is -torsion-free, so the element is the identity element, and therefore, . | |

6 | . | This is the step where we use that we are dealing with the upper central series |
Step (5) | We can interpret Step (5) as saying that the image of in is central in . The center of is , so the image of is in . Thus, . |

### (5) implies (6)

This proof uses the principle of mathematical induction in a nontrivial way (i.e., it would be hard to write the proof clearly without explicitly using induction).

This relies on Fact (1), and the observation that for abelian groups, being powering-injective is the same as being torsion-free. We can write the proof formally by inducting on the magnitude of the difference .

### (6) implies (1): valid only in the nilpotent case

If has class , set to get the result.