The centralizer is the largest subgroupHH of GG containing SS such that SS is in the center of HH. The centralizer of a subset is clearly a subgroup of its normalizer, as fixing the set gH=Hgg H=H g is a weaker requirement than gh=hgg h=h g for all h∈Hh\in H.