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

From Groupprops

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 .

Related facts