En matemáticas , un anillo regular de von Neumann es un anillo R (asociativo, con 1, no necesariamente conmutativo) tal que para cada elemento a en R existe un x en R con a = axa . Se puede pensar en x como un "inverso débil" del elemento a; en general , x no está determinado de forma única por a . Los anillos regulares de von Neumann también se denominan anillos absolutamente planos , porque estos anillos se caracterizan por el hecho de que cada módulo R izquierdo es plano .
Los anillos regulares de von Neumann fueron introducidos por von Neumann (1936) bajo el nombre de "anillos regulares", en el curso de su estudio de las álgebras de von Neumann y la geometría continua . Los anillos regulares de von Neumann no deben confundirse con los anillos regulares no relacionados y los anillos locales regulares del álgebra conmutativa .
Un elemento a de un anillo se denomina elemento regular de von Neumann si existe un x tal que a = axa . [1] Un ideal se denomina ideal regular (de von Neumann) si para cada elemento a en existe un elemento x en tal que a = axa . [2]
Todo cuerpo (y todo cuerpo oblicuo ) es regular de von Neumann: para a ≠ 0 podemos tomar x = a −1 . [1] Un dominio integral es regular de von Neumann si y solo si es un cuerpo. Todo producto directo de anillos regulares de von Neumann es nuevamente regular de von Neumann.
Otra clase importante de ejemplos de anillos regulares de von Neumann son los anillos M n ( K ) de matrices cuadradas n por n con entradas de algún cuerpo K . Si r es el rango de A ∈ M n ( K ) , la eliminación gaussiana da matrices invertibles U y V tales que
(donde I r es la matriz identidad r por r ). Si fijamos X = V −1 U −1 , entonces
De manera más general, el anillo de matriz n × n sobre cualquier anillo regular de von Neumann es nuevamente regular de von Neumann. [1]
Si V es un espacio vectorial sobre un cuerpo (o cuerpo oblicuo ) K , entonces el anillo de endomorfismo End K ( V ) es regular de von Neumann, incluso si V no es de dimensión finita. [3]
Generalizando los ejemplos anteriores, supongamos que S es un anillo y M es un S -módulo tal que cada submódulo de M es un sumando directo de M (tales módulos M se llaman semisimples ). Entonces el anillo de endomorfismo End S ( M ) es regular de von Neumann. En particular, cada anillo semisimple es regular de von Neumann. De hecho, los anillos semisimples son precisamente los anillos regulares de von Neumann noetherianos .
El anillo de operadores afiliados de un álgebra de von Neumann finita es regular de von Neumann.
Un anillo booleano es un anillo en el que cada elemento satisface a 2 = a . Todo anillo booleano es regular según el método de von Neumann.
Las siguientes afirmaciones son equivalentes para el anillo R :
Las afirmaciones correspondientes para los módulos correctos también son equivalentes a que R sea von Neumann regular.
Cada anillo regular de von Neumann tiene radical de Jacobson {0} y, por lo tanto, es semiprimitivo (también llamado "Jacobson semi-simple").
En un anillo regular de von Neumann conmutativo, para cada elemento x hay un único elemento y tal que xyx = x y yxy = y , por lo que existe una forma canónica de elegir la "inversa débil" de x .
Las siguientes afirmaciones son equivalentes para el anillo conmutativo R :
Además, los siguientes son equivalentes: para un anillo conmutativo A
Los tipos especiales de anillos regulares de von Neumann incluyen anillos regulares unitarios , anillos regulares fuertemente de von Neumann y anillos de rango .
Un anillo R se denomina regular unitario si para cada a en R hay una unidad u en R tal que a = aua . Todo anillo semisimple es regular unitario y los anillos regulares unitarios son anillos directamente finitos . Un anillo regular de von Neumann ordinario no necesita ser directamente finito.
Un anillo R se denomina fuertemente regular de von Neumann si para cada a en R , hay algún x en R con a = aax . La condición es simétrica de izquierda a derecha. Los anillos fuertemente regulares de von Neumann son regulares unitarios. Todo anillo fuertemente regular de von Neumann es un producto subdirecto de anillos de división . En cierto sentido, esto imita más de cerca las propiedades de los anillos regulares de von Neumann conmutativos, que son productos subdirectos de campos. Para los anillos conmutativos, los anillos regulares de von Neumann y los fuertemente regulares de von Neumann son equivalentes. En general, los siguientes son equivalentes para un anillo R :
Las generalizaciones de los anillos regulares de von Neumann incluyen anillos π -regulares, anillos semihereditarios izquierdo/derecho , anillos no singulares izquierdo/derecho y anillos semiprimitivos .
