Definition:Centralizer/Group Subset

Definition
Let $\struct {G, \circ}$ be a group.

Let $S \subseteq G$.

The centralizer of $S$ (in $G$) is the set of elements of $G$ which commute with all $s \in S$:


 * $\map {C_G} S = \set {x \in G: \forall s \in S: x \circ s = s \circ x}$

Also denoted as
The notation $\map C {S; G}$ is sometimes seen for the centralizer of $S$ in $G$.