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

From Groupprops

Statement

Suppose is a group and is a nontrivial characteristic subgroup of . Then, there exists a group containing suchthat is a Characteristic subgroup (?) of but is not a Fully invariant subgroup (?) of .

Related facts