Adjective
pronormal (not comparable) (group theory, of a subgroup) Such that each of its conjugates is conjugate to it already in the subgroup generated by it and its conjugate.