Teoría del anillo

En álgebra , la teoría de anillos es el estudio de los anillos ^[1] , estructuras algebraicas en las que la suma y la multiplicación se definen y tienen propiedades similares a las operaciones definidas para los números enteros . La teoría de anillos estudia la estructura de los anillos, sus representaciones o, en diferentes idiomas, módulos , clases especiales de anillos ( anillos de grupo , anillos de división , álgebras envolventes universales ), así como una serie de propiedades que resultaron ser de interés tanto dentro como fuera del país. la teoría en sí y para sus aplicaciones, como propiedades homológicas e identidades polinómicas .

Los anillos conmutativos se comprenden mucho mejor que los no conmutativos. La geometría algebraica y la teoría algebraica de números , que proporcionan muchos ejemplos naturales de anillos conmutativos, han impulsado gran parte del desarrollo de la teoría de anillos conmutativos, que es ahora, bajo el nombre de álgebra conmutativa , un área importante de las matemáticas modernas. Debido a que estos tres campos (geometría algebraica, teoría algebraica de números y álgebra conmutativa) están tan íntimamente conectados, suele ser difícil y sin sentido decidir a qué campo pertenece un resultado particular. Por ejemplo, el Nullstellensatz de Hilbert es un teorema fundamental para la geometría algebraica y se establece y demuestra en términos de álgebra conmutativa. De manera similar, el último teorema de Fermat se expresa en términos de aritmética elemental , que es parte del álgebra conmutativa, pero su demostración implica resultados profundos tanto de la teoría algebraica de números como de la geometría algebraica.

Los anillos no conmutativos tienen un sabor bastante diferente, ya que pueden surgir comportamientos más inusuales. Si bien la teoría se ha desarrollado por derecho propio, una tendencia bastante reciente ha buscado ir en paralelo al desarrollo conmutativo construyendo la teoría de ciertas clases de anillos no conmutativos de manera geométrica, como si fueran anillos de funciones en (inexistentes) "no conmutativos". espacios'. Esta tendencia comenzó en la década de 1980 con el desarrollo de la geometría no conmutativa y con el descubrimiento de los grupos cuánticos . Ha llevado a una mejor comprensión de los anillos no conmutativos, especialmente los anillos noetherianos no conmutativos . ^[2]

Para conocer las definiciones de un anillo y los conceptos básicos y sus propiedades, consulte Anillo (matemáticas) . Las definiciones de los términos utilizados en la teoría de anillos se pueden encontrar en el Glosario de teoría de anillos .

Anillos conmutativos

Un anillo se llama conmutativo si su multiplicación es conmutativa . Los anillos conmutativos se parecen a los sistemas numéricos familiares, y varias definiciones de anillos conmutativos están diseñadas para formalizar las propiedades de los números enteros . Los anillos conmutativos también son importantes en geometría algebraica . En la teoría de anillos conmutativos, los números suelen ser reemplazados por ideales , y la definición del ideal primo intenta capturar la esencia de los números primos . Los dominios integrales , anillos conmutativos no triviales donde no hay dos elementos distintos de cero que se multipliquen para dar cero, generalizan otra propiedad de los números enteros y sirven como el ámbito adecuado para estudiar la divisibilidad. Los dominios ideales principales son dominios integrales en los que cada ideal puede ser generado por un solo elemento, otra propiedad compartida por los números enteros. Los dominios euclidianos son dominios integrales en los que se puede llevar a cabo el algoritmo euclidiano . Se pueden construir ejemplos importantes de anillos conmutativos como anillos de polinomios y sus anillos de factores. Resumen: Dominio euclidiano ⊂ dominio ideal principal ⊂ dominio de factorización único ⊂ dominio integral ⊂ anillo conmutativo .

geometría algebraica

La geometría algebraica es en muchos sentidos la imagen especular del álgebra conmutativa. Esta correspondencia comenzó con el Nullstellensatz de Hilbert que establece una correspondencia uno a uno entre los puntos de una variedad algebraica y los ideales máximos de su anillo de coordenadas . Esta correspondencia se ha ampliado y sistematizado para traducir (y demostrar) la mayoría de las propiedades geométricas de variedades algebraicas en propiedades algebraicas de anillos conmutativos asociados. Alexander Grothendieck completó esto introduciendo esquemas , una generalización de variedades algebraicas, que pueden construirse a partir de cualquier anillo conmutativo. Más precisamente, el espectro de un anillo conmutativo es el espacio de sus ideales primos equipado con topología de Zariski y aumentado con un haz de anillos. Estos objetos son los "esquemas afines" (generalización de variedades afines ), y luego se obtiene un esquema general "pegando" (mediante métodos puramente algebraicos) varios de estos esquemas afines, en analogía a la forma de construir una variedad pegando entre sí. las cartas de un atlas .

Anillos no conmutativos

Los anillos no conmutativos se parecen a los anillos de matrices en muchos aspectos. Siguiendo el modelo de la geometría algebraica , recientemente se ha intentado definir una geometría no conmutativa basada en anillos no conmutativos. Los anillos no conmutativos y las álgebras asociativas (anillos que también son espacios vectoriales ) se estudian a menudo a través de sus categorías de módulos. Un módulo sobre un anillo es un grupo abeliano sobre el que el anillo actúa como un anillo de endomorfismos , muy parecido a la forma en que los campos (dominios integrales en los que cada elemento distinto de cero es invertible) actúan en espacios vectoriales. Ejemplos de anillos no conmutativos los dan los anillos de matrices cuadradas o, más generalmente, los anillos de endomorfismos de grupos o módulos abelianos, y los anillos monoides .

Teoría de la representación

La teoría de la representación es una rama de las matemáticas que se basa en gran medida en anillos no conmutativos. Estudia estructuras algebraicas abstractas representando sus elementos como transformaciones lineales de espacios vectoriales y estudia módulos sobre estas estructuras algebraicas abstractas. En esencia, una representación hace que un objeto algebraico abstracto sea más concreto al describir sus elementos mediante matrices y las operaciones algebraicas en términos de suma y multiplicación de matrices , que no es conmutativa. Los objetos algebraicos susceptibles de tal descripción incluyen grupos , álgebras asociativas y álgebras de Lie . La más destacada de ellas (e históricamente la primera) es la teoría de la representación de grupos , en la que los elementos de un grupo se representan mediante matrices invertibles de tal manera que la operación del grupo es la multiplicación de matrices.

Algunos teoremas relevantes

General

Teoremas de estructura

El teorema de Artin-Wedderburn determina la estructura de anillos semisimples
El teorema de densidad de Jacobson determina la estructura de los anillos primitivos.
El teorema de Goldie determina la estructura de los anillos semiprimos de Goldie
El teorema de Zariski-Samuel determina la estructura de un anillo ideal principal conmutativo
El teorema de Hopkins-Levitzki da las condiciones necesarias y suficientes para que un anillo noetheriano sea un anillo artiniano
La teoría de Morita consta de teoremas que determinan cuándo dos anillos tienen categorías de módulos "equivalentes"
El teorema de Cartan-Brauer-Hua proporciona información sobre la estructura de los anillos de división
El pequeño teorema de Wedderburn establece que los dominios finitos son campos

Otro

El teorema de Skolem-Noether caracteriza los automorfismos de anillos simples

Estructuras e invariantes de anillos.

Dimensión de un anillo conmutativo

En esta sección, R denota un anillo conmutativo. La dimensión de Krull de R es el supremo de las longitudes n de todas las cadenas de ideales primos . Resulta que el anillo polinomial sobre un campo k tiene dimensión n . El teorema fundamental de la teoría de las dimensiones establece que los siguientes números coinciden para un anillo local noetheriano : ^[3] ${\mathfrak {p}}_{0}\subsetneq {\mathfrak {p}}_{1}\subsetneq \cdots \subsetneq {\mathfrak {p}}_{n}$ $k[t_{1},\cdots ,t_{n}]$ $(R,{\mathfrak {m}})$

La dimensión Krull de R .
El número mínimo de generadores de los ideales primarios. ${\mathfrak {m}}$
La dimensión del anillo graduado (equivalentemente, 1 más el grado de su polinomio de Hilbert ). $\textstyle \operatorname {gr} _{\mathfrak {m}}(R)=\bigoplus _{k\geq 0}{\mathfrak {m}}^{k}/{{\mathfrak {m}}^{k+1}}$

Se dice que un anillo conmutativo R es catenario si para cada par de ideales primos existe una cadena finita de ideales primos que es maximal en el sentido de que es imposible insertar un ideal primo adicional entre dos ideales de la cadena, y todos tales cadenas máximas entre y tienen la misma longitud. Prácticamente todos los anillos noetherianos que aparecen en las aplicaciones son catenarios. Ratliff demostró que un dominio integral local noetheriano R es catenaria si y sólo si para todo ideal primo , ${\mathfrak {p}}\subset {\mathfrak {p}}'$ ${\mathfrak {p}}={\mathfrak {p}}_{0}\subsetneq \cdots \subsetneq {\mathfrak {p}}_{n}={\mathfrak {p}}'$ ${\mathfrak {p}}$ ${\mathfrak {p}}'$ ${\mathfrak {p}}$

\operatorname {dim} R=\operatorname {ht} {\mathfrak {p}}+\operatorname {dim} R/{\mathfrak {p}}

¿ Dónde está la altura de ? ^[4] $\operatorname {ht} {\mathfrak {p}}$ ${\mathfrak {p}}$

Si R es un dominio integral que es una k -álgebra finitamente generada , entonces su dimensión es el grado de trascendencia de su campo de fracciones sobre k . Si S es una extensión integral de un anillo conmutativo R , entonces S y R tienen la misma dimensión.

Conceptos estrechamente relacionados son los de profundidad y dimensión global . En general, si R es un anillo local noetheriano, entonces la profundidad de R es menor o igual a la dimensión de R. Cuando se cumple la igualdad, R se llama anillo de Cohen-Macaulay . Un anillo local normal es un ejemplo de anillo de Cohen-Macaulay. Es un teorema de Serre que R es un anillo local regular si y sólo si tiene una dimensión global finita y en ese caso la dimensión global es la dimensión de Krull de R. La importancia de esto es que una dimensión global es una noción homológica .

equivalencia morita

Se dice que dos anillos R , S son equivalentes de Morita si la categoría de los módulos izquierdos sobre R es equivalente a la categoría de los módulos izquierdos sobre S. De hecho, dos anillos conmutativos que son equivalentes de Morita deben ser isomórficos, por lo que la noción no añade nada nuevo a la categoría de anillos conmutativos. Sin embargo, los anillos conmutativos pueden ser equivalentes de Morita a los anillos no conmutativos, por lo que la equivalencia de Morita es más burda que el isomorfismo. La equivalencia de Morita es especialmente importante en topología algebraica y análisis funcional.

Módulo proyectivo finitamente generado sobre un anillo y un grupo Picard

Sea R un anillo conmutativo y el conjunto de clases de isomorfismo de módulos proyectivos generados finitamente sobre R ; Sean también subconjuntos formados por aquellos con rango constante n . (El rango de un módulo M es la función continua . ^[5] ) generalmente se denota por Pic( R ). Es un grupo abeliano llamado grupo Picard de R. ^[6] Si R es un dominio integral con el cuerpo de fracciones F de R , entonces existe una secuencia exacta de grupos: ^[7] $\mathbf {P} (R)$ $\mathbf {P} _{n}(R)$ $\operatorname {Spec} R\to \mathbb {Z} ,\,{\mathfrak {p}}\mapsto \dim M\otimes _{R}k({\mathfrak {p}})$ $\mathbf {P} _{1}(R)$

1\to R^{*}\to F^{*}{\overset {f\mapsto fR}{\to }}\operatorname {Cart} (R)\to \operatorname {Pic} (R)\to 1

donde es el conjunto de ideales fraccionarios de R . Si R es un dominio regular (es decir , regular en cualquier ideal primo), entonces Pic(R) es precisamente el grupo de clase divisor de R. ^[8] $\operatorname {Cart} (R)$

Por ejemplo, si R es un dominio ideal principal, entonces Pic( R ) desaparece. En teoría algebraica de números, R se considerará el anillo de los números enteros , que es Dedekind y, por tanto, regular. De ello se deduce que Pic( R ) es un grupo finito ( finitud del número de clase ) que mide la desviación del anillo de números enteros de ser un PID.

También se puede considerar la finalización grupal de ; esto da como resultado un anillo conmutativo K ₀ (R). Tenga en cuenta que K ₀ (R) = K ₀ (S) si dos anillos conmutativos R , S son equivalentes de Morita. $\mathbf {P} (R)$

Estructura de anillos no conmutativos.

La estructura de un anillo no conmutativo es más complicada que la de un anillo conmutativo. Por ejemplo, existen anillos simples que no contienen ideales propios no triviales (de dos caras), pero que contienen ideales propios no triviales de izquierda o derecha. Existen varios invariantes para anillos conmutativos, mientras que los invariantes de anillos no conmutativos son difíciles de encontrar. Por ejemplo, el radical nil de un anillo , el conjunto de todos los elementos nilpotentes, no es necesariamente un ideal a menos que el anillo sea conmutativo. Específicamente, el conjunto de todos los elementos nilpotentes en el anillo de todas las matrices n × n sobre un anillo de división nunca forma un ideal, independientemente del anillo de división elegido. Sin embargo, existen análogos del radical nil definido para anillos no conmutativos, que coinciden con el radical nil cuando se supone conmutatividad.

El concepto del radical de Jacobson de un anillo; es decir, la intersección de todos los aniquiladores derechos (izquierdos) de módulos derechos (izquierdos) simples sobre un anillo, es un ejemplo. El hecho de que el radical de Jacobson pueda verse como la intersección de todos los ideales máximos de derecha (izquierda) en el anillo muestra cómo la estructura interna del anillo se refleja en sus módulos. También es un hecho que la intersección de todos los ideales máximos derechos en un anillo es la misma que la intersección de todos los ideales máximos izquierdos en el anillo, en el contexto de todos los anillos; independientemente de si el anillo es conmutativo.

Los anillos no conmutativos son un área activa de investigación debido a su ubicuidad en matemáticas. Por ejemplo, el anillo de matrices n por n sobre un campo no es conmutativo a pesar de su aparición natural en geometría , física y muchas partes de las matemáticas. De manera más general, los anillos de endomorfismo de los grupos abelianos rara vez son conmutativos, siendo el ejemplo más simple el anillo de endomorfismo de los cuatro grupos de Klein .

Uno de los anillos estrictamente no conmutativos más conocidos son los cuaterniones .

Aplicaciones

El anillo de números enteros de un campo numérico.

El anillo de coordenadas de una variedad algebraica.

Si X es una variedad algebraica afín , entonces el conjunto de todas las funciones regulares en X forma un anillo llamado anillo de coordenadas de X. Para una variedad proyectiva , existe un anillo análogo llamado anillo de coordenadas homogéneo . Esos anillos son esencialmente lo mismo que las variedades: se corresponden de una manera esencialmente única. Esto puede verse a través del Nullstellensatz de Hilbert o de construcciones teóricas de esquemas (es decir, Spec y Proj).

Anillo de invariantes

Una cuestión básica (y quizás la más fundamental) de la teoría invariante clásica es encontrar y estudiar polinomios en el anillo polinómico que sean invariantes bajo la acción de un grupo finito (o más generalmente reductivo) G sobre V. El ejemplo principal es el anillo de polinomios simétricos : los polinomios simétricos son polinomios que son invariantes bajo permutación de variable. El teorema fundamental de los polinomios simétricos establece que en este anillo es donde se encuentran los polinomios simétricos elementales. $k[V]$ $R[\sigma _{1},\ldots ,\sigma _{n}]$ $\sigma _{i}$

Historia

La teoría de anillos conmutativa se originó en la teoría algebraica de números, la geometría algebraica y la teoría de invariantes . Para el desarrollo de estos temas fueron fundamentales los anillos de números enteros en campos de números algebraicos y campos de funciones algebraicas, y los anillos de polinomios en dos o más variables. La teoría de anillos no conmutativa comenzó con intentos de extender los números complejos a varios sistemas numéricos hipercomplejos . La génesis de las teorías de los anillos conmutativos y no conmutativos se remonta a principios del siglo XIX, mientras que su madurez no se alcanzó hasta la tercera década del siglo XX.

Más precisamente, William Rowan Hamilton propuso los cuaterniones y bicuaterniones ; James Cockle presentó tesarinos y cocuaterniones ; y William Kingdon Clifford era un entusiasta de los bicuaterniones divididos , a los que llamó motores algebraicos . Estas álgebras no conmutativas y las álgebras de Lie no asociativas se estudiaron dentro del álgebra universal antes de que el tema se dividiera en tipos de estructuras matemáticas particulares . Un signo de reorganización fue el uso de sumas directas para describir la estructura algebraica.

Joseph Wedderburn (1908) y Emil Artin (1928) identificaron los distintos números hipercomplejos con anillos matriciales . Los teoremas de estructura de Wedderburn se formularon para álgebras de dimensión finita sobre un campo , mientras que Artin los generalizó a anillos artinianos .

En 1920, Emmy Noether , en colaboración con W. Schmeidler, publicó un artículo sobre la teoría de los ideales en el que definían los ideales izquierdo y derecho en un anillo . Al año siguiente publicó un artículo histórico llamado Idealtheorie en Ringbereichen , analizando las condiciones de la cadena ascendente con respecto a los ideales (matemáticos). El destacado algebrista Irving Kaplansky calificó este trabajo de "revolucionario"; ^[9] la publicación dio lugar al término " anillo noetheriano ", y a varios otros objetos matemáticos se les llamó noetherianos . ^[9]^[10]

Notas

^ La teoría de los anillos puede incluir también el estudio de los anillos .
^ Goodearl y Warfield (1989).
^ Matsumura 1989, Teorema 13.4
^ Matsumura 1989, Teorema 31.4
^ Weibel 2013, Capítulo I, Definición 2.2.3
^ Weibel 2013, Definición que precede a la Proposición 3.2 en el Capítulo I
^ Weibel 2013, Capítulo I, Proposición 3.5
^ Weibel 2013, Capítulo I, Corolario 3.8.1
^ ab Kimberling 1981, pág. 18.
^ Dick, Auguste (1981), Emmy Noether: 1882-1935 , traducido por Blocher, HI, Birkhäuser , ISBN 3-7643-3019-8, pag. 44–45.

Referencias

Allenby, RBJT (1991), Anillos, campos y grupos (Segunda ed.), Edward Arnold, Londres, pág. xxvi+383, ISBN 0-7131-3476-3, señor 1144518
Blyth, TS; Robertson, EF (1985), Grupos, anillos y campos: álgebra a través de la práctica, Libro 3 , Cambridge: Cambridge University Press , ISBN 0-521-27288-2
Faith, Carl (1999), Anillos y cosas y una excelente variedad de álgebra asociativa del siglo XX , Estudios y monografías matemáticas, vol. 65, Providence, RI: Sociedad Matemática Estadounidense, ISBN 0-8218-0993-8, señor 1657671
Goodearl, KR; Warfield, RB Jr. (1989), Introducción a los anillos noetherianos no conmutativos , Textos estudiantiles de la Sociedad Matemática de Londres, vol. 16, Cambridge: Cambridge University Press , ISBN 0-521-36086-2, señor 1020298
Judson, Thomas W. (1997), Álgebra abstracta: teoría y aplicaciones
Kimberling, Clark (1981), "Emmy Noether y su influencia", en Brewer, James W; Smith, Martha K (eds.), Emmy Noether: un tributo a su vida y obra , Marcel Dekker , págs. 3–61
Lam, TY (1999), Conferencias sobre módulos y anillos , Textos de posgrado en matemáticas, vol. 189, Nueva York: Springer-Verlag , doi :10.1007/978-1-4612-0525-8, ISBN 0-387-98428-3, señor 1653294
Lam, TY (2001), Un primer curso sobre anillos no conmutativos , Textos de posgrado en matemáticas, vol. 131 (Segunda ed.), Nueva York: Springer-Verlag , doi :10.1007/978-1-4419-8616-0, ISBN 0-387-95183-0, señor 1838439
Lam, TY (2003), Ejercicios de teoría clásica de anillos , Libros de problemas de matemáticas (Segunda ed.), Nueva York: Springer-Verlag , ISBN 0-387-00500-5, SEÑOR 2003255
Matsumura, Hideyuki (1989), Teoría del anillo conmutativo , Estudios de Cambridge en Matemáticas Avanzadas, vol. 8 (Segunda ed.), Cambridge, Reino Unido: Cambridge University Press, ISBN 0-521-36764-6, SEÑOR 1011461
McConnell, JC; Robson, JC (2001), Anillos noetherianos no conmutativos , Estudios de Posgrado en Matemáticas, vol. 30, Providence, RI: Sociedad Matemática Estadounidense, doi :10.1090/gsm/030, ISBN 0-8218-2169-5, señor 1811901
O'Connor, JJ; Robertson, EF (septiembre de 2004), "El desarrollo de la teoría de los anillos", MacTutor History of Mathematics Archive
Pierce, Richard S. (1982), Álgebras asociativas , Textos de posgrado en matemáticas, vol. 88, Nueva York: Springer-Verlag , ISBN 0-387-90693-2, señor 0674652
Rowen, Louis H. (1988), Teoría del anillo, vol. I , Matemática Pura y Aplicada, vol. 127, Boston, MA: Prensa académica, ISBN 0-12-599841-4, SEÑOR 0940245. vol. II, Matemática Pura y Aplicada 128, ISBN 0-12-599842-2 .
Weibel, Charles A. (2013), The K-book: Introducción a la teoría K algebraica, Estudios de Posgrado en Matemáticas, vol. 145, Providence, RI: Sociedad Matemática Estadounidense, ISBN 978-0-8218-9132-2, señor 3076731