Editing Characteristic subgroup (section)

=== Normal subgroup ===
{{main|Normal subgroup}}
A subgroup of {{math|''H''}} that is invariant under all inner automorphisms is called [[normal subgroup|normal]]; also, an invariant subgroup.
:{{math|∀φ ∈ Inn(''G'')： φ(''H'') ≤ ''H''}}

Since {{math|Inn(''G'') ⊆ Aut(''G'')}} and a characteristic subgroup is invariant under all automorphisms, every characteristic subgroup is normal. However, not every normal subgroup is characteristic.  Here are several examples:
* Let {{math|''H''}} be a nontrivial group, and let {{math|''G''}} be the [[direct product of groups|direct product]], {{math|''H'' × ''H''}}.  Then the subgroups, {{math|{1} × ''H''}} and {{math|''H''  × {1{{)}}}}, are both normal, but neither is characteristic.  In particular, neither of these subgroups is invariant under the automorphism, {{math|(''x'', ''y'') → (''y'', ''x'')}}, that switches the two factors.
* For a concrete example of this, let {{math|''V''}} be the [[Klein four-group]] (which is [[group isomorphism|isomorphic]] to the direct product, <math>\mathbb{Z}_2 \times \mathbb{Z}_2</math>).  Since this group is [[abelian group|abelian]], every subgroup is normal; but every permutation of the 3 non-identity elements is an automorphism of {{math|''V''}}, so the 3 subgroups of order 2 are not characteristic.  Here {{math|V {{=}} {''e'', ''a'', ''b'', ''ab''} }}. Consider {{math|H {{=}} {''e'', ''a''{{)}}}} and consider the automorphism, {{math|T(''e'') {{=}} ''e'', T(''a'') {{=}} ''b'', T(''b'') {{=}} ''a'', T(''ab'') {{=}} ''ab''}}; then {{math|T(''H'')}} is not contained in {{math|''H''}}.
* In the [[quaternion group]] of order 8, each of the cyclic subgroups of order 4 is normal, but none of these are characteristic.  However, the subgroup, {{math|{1, −1{{)}}}}, is characteristic, since it is the only subgroup of order 2.
* If {{math|''n''}} > 2 is even, the [[dihedral group]] of order {{math|2''n''}} has 3 subgroups of [[index of a subgroup|index]] 2, all of which are normal.  One of these is the cyclic subgroup, which is characteristic.  The other two subgroups are dihedral; these are permuted by an [[outer automorphism group|outer automorphism]] of the parent group, and are therefore not characteristic.