# No proper nontrivial transitively normal subgroup not implies simple

This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group having no proper nontrivial transitively normal subgroup) neednotsatisfy the second group property (i.e., simple group)

View a complete list of group property non-implications | View a complete list of group property implications

Get more facts about group having no proper nontrivial transitively normal subgroup|Get more facts about simple group

## Contents

## Statement

We can have a group that is *not* simple but has no proper nontrivial transitively normal subgroup.

## Definitions used

### Transitively normal subgroup

`Further information: Transitively normal subgroup`

A subgroup of a group is termed transitively normal in if whenever is a normal subgroup of , is normal in .

### Simple group

`Further information: Simple group`

A is termed simple if has no proper nontrivial normal subgroup.

## Proof

### Example of the alternating group

`Further information: alternating group:A4`

Let be the alternating group on the set . has three normal subgroups: the whole group, the trivial subgroup, and the four-element subgroup:

.

is not transitively normal, because the two-element subgroup:

is normal in and not normal in . Thus:

- is not simple since it has a proper nontrivial normal subgroup, namely .
- has no proper nontrivial normal subgroup.

### A more generic example

Let be such that is a prime (in this case, it is a Mersenne prime). Consider the general affine group : this is the semidirect product of the additive group of the field of order with its multiplicative group. The only proper nontrivial normal subgroup of this group is the additive group.

This subgroup is *not* transitively normal, because all its proper nontrivial subgroups are normal in it, but *none* of them are normal in the whole group. That is because the multiplicative group acts transitively on the non-identity elements, and hence cannot preserve any proper nontrivial subgroup.

The alternating group is a special case of the above where .