Double Centralizer Theorem

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.