Bicommutant

In algebra, the bicommutant of a subset S of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written .

The bicommutant is particularly useful in operator theory, due to the von Neumann double commutant theorem, which relates the algebraic and analytic structures of operator algebras. Specifically, it shows that if M is a unital, self-adjoint operator algebra in the C*-algebra B(H), for some Hilbert space H, then the weak closure, strong closure and bicommutant of M are equal. This tells us that a unital C*-subalgebra M of B(H) is a von Neumann algebra if, and only if, , and that if not, the von Neumann algebra it generates is .