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 G be any nontrivial group. Then consider K=G×G, viz the external direct product of G with itself. The subgroup G×{e} is a normal subgroup of K (being one of the direct factors).

However, G×{e} is not a characteristic subgroup, because it is not invariant under the automorphism (x,y)(y,x) (called the exchange automorphism).

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