In mathematics, especially group theory, the centralizer (also called commutant) of a subset S in a group G is the set of elements of G that commute with every element of S, or equivalently, the set of elements such that conjugation by leaves each element of S fixed.