commutant

Noun

 * 1)  The subset of all elements of a semigroup that commute with the elements of a given subset