Definition:Centralizer/Group Subset

Definition
Let $\left({G, \circ}\right)$ 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$:


 * $C_G \left({S}\right) = \left\{{g \in G: \forall s \in S: g \circ s = s \circ g}\right\}$

Linguistic Note
The UK English spelling of this is centraliser.