centralizer

Also known as centralizer subgroup, commutant

subgroup of a group G that each leaves invariant each element of a given subset of a G-set