A structural result identifying an algebra with the centralizer of its centralizer when an algebra A acts faithfully on a module M under suitable finiteness or semisimplicity hypotheses: under these conditions A ≅ End_{End_A(M)}(M), i.e., taking the centralizer twice recovers the original acting algebra.

Principle

An algebra acting faithfully and 'sufficiently nondegenerately' on a module can be reconstructed from its action because the endomorphisms that commute with the action encode exactly the complementary symmetry; the double centralizer principle asserts that no hidden extra symmetries remain when finiteness or semisimplicity eliminates pathological centralizers.

Demonstration

Let V be a finite-dimensional vector space over a field k and let A be the full matrix algebra End_k(V). Acting on V, the centralizer End_A(V) is just k acting by scalars, and the centralizer of that centralizer recovers End_k(V) itself; more generally, if A is a subalgebra of End_k(V) acting semisimply with V a semisimple A-module of finite length, then End_{End_A(V)}(V) = A.

Misapplication

Assuming equality of A with its double centralizer without checking hypotheses: for infinite-dimensional modules or nonsemisimple actions one may only have A contained in End_{End_A(M)}(M) with strict inclusion. Another mistake is to ignore faithfulness of the action—if A has a nonzero kernel on M then reconstruction fails.

Consequence

Allows recovery of an algebra from its module action and justifies dualities between representations and commuting endomorphism algebras; it underpins Morita-style equivalences and explicit descriptions of module categories via mutual centralizers, yielding concrete classification tools for representations.

Reversal

The reversal is the observation that in analytic/operator contexts the naive algebraic double commutant must be closed in an operator topology to recover the original algebra (the bicommutant theorem in von Neumann algebra theory), so algebraic equality can fail without taking appropriate closure—this inverts the pure-algebraic reconstruction by adding topological completion.

Boundary

Holds in algebraic contexts under hypotheses such as finite-dimensionality, semisimplicity, or finite length of modules, or when working over Artinian rings; it need not hold for arbitrary modules, infinite-dimensional representations, or categories lacking finiteness and faithfulness conditions. In operator-theoretic settings, additional topological closures are required.

Semantic Tension

Close to but distinct from the von Neumann bicommutant theorem: both assert a recovery by double centralization but differ in that the analytic bicommutant requires topological closure while the algebraic double centralizer relies on finiteness/semisimplicity; confusion arises if one conflates algebraic and analytic hypotheses.

Synthesis

The Double Centralizer Theorem states that, under appropriate finiteness and nondegeneracy hypotheses, the algebra of operators acting on a module can be fully recovered as the centralizer of its own centralizer; this gives a precise duality between an action and its commuting endomorphisms, with operator-theoretic analogues requiring closure and algebraic contexts requiring semisimplicity or finiteness.