En matemáticas , más específicamente en teoría de anillos no conmutativa , álgebra moderna y teoría de módulos , el teorema de densidad de Jacobson es un teorema relativo a módulos simples sobre un anillo R. [1]
El teorema se puede aplicar para demostrar que cualquier anillo primitivo puede verse como un subanillo "denso" del anillo de transformaciones lineales de un espacio vectorial. [2] [3] Este teorema apareció por primera vez en la literatura en 1945, en el famoso artículo "Teoría de la estructura de anillos simples sin supuestos de finitud" de Nathan Jacobson . [4] Esto puede verse como una especie de generalización de la conclusión del teorema de Artin-Wedderburn sobre la estructura de los anillos artinianos simples .
Sea R un anillo y sea U un módulo R recto simple . Si u es un elemento distinto de cero de U , u • R = U (donde u • R es el submódulo cíclico de U generado por u ). Por lo tanto, si u, v son elementos distintos de cero de U , hay un elemento de R que induce un endomorfismo de U transformando u en v . La pregunta natural ahora es si esto se puede generalizar a tuplas arbitrarias (finitas) de elementos. Más precisamente, encuentre las condiciones necesarias y suficientes en la tupla ( x 1 , ..., x n ) y ( y 1 , ..., y n ) por separado, de modo que exista un elemento de R con la propiedad de que x i • r = y i para todo i . Si D es el conjunto de todos los endomorfismos del módulo R de U , entonces el lema de Schur afirma que D es un anillo de división, y el teorema de densidad de Jacobson responde afirmativamente a la pregunta sobre tuplas, siempre que las x i sean linealmente independientes respecto de D.
Teniendo en cuenta lo anterior, el teorema puede expresarse de la siguiente manera:
En el teorema de densidad de Jacobson, el módulo R derecho U se ve simultáneamente como un módulo D izquierdo donde D = Fin( U R ) , de la forma natural: g • u = g ( u ) . Se puede verificar que esta es de hecho una estructura de módulo izquierdo en U. [6] Como se señaló anteriormente, el lema de Schur demuestra que D es un anillo de división si U es simple, por lo que U es un espacio vectorial sobre D.
La demostración también se basa en el siguiente teorema demostrado en (Isaacs 1993) p. 185:
Usamos inducción en | X | . Si X está vacío, entonces el teorema es vacío y se verifica el caso base de la inducción.
Supongamos que X no está vacío, sea x un elemento de X y escriba Y = X \{ x }. Si A es cualquier transformación D -lineal en U , según la hipótesis de inducción existe s ∈ R tal que A ( y ) = y • s para todo y en Y. Escribe I = ann R ( Y ) . Se ve fácilmente que x • I es un submódulo de U. Si x • I = 0 , entonces el teorema anterior implica que x estaría en el intervalo D de Y , contradiciendo la independencia D -lineal de X , por lo tanto x • I ≠ 0 . Como U es simple, tenemos: x • I = U . Dado que A ( x ) − x • s ∈ U = x • I , existe i en I tal que x • i = A ( x ) − x • s .
Defina r = s + i y observe que para todo y en Y tenemos:
Ahora hacemos el mismo cálculo para x :
Por lo tanto, A ( z ) = z • r para todo z en X , como se desee. Esto completa el paso inductivo de la prueba. De la inducción matemática se deduce ahora que el teorema es verdadero para conjuntos finitos X de cualquier tamaño.
Se dice que un anillo R actúa densamente sobre un módulo R derecho simple U si satisface la conclusión del teorema de densidad de Jacobson. [7] Hay una razón topológica para describir a R como "denso". En primer lugar, R puede identificarse con un subanillo de End( D U ) identificando cada elemento de R con la transformación lineal D que induce mediante la multiplicación correcta. Si a U se le da la topología discreta , y si a U U se le da la topología producto , y End( D U ) se ve como un subespacio de U U y se le da la topología subespacial , entonces R actúa densamente sobre U si y solo si R es un conjunto denso en End( D U ) con esta topología. [8]
El teorema de densidad de Jacobson tiene varias consecuencias importantes en la teoría estructural de los anillos. [9] En particular, se recupera la conclusión del teorema de Artin-Wedderburn sobre la estructura de los anillos artinianos rectos simples . El teorema de densidad de Jacobson también caracteriza los anillos primitivos derecho o izquierdo como subanillos densos del anillo de D -transformaciones lineales en algún D -espacio vectorial U , donde D es un anillo de división. [3]
Este resultado está relacionado con el teorema bicommutante de Von Neumann , que establece que, para un *-álgebra A de operadores en un espacio de Hilbert H , el doble conmutante A′′ puede aproximarse por A en cualquier conjunto finito de vectores dado. En otras palabras, el doble conmutante es el cierre de A en la topología de operador débil . Véase también el teorema de densidad de Kaplansky en el contexto del álgebra de von Neumann.