# Potentially relatively characteristic equals normal

## Statement

A subgroup of a group is termed **potentially relatively characteristic** if there is an embedding of the whole group in some bigger group such that every automorphism of the supergroup that restricts to an automorphism of the group, in fact restricts to an automorphism of the subgroup as well.

Then, a subgroup is normal if and only if it is potentially relatively characteristic.

### Definition with symbols

A subgroup of a group is termed **potentially relatively characteristic** in if there is a group such that every automorphism of that restricts to an automorphism of , also restricts to an automorphism of .

is normal in if and only if is potentially relatively characteristic in .

## Related facts

## Proof

### Proof outline

The direction of potentially relatively characteristic implies normal is straightfoward.

For the other direction, the proof idea is as follows. Make the group act on the coset space of the normal subgroup , and use this to get a homomorphism from the group to a symmetric group. A little trick can be used to get an *injective* homomorphism, and further, to ensure that the symmetric group is a complete group. Then, we show that inside this symmetric group, any automorphism that restricts to an automorphism of must also restrict to an automorphism of .