Double centralizer theorem

Last updated November 06, 2022

In the branch of abstract algebra called ring theory, the double centralizer theorem can refer to any one of several similar results. These results concern the centralizer of a subring S of a ring R, denoted C_R(S) in this article. It is always the case that C_R(C_R(S)) contains S, and a double centralizer theorem gives conditions on R and S that guarantee that C_R(C_R(S)) is equal to S.

Statements of the theorem

Motivation

The centralizer of a subring S of R is given by

\mathrm {C} _{R}(S)=\{r\in R\mid rs=sr{\text{ for all }}s\in S\}.\,

Clearly C_R(C_R(S)) ⊇ S, but it is not always the case that one can say the two sets are equal. The double centralizer theorems give conditions under which one can conclude that equality occurs.

There is another special case of interest. Let M be a right R module and give M the natural left E-module structure, where E is End(M), the ring of endomorphisms of the abelian group M. Every map m_r given by m_r(x) = xr creates an additive endomorphism of M, that is, an element of E. The map r → m_r is a ring homomorphism of R into the ring E, and we denote the image of R inside of E by R_M. It can be checked that the kernel of this canonical map is the annihilator Ann(M_R). Therefore, by an isomorphism theorem for rings, R_M is isomorphic to the quotient ring R/Ann(M_R). Clearly when M is a faithful module, R and R_M are isomorphic rings.

So now E is a ring with R_M as a subring, and C_E(R_M) may be formed. By definition one can check that C_E(R_M) = End(M_R), the ring of R module endomorphisms of M. Thus if it occurs that C_E(C_E(R_M)) = R_M, this is the same thing as saying C_E(End(M_R)) = R_M.

Central simple algebras

Perhaps the most common version is the version for central simple algebras, as it appears in ( Knapp 2007 , p.115):

Theorem: If A is a finite-dimensional central simple algebra over a field F and B is a simple subalgebra of A, then C_A(C_A(B)) = B, and moreover the dimensions satisfy

\mathrm {dim} _{F}(B)\cdot \mathrm {dim} _{F}(\mathrm {C} _{A}(B))=\mathrm {dim} _{F}(A).\,

Artinian rings

The following generalized version for Artinian rings (which include finite-dimensional algebras) appears in ( Isaacs 2009 , p.187). Given a simple R module U_R, we will borrow notation from the above motivation section including R_U and E=End(U). Additionally, we will write D=End(U_R) for the subring of E consisting of R-homomorphisms. By Schur's lemma, D is a division ring.

Theorem: Let R be a right Artinian ring with a simple right module U_R, and let R_U, D and E be given as in the previous paragraph. Then

R_{U}=\mathrm {C} _{E}(\mathrm {C} _{E}(R_{U}))\,

.

Remarks

In this version, the rings are chosen with the intent of proving the Jacobson density theorem. Notice that it only concludes that a particular subring has the centralizer property, in contrast to the central simple algebra version.
Since algebras are normally defined over commutative rings, and all the involved rings above may be noncommutative, it's clear that algebras are not necessarily involved.
If U is additionally a faithful module, so that R is a right primitive ring, then R_U is ring isomorphic to R.

Polynomial identity rings

In ( Rowen 1980 , p.154), a version is given for polynomial identity rings. The notation Z(R) will be used to denote the center of a ring R.

Theorem: If R is a simple polynomial identity ring, and A is a simple Z(R) subalgebra of R, then C_R(C_R(A)) = A.

Remarks

This version can be considered to be "between" the central simple algebra version and the Artinian ring version. This is because simple polynomial identity rings are Artinian,^[1] but unlike the Artinian version, the conclusion still refers to all central simple subrings of R.

von Neumann Algebras

The Von Neumann bicommutant theorem states that a *-subalgebra A of the algebra of bounded operators B(H) on a Hilbert space H is a von Neumann algebra (i.e. is weakly closed) if and only if A = C_B(H)C_B(H)(A).

Double centralizer property

A module M is said to have the double centralizer property or to be a balanced module if C_E(C_E(R_M)) = R_M, where E = End(M) and R_M are as given in the motivation section. In this terminology, the Artinian ring version of the double centralizer theorem states that simple right modules for right Artinian rings are balanced modules.

Notes

↑ They are full matrix rings over polynomial identity division rings, according to Rowen (1980 , p. 151)

Related Research Articles

In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence $of left ideals has a largest element; that is, there exists an n such that:$

In mathematics, especially group theory, the centralizer of a subset S in a group G is the set of elements $of G such that each member commutes with each element of S, or equivalently, such that conjugation by leaves each element of S fixed. The normalizer of S in G is the set of elements of G that satisfy the weaker condition of leaving the set fixed under conjugation. The centralizer and normalizer of S are subgroups of G . Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets S .$

In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In the branch of abstract algebra known as ring theory, a left primitive ring is a ring which has a faithful simple left module. Well known examples include endomorphism rings of vector spaces and Weyl algebras over fields of characteristic zero.

In abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication. The set of all n × n matrices with entries in R is a matrix ring denoted M_n(R). Some sets of infinite matrices form infinite matrix rings. Any subring of a matrix ring is a matrix ring. Over a rng, one can form matrix rngs.

In mathematics, specifically abstract algebra, an Artinian ring is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Georg Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In ring theory and Frobenius algebra extensions, areas of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf algebroids in place of the more classical Galois groups, whereas the notion of depth greater than two measures the defect, or distance, from being depth two in a tower of iterated endomorphism rings above the subring. A more recent definition of depth of any unital subring in any associative ring is proposed in a paper studying the depth of a subgroup of a finite group as group algebras over a commutative ring.

In abstract algebra, a uniserial moduleM is a module over a ring R, whose submodules are totally ordered by inclusion. This means simply that for any two submodules N₁ and N₂ of M, either $or . A module is called a serial module if it is a direct sum of uniserial modules. A ring R is called a right uniserial ring if it is uniserial as a right module over itself, and likewise called a right serial ring if it is a right serial module over itself. Left uniserial and left serial rings are defined in an analogous way, and are in general distinct from their right counterparts.$

In ring theory, a subfield of abstract algebra, a right Kasch ring is a ring R for which every simple right R module is isomorphic to a right ideal of R. Analogously the notion of a left Kasch ring is defined, and the two properties are independent of each other.

In the subfield of abstract algebra known as module theory, a right R module M is called a balanced module if every endomorphism of the abelian group M which commutes with all R-endomorphisms of M is given by multiplication by a ring element. Explicitly, for any additive endomorphism f, if fg = gf for every R endomorphism g, then there exists an r in R such that f(x) = xr for all x in M. In the case of non-balanced modules, there will be such an f that is not expressible this way.

This is a glossary of commutative algebra.

References

Isaacs, I. Martin (2009), Algebra: a graduate course, Graduate Studies in Mathematics, vol. 100, Providence, RI: American Mathematical Society, pp. xii+516, ISBN 978-0-8218-4799-2, MR 2472787 Reprint of the 1994 original
Knapp, Anthony W. (2007), Advanced algebra, Cornerstones, Boston, MA: Birkhäuser Boston Inc., pp. xxiv+730, ISBN 978-0-8176-4522-9, MR 2360434
Rowen, Louis Halle (1980), Polynomial identities in ring theory, Pure and Applied Mathematics, vol. 84, New York: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], pp. xx+365, ISBN 0-12-599850-3, MR 0576061

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] They are full matrix rings over polynomial identity division rings, according to Rowen (1980 , p. 151)

[1]