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.

Definitions

Minimal normal subgroup

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Characteristically simple group

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

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.