Every nontrivial normal subgroup is potentially normal-and-not-characteristic
Statement
Statement in terms of individual groups
Suppose is a group and is a nontrivial Normal subgroup (?) of . Then, there exists a group containing such that is a normal subgroup of but not a characteristic subgroup of .