Normal not implies characteristic

From Groupprops
Revision as of 15:05, 3 September 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

A normal subgroup of a group need not be a characteristic subgroup.

Example

Let be any nontrivial group. Then consider , viz the external direct product of with itself. The subgroup is a normal subgroup of (being one of the direct factors).

However, is not a characteristic subgroup, because it is not invariant under the automorphism (called the exchange automorphism).

Note that this example also shows that direct factor does not imply characteristic subgroup.