die Menge aller Elemente einer Algebra A, die mit allen Elementen einer Teilmenge B von A kommutieren.

Der Kommutant B^′ von B ist also die Menge \begin{eqnarray}{B}^{^{\prime} }:=\{a\in A|\forall b\in B:b\cdot a=a\cdot b\}.\end{eqnarray}