Isomorph-normal implies conjugation-invariantly relatively normal in any ambient group

From Groupprops
Jump to: navigation, search

Statement

Suppose H \le K \le G are groups. Suppose, further, that H is an Isomorph-normal subgroup (?) of K: every subgroup of K isomorphic to H is normal. Then, H is a Conjugation-invariantly relatively normal subgroup (?) of K relative to G.