# Equivalence of definitions of Fitting-free group

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
View a complete list of replacement theorems| View a complete list of failures of replacement

## The definitions that we have to prove as equivalent

The three definitions are:

1. There is no nontrivial Abelian normal subgroup
2. There is no nontrivial nilpotent normal subgroup
3. 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

## 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: