# FZ implies finite derived subgroup

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., FZ-group) must also satisfy the second group property (i.e., group with finite derived subgroup)

View all group property implications | View all group property non-implications

Get more facts about FZ-group|Get more facts about group with finite derived subgroup

This result was proved by Schur and is sometimes termed the **Schur-Baer theorem**.

## Contents

## Statement

### Verbal statement

If the inner automorphism group (viz the quotient by the center) of a group is finite, so is the derived subgroup. In fact, there is an explicit bound on the size of the commutator subgroup as a function of the size of the inner automorphism group.

### Symbolic statement

Let be a group such that is finite. Then, is also finite. In fact, if , then has size at most .

### Variety-theoretic statement

The variety of abelian groups is a Schur-Baer variety.

## Related facts

- Finitely many commutators implies finite derived subgroup: If the number of elements in a group that can be written as commutators is finite, then the derived subgroup is finite. Note that this fact is proved
*using*the Schur-Baer theorem, hence it cannot be used to simplify the proof of the Schur-Baer theorem given below. - Finitely generated and FC implies FZ

### Alternative formulation

## Facts used

- Exterior square of finite group is finite
- Commutator map is homomorphism from exterior square to derived subgroup of central extension (and this homomorphism is surjective by definition)

## Proof

### Proof using the alternate formulation

**Given**: A group such that is finite.

**To prove**: is finite and its order is bounded in terms of the order of .

**Proof**:

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

1 | There is a surjective homomorphism (here, denotes the exterior square of ). | Fact (2) | can be viewed as a central extension with quotient group (i.e., there is a short exact sequence ) and we can then apply Fact (2). | ||

2 | The group is finite. | Fact (1) | is finite. | fact-given combination direct. | |

3 | The group is finite and its order is bounded in terms of the order of . | The image of a finite group under a homomorphism is finite. | Steps (1), (2) | Fact-given direct. Note that the order being bounded follows from the fact that it is boudned by the order of . Since there are only finitely many isomorphism types of for a given order , we can take the maximum over all these of the orders of their exterior squares, thereby getting a finite bound, in terms of , on the orders of these. Explicit versions of the bound on the size in Fact (1) allow explicit bounds here. |

### Direct proof outline

The proof involves two steps:

- Showing that the number of distinct commutators is at most : This follows from the fact that the commutator depends only on the quotients of and modulo , and thus there are possibilities.
- Showing that for any element in the commutator subgroup, there is a minimal word for that element with each commutator occuring at most times: This shows that any element of the commutator subgroup has a word in terms of the commutators, of length at most , and this completes the proof.