Category:Normalizers

From ProofWiki
Jump to navigation Jump to search

This category contains results about Normalizers.

Let $G$ be a group.

Let $S$ be a subset of $G$.


Then the normalizer of $S$ in $G$ is the set $\map {N_G} S$ defined as:

$\map {N_G} S := \set {a \in G: S^a = S}$

where $S^a$ is the $G$-conjugate of $S$ by $a$.