Group theory MOC

Normalizer in a group

Let be a group and be a subset. An element normalizes iff it leaves invariant under conjugation, i.e.

The normalizer of in is the subgroup of all elements normalizing , #m/def/group i.e.

Proof of subgroup

This is just the setwise stabilizer of under the conjugation action.

See also

#state/tidy | #lang/en | #SemBr