Every nontrivial normal subgroup is potentially characteristic-and-not-fully invariant

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a group and H is a nontrivial Normal subgroup (?) of G. Then, there exists a group K containing G such that H is a Characteristic subgroup (?) of K but not a Fully invariant subgroup (?) of K.

Related facts