Anillos y Campos

Proyecto Académico de Matemáticas

Ensayo acerca de la historia de la teorı́a de anillos

Septiembre 5, 2022

Nombre: Steven Deschanel Ferreira

Nombre: Juan Sebastián Benavides Moreno

En cualquier libro de álgebra abstracta moderna podemos encontrar la definición de anillo,

donde básicamente este es un conjunto con dos operaciones binarias internas que llamamos
adición y multiplicación, satisfaciendo unos axiomas. Para la adición, que esta sea un grupo
abeliano, lo que supone que la operación sea conmutativa, asociativa, y que existan identi-
dad e inverso para cada elemento del conjunto y luego, para la multiplicación, que esta sea
asociativa, y distributiva en ambos sentidos con respecto a la adición, es decir, por derecha
y por izquierda (notemos que este ultimo axioma relaciona ambas operaciones). Ası́, de lo
anterior, podemos decir que un anillo es el escenario para la generalización de la aritmética
de los enteros. Como ejemplo de anillos, tenemos los conjuntos Z, Q, R, C, M2×2 (F), el con-
junto de números pares, la aritmética modular con los enteros. Claramente, la formalización
de la teorı́a incluye varias definiciones y teoremas, por lo que vamos a hacer un recorrido
histórico para ver como se generaron estas ideas.

En primer lugar, debemos saber que el concepto abstracto de anillo surge de dos teorı́as que
se desarrollaron de manera independiente hasta alrededor de 1930 donde se juntan, y cada
una comienza a influenciar a la otra, estas son: la teorı́a de anillos conmutativos y la teorı́a de
anillos no conmutativos, cada una de ellas originada en distintos problemas, y desarrolladas
por distintas personas a lo largo del tiempo. En particular, la teorı́a de anillos conmutativos
tiene sus raı́ces en los problemas de teorı́a de números algebraicos y la geometrı́a algebraica
y, por otro lado, la teorı́a de anillos no conmutativos se fue desarrollando por el intento de
expandir los números complejos a una variedad de sistemas numéricos hipercomplejos (lo
que actualmente llamamos álgebra finito-dimensional sobre un campo, en particular, R).

1 Teorı́a de anillos conmutativos

Las principales razones por las cuales surgió la teorı́a conmutativa de anillos son: Teorı́a
algebraica de números, la geometrı́a algebraica y la teorı́a de invariantes, a continuación
hablaremos un poco de cada una de estas ramas y su relación con la teorı́a de anillos con-
mutativos.

1
1.1 Álgebra de números
La áreas centrales de esta teorı́a hicieron que se desarrollara aún más esta teorı́a, por ejem-
plo el ultimo teorema de Fermat (UTF), que fue abarcado por matemáticos de diferentes
generaciones notaron que la solubilidad de en enteros distintos de cero de xn + y n = z n con
n > 2 es necesaria, ya que por ejemplo para n = 3 si escribimos la igualdad como

(x + y)(x + yρ)(x + yρ2 ) = z 3

√
(−1+ 3i)
Donde ρ = 2
y esta es una ecuación en el dominio

D3 = {a + bρ : a, b ∈ Z}
Si se asume la solución de x3 +y 3 = z 3 con z > 0 y dado que D3 es un dominio de factorización
único, se puede llegar a una contradicción mostrando la existencia de los números enteros
a, b, c tales que a3 + b3 = c3 donde 0 < c < z repitiendo el proceso hasta el infinito da
como resultado una secuencia ascendente infinita de número enteros positivos, lo cual es una
contradicción. Haciendo esto para cada vez un n mayor llegaremos a una contradicción en
cada caso, lo cual demuestra el UTF. El problema de esta demostración es asumir que el
dominio de factorización de cada Dp para p primo es único lo cual es falso. Esta prueba fue
dada por el matemático Gabriel Láme, que sin embargo fue Ernst Krummer quien probó
que D23 no es un dominio de factorización único.

1.2 Geometrı́a algebraica

Esta rama estudia las curvas algebraicas y sus generalizaciones a n dimensiones (variedades
algebraicas). En otras palabras una curva algebraica es el conjunto de raı́ces de una función
algebraica; es decir una función y = f (x) definida implı́citamente por la ecuación P (x, y) = 0.
Uno de estos enfoque es el analitico, al cual Riemann fue uno de sus precursores, en donde
su objeto de estudio fueron las funciones algebraicas f (w, z) = 0 de una variable compleja
y sus integrales, las llamadas integrales abelianas, que están relacionadas con la noción del
género de una curva algebraica. El problema fue la falta de rigurosidad de Riemann ya que
sus métodos eran fı́sicamente ciertos, pero matemáticamente cuestionables, no fue sino hasta
la decada de los 1860-1870 que Clebsch, Gordan,Brill y especialmente M. Noether introdujo
métodos geométrico-algebraicos para estudiar funciones y curvas algebraicas.
Uno de los problemas resueltos por Noether fue: Dadas las curvas algebraicas f (x, y) = 0
y g(x, y) = 0, para encontrar las condiciones bajo las cuales un polinomio F (x, y) se puede
representar de la forma F = Af + Bg donde A y B son polinomios en x e y. Es decir ¿bajo
que condiciones es F un elemento del ideal (en el anillo R[x, y]) generado por f y g?
Apesar de estas aportaciones fueron Dedkind y Weber quienes en su articulo titulado: ”Teorı́a
de funciones algebraicas de una sola variable”, en el que propusieron ”proporcionar una base
para la teorı́a de funciones algebraicas de Riemann” que fuese a la vez rigurosa y más general.
La idea principal era trasladar a los campos de funciones algebraicas las ideas que Dedekind
habı́a introducido anteriormente para los campos algebraicos.

2
1.3 Teorı́a de invariantes
Está teorı́a tiene sus inicios tanto en teorı́a de números como en geometrı́a. Por ejemplo
dado dos formas cuadráticas binarias f = ax2 + bxy + cy 2 y f1 = a1 x21 + b1 x1 y1 + c1 y12
sobre el enteros, Gauss los definió como equivalentes si f puede cambiarse a f1 mediante
una transformación lineal dada por x = px1 + qy1 , y = rx1 + sy1 , donde ps − qr = 1. Las
formas cuadráticas equivalentes representan el mismo conjunto de enteros. Donde además
ambos discriminantes son iguales. En la primera mitad del siglo XIX se dio el surgimiento de
nuevas geometrı́as: Proyectivas, hiperbólicas, riemanniana, algebraica y otras. Se realizaron
esfuerzos para distinguir entre los diferentes tipos, señalando sus caractiristicas. La invari-
anza de las propiedades bajo diversas transformaciones fue una herramienta importante en
estos estudios, que con el tiempo condujo al ”programa de Erlangen de Klein”.
Por ejemplo, las propiedades proyectivas de las figuras geométricas son aquellas que son
invariantes bajo condiciones lineales. Mientras que las propiedades algebraico-geométricas
son aquellas invariantes bajo condiciones birracionales.
La idea de los matemáticos era encontrar invariantes especı́ficos de varias formas y encontrar
”sistemas completos” de invariantes. Es decir, dada una forma binaria f1 (x1 , x2 ) = a0 xn0 +
a1 xn−1
1 x2 + · · · + an xn2 (con los ai tomados en R o C) cambiada por una transformación lineal
de las variables x1 , x2 en la forma F (X1 , X2 ) = A0 X0n + A1 X1n−1 X2 + · · · + An X2n . Una
función de los coeficientes que satisfacen la relación I(A0 , A1 , , An ) = rk I(a0 , a1 , · · · , an ) con
r ∈ R o r ∈ C se llama invariante de f (bajo transformaciones lineales) Cayley, Sylverter,
Gordan y otros encontraron invariantes especı́ficos como lo son: el jacobiano, el hessiano,
etc.
Con el tiempo la atención se centró en encontrar un sistema completo de invariantes tales
que cualquier otro invariante es combinación lineal de los otros. Esta demostración fue
establecida por Gordon en 18658. Su demostración fue larga y difı́cil y mostró como calcular
dicha base. Un gran paso para esta teorı́a, luego Hilbert adoptó un nuevo enfoque donde
la idea era considerar en lugar de invariantes expresiones en un número finito de variables.
Luego él probó lo que fue conocido como el teorema de la base de Hilbert, a saber, que cada
ideal en el anillo de polinomios en un número finito de variables tiene una base finita. [1]

2 Teorı́a de anillos no conmutativos

El principal ejemplo del origen de esta teorı́a son los cuaternios o cuaterniones, cuyo creador
fue William Rowan Hamilton, un matemático, fı́sico y astrónomo irlandés, que en su búsqueda
de formas de extender los números complejos a un numero mayor de dimensiones, no pudo
hacerlo para 3 dimensiones (donde la multiplicación representaba la composición de rota-
ciones), pero en 1843 lo logro para 4 dimensiones, de donde obtuvo los “cuaterniones”,
nombre propuesto por él mismo, proveniente del latı́n quaterni, cuyo significado literal es
“número de cuatro componentes”, creando ası́ el álgebra de cuaterniones. Estos números
tienen la forma a + bi + cj + dk donde a, b, c, d ∈ R, e i, j, k son unidades imaginarias, siendo
que la adición se logra mediante sus componentes, pero en cambio la multiplicación esta
sujeta a las relaciones i2 = j 2 = k 2 = ijk = −1, asi, en efecto, estos cuaterniones son una

3
extensión de C. En notación conjuntista:

H = {a + bi + cj + dk : a, b, c, d ∈ R} ⊂ C2 ,

o equivalentemente:

H = {(a + bi) + (c + di)j : a + bi, c + di ∈ C} ⊂ C2

Este conjunto, con la adición y la multiplicación, constituyen un cuerpo no conmutativo. En-

tender el punto de vista de Hamilton fue difı́cil y les llevo mucho tiempo a otros matemáticos,
pero abrió el camino a la exploración de diferentes sistemas numéricos que extendı́an tanto
a los números reales como a los números complejos. Otros ejemplos de sistemas numéricos
hipercomplejos, son los octoniones, tesarinas, álgebra exterior, álgebra de grupos, matrices,
y bicuaterniones.

Este sistema numérico se uso ampliamente en matemáticas aplicadas(donde se reemplazo

por el producto vectorial), y luego fue presentada la teorı́a de anillos no conmutativos.

En 1850, el matemático británico Arthur Cayley introdujo las matrices con sus leyes de
adición y multiplicación, y en 1870, cuando el concepto de anillo era mas conocido, el
matemático estadounidense Benjamin Peirce, se dio cuenta que estas matrices (cuadradas)
también cumplı́an los axiomas de anillo. Luego, en 1905 el matemático escoces Joseph Wed-
derburn, hizo un gran aporte demostrando que todo anillo de división finito (un anillo en el
que cada elemento distinto de cero tiene un inverso multiplicativo) es conmutativo, y por lo
tanto un cuerpo, y en 1908 tuvo la idea de partir el estudio de anillos en dos partes, una
llamada el radical, y la otra los semisimples, usando el anillo de matrices para clasificar los
semisimples, ası́ tenemos el Teorema de Wedderburn que dice que todo anillo semisimple es
un producto finito de anillos de matrices sobre anillos de división (cabe aclarar que Wed-
derburn probaba sus resultados para sistemas hipercomplejos), su teorema forma la base de
todos los teoremas modernos de estructura teórica de anillos. En 1927, el matemático aus-
triaco Emil Artin, extendió la teorı́a de Wedderburn a la teorı́a de anillos no conmutativos,
satisfaciendo las condiciones de cadena.

Después de 1930, comienza la fusión de ambas teorı́as, de anillos conmutativos y no con-

mutativos, ası́ ideas como el concepto de ideal que se estudiaba en los anillos conmutativos,
también se estudio para anillos no conmutativos.

Referencias: 1. Israel Kleiner. A History of Abstract Algebra. Birkhäuser