In algebra, the commutant of a subset S of an algebra over a field K, A is the subset S' of elements of A commuting with every element of S. In other words,

.

S' forms a subalgebra. This is analogous to the concept of a centralizer in group theory.

See also bicommutant, von Neumann bicommutant theorem.