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.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8179
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Operator Algebras, Abstract Algebra → Mathematics

Core Idea¶

Bicommutant is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: 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. 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 S^{\prime \prime} .

How would you explain it like I'm…

Either-Order Friends Twice

Say two actions 'get along' if doing them in either order ends the same way, like putting on a hat and putting on socks. Start with a group of actions. First find every action that gets along with all of them. Then find every action that gets along with all of those. That second collection is the bicommutant, and your starting actions are always in it.

The Double Commuting Collection

Two things 'commute' if doing them in either order gives the same answer, like 2×3 and 3×2. Start with some collection S of things you can multiply. The commutant of S is everything that commutes with every member of S. The bicommutant is the commutant of the commutant: everything that commutes with every member of that first collection. The bicommutant always contains S, and it can be bigger. In a part of math about operators, it helps decide when a collection is 'complete' in an important sense.

Commutant of the Commutant

In algebra, the commutant S' of a subset S of a semigroup (such as an algebra or a group) is the set of all elements that commute with every element of S. The bicommutant, also called the double or second commutant and written S'', is the commutant of the commutant: S'' = (S')'. It always contains S, since each element of S commutes with everything in S'. The bicommutant is especially important in operator theory because of von Neumann's double commutant theorem. That theorem says that for a unital, self-adjoint algebra M of operators on a Hilbert space, its bicommutant equals its closure in the weak and strong operator topologies. So such an algebra is a von Neumann algebra exactly when M = M''.

In any semigroup (such as an algebra or group), the commutant of a subset S is S' = {x : xs = sx for all s ∈ S}, and the bicommutant (double or second commutant) is S'' = (S')'. Always S ⊆ S'', and taking commutants reverses inclusion, so S''' = S'. In operator theory, von Neumann's double commutant theorem states that if M is a unital, self-adjoint subalgebra of B(H), the bounded operators on a Hilbert space H, then the weak-operator closure, strong-operator closure and bicommutant of M coincide. Consequently a unital C*-subalgebra M of B(H) is a von Neumann algebra if and only if M = M'', and otherwise the von Neumann algebra it generates is M''. This links an algebraic construction to topological closure, which is why the bicommutant is central to the theory of operator algebras. The concept itself, though, is the purely algebraic 'commutant of the commutant', valid in any semigroup.

Scope of Application¶

Documented setting. 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.
Documented setting. It is also known as the double commutant or second commutant and is written S^{\prime \prime} .
Documented setting. 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.
Documented setting. 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.
Documented setting. This tells us that a unital C-subalgebra M of B(H) is a von Neumann algebra if, and only if, M = M^{\prime \prime} , and that if not, the von Neumann.

Clarity¶

A clear use of Bicommutant names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is 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.

Manages Complexity¶

Bicommutant compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—it is also known as the double commutant or second commutant and is written S^{\prime \prime} .—and the practical consequence—so S^{\prime \prime \prime} = \left(S^{\prime \prime}\right)^{\prime} \subseteq S^{\prime} . This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit.

Abstract Reasoning¶

Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: 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.
Check operation and conditions. 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.
Demand recognition evidence.

Knowledge Transfer¶

Within the home domain. Knowledge about Bicommutant transfers literally when a new case preserves the same carrier type, relation, and recognition test. 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 S^{\prime \prime} . Beyond the home domain. No canonical parent is asserted for Bicommutant.

Neighborhood in Abstraction Space¶

Bicommutant sits in a sparse region of the domain-specific corpus (62^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Operator Algebras & Commutant Structures (9 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08