# Equivalence of definitions of Fitting-free group

From Groupprops

This article gives a proof/explanation of the equivalence of multiple definitions for the term Fitting-free group

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

This fact is an application of the following pivotal fact/result/idea:characteristic of normal implies normal

View other applications of characteristic of normal implies normal OR Read a survey article on applying characteristic of normal implies normal

This article defines a replacement theorem

View a complete list of replacement theorems| View a complete list of failures of replacement

## Contents

## The definitions that we have to prove as equivalent

The three definitions are:

- There is no nontrivial Abelian normal subgroup
- There is no nontrivial nilpotent normal subgroup
- There is no nontrivial solvable normal subgroup

## Definitions used

### Abelian group

`Further information: Abelian group`

### Nilpotent group

`Further information: Nilpotent group`

### Solvable group

`Further information: Solvable group`

## Facts used

- any Abelian group is nilpotent and any nilpotent group is solvable
- Any characteristic subgroup of a normal subgroup is normal
- Any solvable group contains a nontrivial characteristic Abelian subgroup: the penultimate term of its derived series

## Proof

Clearly, (3) implies (2) implies (1), so we need to show that (1) implies (3). In other words, we need to show that *if* there exists a nontrivial solvable normal subgroup, then there exists a nontrivial Abelian normal subgroup.

The idea is as follows:

- Start with a nontrivial solvable normal subgroup
- Take the penultimate (second last) term of its derived series. This is a nontrivial Abelian characteristic subgroup of the solvable normal subgroup
- Use the fact that a characteristic subgroup of a normal subgroup is normal