Jacobson density theorem
In mathematics, more specifically non-commutative ring theory, modern algebra, and module theory, the Jacobson density theorem is a theorem concerning simple modules over a ring R.[1]
The theorem can be applied to show that any primitive ring can be viewed as a "dense" subring of the ring of linear transformations of a vector space.[2][3] This theorem first appeared in the literature in 1945, in the famous paper "Structure Theory of Simple Rings Without Finiteness Assumptions" by Nathan Jacobson.[4] This can be viewed as a kind of generalization of the Artin-Wedderburn theorem's conclusion about the structure of simple Artinian rings.
Contents
1 Motivation and formal statement
2 Proof
2.1 Proof of the Jacobson density theorem
3 Topological characterization
4 Consequences
5 Relations to other results
6 Notes
7 References
8 External links
Motivation and formal statement
Let R be a ring and let U be a simple right R-module. If u is a non-zero element of U, u • R = U (where u • R is the cyclic submodule of U generated by u). Therefore, if u, v are non-zero elements of U, there is an element of R that induces an endomorphism of U transforming u to v. The natural question now is whether this can be generalized to arbitrary (finite) tuples of elements. More precisely, find necessary and sufficient conditions on the tuple (x1, ..., xn) and (y1, ..., yn) separately, so that there is an element of R with the property that xi • r = yi for all i. If D is the set of all R-module endomorphisms of U, then Schur's lemma asserts that D is a division ring, and the Jacobson density theorem answers the question on tuples in the affirmative, provided that the xi are linearly independent over D.
With the above in mind, the theorem may be stated this way:
The Jacobson Density Theorem. Let U be a simple right R-module, D = End(UR), and X ⊂ U a finite and D-linearly independent set. If A is a D-linear transformation on U then there exists r ∈ R such that A(x) = x • r for all x in X.[5]
Proof
In the Jacobson density theorem, the right R-module U is simultaneously viewed as a left D-module where D = End(UR), in the natural way: g • u = g(u). It can be verified that this is indeed a left module structure on U.[6] As noted before, Schur's lemma proves D is a division ring if U is simple, and so U is a vector space over D.
The proof also relies on the following theorem proven in (Isaacs 1993) p. 185:
Theorem. Let U be a simple right R-module, D = End(UR), and X ⊂ U a finite set. Write I = annR(X) for the annihilator of X in R. Let u be in U with u • I = 0. Then u is in XD; the D-span of X.
Proof of the Jacobson density theorem
We use induction on |X|. If X is empty, then the theorem is vacuously true and the base case for induction is verified.
Assume X is non-empty, let x be an element of X and write Y = X x. If A is any D-linear transformation on U, by the induction hypothesis there exists s ∈ R such that A(y) = y • s for all y in Y. Write I = annR(Y). It is easily seen that x • I is a submodule of U. If x • I = 0, then the previous theorem implies that x would be in the D-span of Y, contradicting the D-linear independence of X, therefore x • I ≠ 0. Since U is simple, we have: x • I = U. Since A(x) − x • s ∈ U = x • I, there exists i in I such that x • i = A(x) − x • s.
Define r = s + i and observe that for all y in Y we have:
- y⋅r=y⋅(s+i)=y⋅s+y⋅i=y⋅s(since i∈annR(Y))=A(y)displaystyle beginalignedycdot r&=ycdot (s+i)\&=ycdot s+ycdot i\&=ycdot s&&(textsince iin textann_R(Y))\&=A(y)endaligned
Now we do the same calculation for x:
- x⋅r=x⋅(s+i)=x⋅s+x⋅i=x⋅s+(A(x)−x⋅s)=A(x)displaystyle beginalignedxcdot r&=xcdot (s+i)\&=xcdot s+xcdot i\&=xcdot s+left(A(x)-xcdot sright)\&=A(x)endaligned
Therefore, A(z) = z • r for all z in X, as desired. This completes the inductive step of the proof. It follows now from mathematical induction that the theorem is true for finite sets X of any size.
Topological characterization
A ring R is said to act densely on a simple right R-module U if it satisfies the conclusion of the Jacobson density theorem.[7] There is a topological reason for describing R as "dense". Firstly, R can be identified with a subring of End(DU) by identifying each element of R with the D linear transformation it induces by right multiplication. If U is given the discrete topology, and if UU is given the product topology, and End(DU) is viewed as a subspace of UU and is given the subspace topology, then R acts densely on U if and only if R is dense set in End(DU) with this topology.[8]
Consequences
The Jacobson density theorem has various important consequences in the structure theory of rings.[9] Notably, the Artin–Wedderburn theorem's conclusion about the structure of simple right Artinian rings is recovered. The Jacobson density theorem also characterizes right or left primitive rings as dense subrings of the ring of D-linear transformations on some D-vector space U, where D is a division ring.[3]
Relations to other results
This result is related to the Von Neumann bicommutant theorem, which states that, for a *-algebra A of operators on a Hilbert space H, the double commutant A′′ can be approximated by A on any given finite set of vectors. See also the Kaplansky density theorem in the von Neumann algebra setting.
Notes
^ Isaacs, p. 184
^ Such rings of linear transformations are also known as full linear rings.
^ ab Isaacs, Corollary 13.16, p. 187
^ Jacobson, Nathan "Structure Theory of Simple Rings Without Finiteness Assumptions"
^ Isaacs, Theorem 13.14, p. 185
^ Incidentally it is also a D-R bimodule structure.
^ Herstein, Definition, p. 40
^ It turns out this topology is the same as the compact-open topology in this case. Herstein, p. 41 uses this description.
^ Herstein, p. 41
References
I.N. Herstein (1968). Noncommutative rings (1st ed.). The Mathematical Association of America. ISBN 0-88385-015-X..mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
I. Martin Isaacs (1993). Algebra, a graduate course (1st ed.). Brooks/Cole Publishing Company. ISBN 0-534-19002-2.
Jacobson, N. (1945), "Structure theory of simple rings without finiteness assumptions", Trans. Amer. Math. Soc., 57: 228–245, doi:10.1090/s0002-9947-1945-0011680-8, ISSN 0002-9947, MR 0011680
External links
- PlanetMath page
