Every group is normal fully normalized in its holomorph
Suppose is a group. Denote by the holomorph of ; in other words, we have:
- is normal in : Every inner automorphism of restricts to an automorphism of .
- is fully normalized in : Every automorphism of extends to an inner automorphism in .