Characteristically simple and non-abelian implies monolith in automorphism group
Analogue for abelian groups and more general groups
- Characteristically simple implies CSCFN-realizable (analogue for groups in general)
- Additive group of a field implies monolith in holomorph (analogue for abelian groups): In particular, any elementary abelian group is a monolith in its holomorph.
- Semidirect product with self-normalizing subgroup of automorphism group of coprime order implies every automorphism is inner
- Characteristically simple and non-abelian implies automorphism group is complete
- Center is characteristic
- Centerless implies NSCFN in automorphism group
- Characteristically simple and NSCFN implies monolith: If is a characteristically simple subgroup of a group , such that is normal in , , and every automorphism of extends to an inner automorphism of , is a the unique nontrivial normal subgroup of contained in every nontrivial normal subgroup of .
Given: A characteristically simple non-abelian group , with automorphism group .
To prove: is complete: it is centerless and every automorphism of it is inner.
- (Given data used: is characteristically simple non-abelian; Facts used: fact (1)): is centerless: By fact (1), the center of is characteristic in . Since is non-abelian, the center of is not equal to . Since is characteristically simple, this forces the center of to be trivial.
- The natural mapping from to given by the conjugation action is injective, identifying with its image : This follows from the fact that is centerless, so the kernel of the map is trivial.
- (Facts used: fact (2)): is normal, self-centralizing and fully normalized in : This follows from fact (2), and the fact that is centerless.
- (Given data used: is characteristically simple; Facts used: fact (3)): By fact (3) and the conclusion of the previous step (step (3)), and the given datum that is characteristically simple, we conclude that is a monolith in : it is the unique nontrivial normal subgroup of that is contained in every nontrivial normal subgroup of .