Every nontrivial characteristic subgroup is potentially characteristic-and-not-fully invariant
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 .