# Minimal normal implies characteristically simple

This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
Template:Subgroup-to-group property implication
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

## Statement

### Verbal statement

Any group that occurs as a minimal normal subgroup of some group is characteristically simple.

## Facts used

1. Characteristic of normal implies normal: Every characteristic subgroup of a normal subgroup is normal in the whole group.

## Proof

### Hands-on proof

Given: $H$ is a minimal normal subgroup of a group $G$.

To prove: $H$ is characteristically simple.

Proof: Suppose $K$ is a characteristic subgroup of $H$. Then, by fact (1), $K$ is normal in $G$. But since $H$ was minimal normal, either $K = H$ or $K$ is trivial. Thus, every characteristic subgroup of $H$ is either the whole of $H$ or is trivial.