LA MADRE DEL LGEBRA MODERNA: EMMY NOETHER

Noelia Jimnez Listn Historia de las Matemticas

NDICE PGINA INTRODUCCIN ----------------------------------------VIDA ------------------------------------------------------OBRA ------------------------------------------------------TEXTO ----------------------------------------------------LEGADO ---------------------------------------------------CONCLUSIONES -----------------------------------------REFERENCIAS -------------------------------------------2 5 8 10 14 15 16

INTRODUCCIN
Puesto que para hablar del lgebra tendramos que remontarnos a las primeras civilizaciones, he decidido centrar mi trabajo en uno de los personajes que ms han contribuido al desarrollo del lgebra tal y como lo concebimos en la actualidad, suponiendo su trabajo, adems, la base de otras disciplinas: Emmy Amalie Noether. El siglo XIX merece ser llamado ms que ningn otro periodo anterior la edad de Oro de la Matemtica. Las particularidades del nuevo periodo se manifiestan ya nada ms comenzar el siglo. En lgebra hay que tener en cuenta los trabajos de Abel y Galois sobre la resolucin de ecuaciones algebraicas en radicales. Ellos promovieron a un primer lugar en el lgebra una serie de conceptos generales muy abstractos, entre los cuales merece el primer lugar el concepto de grupo, dando lugar al nacimiento del lgebra Moderna. El lgebra Moderna es un campo extraordinariamente amplio y ramificado en el que se recogen un gran nmero de disciplinas cientficas e independientes cuyo objeto comn son las operaciones algebraicas, las cuales representan abstracciones lejanas de las operaciones del lgebra elemental. Estudiemos de una manera ms detallada estas disciplinas. Teora General de las Ecuaciones algebraicas: Este fue el problema fundamental del lgebra durante el siglo XIX, entendindose como la bsqueda de las races de la ecuacin con ayuda de operaciones racionales y la operacin de la extraccin de la raz. En esta poca se introdujeron una serie de conceptos, entre ellos el concepto de grupo, que yacen en la base del lgebra moderna. Tengamos en cuenta los trabajos de K.F. Gauss, N.H. Abel y E. Galois, relativos a la demostracin de la no resolubilidad en radicales de las ecuaciones de grado mayor que cinco y la creacin de la teora de Galois. Karl Friedrich Gauss hizo sus primeros descubrimientos en lgebra siendo muy joven, advirtiendo ya en 1796 la relacin entre la bsqueda de races de la ecuacin xn-1=0 y la divisin de la circunferencia en partes iguales. Tres aos ms tarde demostraba el teorema fundamental del lgebra, dando en 1815, 1816 y 1849 tres nuevas demostraciones. Recordemos que la primera formulacin de este teorema, sin demostrar, fue la dada por Descartes. Para la demostracin de este teorema necesit construir los campos de desarrollo de los polinomios.

Otro de los notables descubrimientos algebraicos de comienzo de siglo es la demostracin de la irresolubilidad en radicales de las ecuaciones de quinto grado. Por este camino llev P. Ruffini sus investigaciones a finales del siglo XVIII, pero el primer xito real lo obtuvo Niels Henrik Abel. Tras esto, Abel realiz investigaciones fundamentales en el campo de la teora de funciones analticas, e investig una serie de funciones especiales como las elpticas e hiperblicas. Pero no pudo dar un criterio general de resolubilidad en radicales de las ecuaciones con coeficientes numricos. Sin embargo, la solucin a este problema no se hizo esperar largamente y se debe a Evaristo Galois. El objeto fundamental de sus investigaciones fue el determinar cuando son resolubles mediante radicales las ecuaciones polinmicas. El aparato algebraico introducido tuvo, sin embargo, una significacin que sala de los marcos del problema indicado. Su idea del estudio de la estructura de los campos algebraicos y la comparacin con ellos de la estructura de los grupos de un nmero finito de sustituciones, fue la base fructfera del lgebra Moderna. La teora actual de Galois, se ha convertido en una disciplina matemtica compleja y ramificada, que incluye un amplio material sobre las relaciones entre las propiedades de las ecuaciones, los nmeros algebraicos y los grupos. Teora de Grupos. Galois y Ruffini introdujeron de forma independiente el concepto de grupo. En la primera mitad del siglo XIX, los resultados de la teora de grupo jugaron un papel auxiliar, especialmente en la teora de las ecuaciones algebraicas, formndose, predominantemente, la teora de los grupos finitos. Posteriormente, ya en los aos 50, en trabajos de Cayley y otros, comenzaron a aparecer definiciones abstractas ms generales de grupo. Este proceso se aceler desde el ao 1870 con los trabajos de C. Jordan, quien hizo un resumen de los resultados de la teora de grupos finitos en su aplicacin a la teora de nmeros, teora de funciones y geometra algebraica. A finales de siglo, aparecieron las primeras aplicaciones de la teora de grupo, resolvindose, por ejemplo, el problema de la clasificacin de todas las redes cristalinas espaciales gracias a los trabajos de E.S Fiedorov. Los grupos discretos finitos, a los que pertenecen los grupos de Fiedorov, obtuvieron extensin en la teora de los espacios multidimensionales en relacin con la teora de los poliedros regulares en stos. Posteriormente se plante la investigacin de los grupos infinitos, tanto discretos como continuos y tambin sobre la creacin de un aparato de clculo adaptado a las necesidades de la teora de grupo. los logros

fundamentales sobre estas cuestiones pertenecen a los discpulos de C. Jordan, F. Klein y S. Lie. En la confluencia de los siglos XIX y XX la teora de grupos se ramific desmesuradamente, formando el ncleo del lgebra actual. Ella se compone de una serie de teoras altamente desarrolladas: los grupos finitos, los grupos discretos infinitos, los grupos continuos, entre ellos los grupos de Lie. Los mtodos tericos de grupos penetraron en una serie de disciplinas matemticas y sus aplicaciones. Los descubrimientos de De Broglie, Schrdinger, Dirac y otros, en la mecnica cuntica y en la teora de la estructura de la materia mostraron que la fsica moderna debe apoyarse en la teora de los grupos continuos, en particular en la teora de la representacin de grupos por operadores lineales, la teora de los caracteres y otras elaboradas por Cartan, H. Weyl y otros cientficos. Pas medio siglo desde los trabajos de Gauss, Abel y Galois y el centro de gravedad en las investigaciones algebraicas se traslad a la teora de grupos, subgrupos, anillos, estructuras. En al lgebra comenz el periodo de las matemticas modernas. Emmy Noether fue una matemtica alemana de origen judo que realiz sus investigaciones en las primeras dcadas del siglo XX. Mediante su primera especializacin sobre invariantes algebraicos consigui demostrar dos teoremas esenciales para la teora de la relatividad que permitieron resolver el problema de la conservacin de la energa. Su aportacin ms importante a la investigacin matemtica fueron sus resultados sobre la axiomatizacin y el desarrollo de la teora algebraica de anillos, mdulos, ideales, grupos con operadores, etc. En este contexto, que se llam lgebra moderna, aplic sus conocimientos sobre invariantes dando rigor y generalidad a la geometra algebraica. Sus investigaciones en lgebra no conmutativa destacan, sobre todo, por el carcter unificado y general que dio a los conocimientos acumulados durante dcadas. Sus publicaciones seran suficientes para valorar su decisiva contribucin a las matemticas, pero hay que considerar, adems, que nunca le interes mucho publicar y siempre permiti a sus colegas y a sus estudiantes desarrollar resultados interesantes a partir de las sugerencias que ella les haca.

VIDA
El 23 de marzo de 1882 naci en Erlangen, Baviera, Emmy Amalie Noether. Su padre, Max Noether (18441921), era profesor de matemticas en la universidad de Erlangen y era conocido por sus investigaciones sobre funciones algebraicas, su madre Ida Kaufmann, proceda de una familia de Colonia. Ambos eran de origen judo. Hasta los 15 aos asisti al Hhere Tchter Schule en Erlangen donde estudi alemn, ingls, francs, aritmtica, piano y danza. Despus de esta formacin bsica estudi francs e ingls, para ser profesora de idiomas y en 1900 super los Exmenes de Estado que la cualificaban para ensear idiomas en cualquier institucin educativa femenina. Despus de obtener este ttulo, el medio matemtico en el que se desarrollaba su vida, entre su padre y los amigos de ste, orient sus estudios hacia las matemticas. El Senado de la Universidad de Erlangen haba declarado en 1898 que la admisin de mujeres estudiantes "destrozara todo orden acadmico". Sin embargo se les autorizaba a asistir a clase con un permiso especial, que no les daba derecho a examinarse. Fue la nica alumna entre 984 estudiantes. Despus de pasar los exmenes en Nuremberg en 1903, fue a Gttingen donde asisti a cursos impartidos por Hilbert, Klein y Minkowski. En 1904 regres a Erlangen, donde haban cambiado los estatutos de la Universidad, y pudo proseguir sus estudios de doctorado sobre la teora de invariantes bajo la influencia de Paul Gordan, quien era conocido como el rey de la teora de invariantes (entre otras cosas dio una demostracin constructiva de la existencia de formas invariantes en n variables). En 1907 obtuvo el grado de doctora cum laude con la memoria titulada: Sobre los

sistemas completos de invariantes para las formas bicuadrticas ternarias,

que fue publicada en 1908. A pesar de que su fama creci rpidamente, su trabajo en la Universidad de Erlangen consista en ayudar a su padre pero si salario ninguno. Durante estos dos aos tuvo dos tutores (Emst Fischer y Bernhard Schmidt) que despertaron su inters por el lgebra abstracta. Con ellos pas de la corriente constructivista al pensamiento axiomtico conceptual. En 1915 fue invitado por David Hilbert y Flix Klein a trabajar con ellos a la Universidad de Gttingen, que en aquel momento era el principal centro matemtico de Alemania y probablemente de Europa. Esta etapa de

su vida estuvo marcada por una intensa produccin cientfica que determin su aportacin a las matemticas y la fsica. Pese a toda una serie de importantsimos trabajos sobre invariantes diferenciales y pese a los apoyos de Hilbert y Klein, el reglamento vigente de la Universidad de Gttingen indicaba explcitamente que los candidatos deban ser hombres, por lo que Noether no pudo presentarse a oposiciones como docente universitario. Hilbert quiso corregir esa injusticia, pero sus esfuerzos no tuvieron xito, pues ciertos miembros de la facultad, no matemticos, se opusieron. Se cuenta, como ancdota, que Hilbert dijo en un Consejo de la Universidad de Gttingen, "no veo por qu el sexo de la candidata es un argumento contra su nombramiento como docente. Despus de todo no somos un establecimiento de baos". Hilbert y Noether encontraron un sistema para que ella pudiera impartir como docente: las clases se anunciaban bajo el nombre de Hilbert y ella figuraba como ayudante. As pudo probar su competencia y ser mejor conocida. Emmy, ya con un estilo propio ms abstracto y general, escribi sus ideas sobre conservacin de la energa, lo que trajo como consecuencia los famosos resultados conocidos por los fsicos como los Teoremas de Noether, publicados en dos artculos en 1918. Finalizada la Primera Guerra Mundial Alemania pas a ser una repblica. Por primera vez las mujeres tuvieron derecho a voto y fue derogado el anterior reglamento de oposiciones. En 1919 Emmy present como tesis de habilitacin su trabajo "Invariante Variationsprobleme" junto con doce artculos ya publicados y dos manuscritos adicionales, en uno de los cuales haba varias ideas importantes que tuvieron un impacto significativo en el reciente desarrollo del lgebra Abstracta. En 1922 fue nombrada profesor extraordinario y no oficial. No tena derecho a sueldo, pero pudo obtener pequeas retribuciones, por su grado de experta en lgebra, que en ese momento le eran imprescindibles, ya que la inflacin de la posguerra estaba acabando con su pequea herencia. El periodo de Gttingen slo fue interrumpido por dos breves estancias como profesor invitado en Mosc (1928/29) y en Frankfurt Am Main (1930). En septiembre de 1932 fue invitada al Congreso Internacional de Matemticos de Zurich y ese mismo ao recibi con Artin, el Alfred Ackermann-Teubner Memorial, premio al Avance del Conocimiento Matemtico. A pesar del reconocimiento obtenido por este xito, los cambios polticos y la llegada de Hitler al poder le obligaron a reorientar su carrera. Ser una intelectual, pacifista, juda y liberal le oblig a abandonar Alemania. En abril de 1933 se le retir su derecho a ejercer como docente por ser juda y las leyes raciales la empujaron al exilio. A finales de ese ao se

march a los Estados Unidos como profesora invitada durante un ao a una universidad femenina, el Bryn Mawr College (Pennsylvania). En febrero de 1934 comenz a trabajar en Princeton, New Jersey, en el Instituto de Estudios Avanzados, donde tambin se encontraba Albert Einstein. En verano volvi por ltima vez a Alemania para ver a su hermano Fritz, visitar viejos amigos y cerrar su casa. Muri el 14 de abril de 1935 como consecuencia de una operacin. Tena 53 aos y estaba en el apogeo de su fuerza creadora.

OBRA
En la obra de Emmy pueden distinguirse tres claros periodos: en Erlangen (1882-1915), en Gttinger (1915-1932) y en Estados Unidos (1933-1935). Como ya hemos mencionado, en un primer momento y bajo la tutela de Paul Gordan, el trabajo de Emmy consista en extender los resultados de Gordan y enlist 331 formas covariantes en su tesis doctoral. Trabajo importante, laborioso y minucioso de gran magnitud aunque tal vez no el ms trascendente. Sin lugar a dudas su periodo ms productivo es el de Gttingen, donde fue invitada trabajar en el equipo de Hilbert, formado por excelentes matemticos y fsicos. Es el propio Hilbert el que desde ese momento se convirti en su mentor. As Emmy, en los aos siguientes a su doctorado, trabajo animada por su grupo sobre problemas relacionados con la fsica, cuyas aportaciones en este rumbo consistieron en dar el marco matemtico para establecer los principios de conservacin de la energa dentro de la relatividad general propuesta por Albert Einstein. En su trabajo Invariante Variationsprobleme(1918) inclua dos resultados importantes, esenciales en la teora de relatividad general y en el estudio de las partculas elementales ya que relacionaban las simetras con las leyes de conservacin de la energa. De esta manera, ella construy para los matemticos con una conexin muy importante entre dos reas: el lgebra y el anlisis. Para la fsica del siglo XX, su enorme contribucin es presentar las ecuaciones de campo en una versin generalizada de teora de grupos. En la dcada de los aos veinte inici una serie de investigaciones que modificaron el lgebra desde sus fundamentos. Public una docena de artculos. Los ms importantes fueron dos memorias sobre la teora de ideales: Teora de ideales en anillos (1921) y Construccin abstracta de la

teora de ideales en el dominio del cuerpo de los nmeros algebraicos

(1924). Dedekind haba introducido los ideales como un conjunto de nmeros enteros en un cuerpo numrico, as como la descomposicin de estos ideales como producto de ideales primos. Emmy, en su primera memoria, convirti los ideales de nmeros enteros en ideales, es decir, subconjuntos definidos axiomticamente en cualquier conjunto con estructura de anillo y estableci que en un anillo conmutativo que verifique el celebre axioma de la cadena ascendente de ideales, (ahora llamado anillo noetheriano), todo ideal tiene una descomposicin minimal finita como interseccin de ideales primarios. En la segunda determin los axiomas para poder establecer, en un anillo, la descomposicin de un ideal como producto de ideales primos.

En 1927 colabor con Helmut Hasse (1898-1972) y Richard Brauer (1901-1977) en trabajos sobre lgebra no conmutativa. A partir de entonces centr su estudio en este campo. Sus investigaciones sobre los sistemas hypercomplejos, la teora de la representacin y, de forma general, el lgebra no conmutativa se caracterizan por la importancia que tienen las nociones de mdulo, ideal, automorfismo y por la generalidad de los resultados que son vlidos en cualquier cuerpo. Por teoras como la del producto cruzado, desarrolladas por ella o en colaboracin con Helmut Hasse y Richard Brauer, Emmy Noether consigui unos resultados muy importantes aplicando brillantemente los mtodos hipercomplejos a difciles problemas de la teora de cuerpos cociente. Uno de sus trabajos ms importantes, lgebras no conmutativas, publicado en 1933, proporciona una visin global de dicha teora. A travs de sus discpulos, procedentes de todo el mundo y conocidos como los chicos de Noether o satlites, la concepcin de lgebra moderna lleg a casi todas las universidades alemanas y a los centros de investigacin matemtica de Francia, Unin Sovitica, Japn y Estados Unidos. El timo periodo de su vida lo pas en E.E.U.U., donde coincidi con Albert Einstein y trabajo con l sobre la teora de relatividad general.

TEXTO
El texto sobre el que voy a tratar es un fragmento de su artculo Nichtkommutative lgebra (lgebras no conmutativas), publicado el la revista Mathematische Zeitschrift en el ao 1933. 1. Multiplikative Abbildung. Assoziativgesetz. Sei vorerst G eine Gruppe ohne Operatoren, U ihn absoluter Automorphismenbereich, d. h. das System aller Homomorphisken von G in sich. U ist multiplikativ abgeschlossen, da das Produkt durch (1) g() = (g) mit g in G und , in U definiert ist und offenbar dem Assoziativgesetz gengt. G wird bekanntlich zu einer Gruppe mit Operatoren, wenn eine Menge B von Symbolen , H, gegeben ist derart, da die Verknpfungen g, gH, zu eindeutig definierten Elementen aus G fhren und Automorphismen ( Homomorphismen in sich) von G erzeugen -(g.h) = g.h-; es existiert also eine eindeutige ( im allgemeinen nicht umkehrbar einedeutige) Abbildung von B auf eine Untermenge B des absoluten Automorphismenbereichs U. Die oben erwhnte Schluweise lautet hier so: Ist der Operatorenbereich B multiplikativ abgeschlossen, so ist die eindeutige Abbildung von B auf B deann und nur dann eine multiplikativ-homomorphe, wenn die (1) entsprechende Assoziativrelation (1a) g(H) = (g) H fr g in G und , H in B erfllt ist. Entsprechend ist reziproker Homomorphismus definiert, wenn es sich um Linksoperatoren handelt. Denn die Abbildung von B auf B ist gegeben durch g = g fr alle g aus G, also auch durch (g) H = (g) = g(), so da (1a) notwendig und hinreichend fr multiplikative Homomorphie wird. Da Linksoperatoren reziproken Homomorphismus erzeugen, kommt daher, da die links geschriebenen Automorphismen *g, ** g von rechts nach links zu lesen sind: **g = g , Operatoren dagegen immer von links nach rechts.

En este texto Emmy nos dice que si B es el dominio de un operador cerrado respecto del producto y tenemos una funcin que va de B en B y es un homomorfismo multiplicativo si y slo si (1) cumple la asociativa. (1a) g(H) = (g) H fr g in G und , H in B erfllt ist. El reciproco define un homomorfismo si se opera por la izquierda.

10

En este artculo Emmy introduce conceptos que despus han llevado su nombre, tales como anillos de Noether o cadena ascendente. En su trabajo Invariante Variationsprobleme describe los grupos de simetras y establece la relacin entre cada un de ellos y las leyes de conservacin de la energia en el sistema correspondiente. A continuacin muestro un fragmento de dicho trajaro, tenemos que tener en cuenta que ella misma calificaba a su tesis como fungla de formulas.

11

12

13

LEGADO
Cuando en 1904 Noether entra en contacto con el mundo matemtico alemn, la situacin haba cambiado radicalmente, y era precisamente en Alemania donde la actividad matemtica europea estaba siendo ms creativa. Basta repasar la lista de algunos de los matemticos que Alemania produjo entre 1800 y 1900: el propio Gauss, Paul Gordan, J.W. Dedekind, David Hilbert, Christian Felix Klein, August Ferninand Mbius, Max Noether, Georg Friedrich Bernhard Riemann, Karl Weierstrass. A Emmy nunca le preocup especialmente publicar, sin embargo siempre ayud sus estudiantes y colegas a desarrollar resultados interesantes a partir de las observaciones, sugerencias o comentarios que ella les hacia. Un ejemplo es la introduccin del concepto de nilradical por Koethe en 1931. Otro es el caso de Van der Waerden, que en 1924 fue a Gttingen un ao para estudiar con Emmy, y al volver a Amsterdam escribi su libro lgebra Moderna en dos volmenes. La mayor parte del segundo volumen es el trabajo de Emmy, clarificado y ordenado por l.

14

CONCLUSIN
Emmy Noether fue una mujer fuerte e intensa, con un gran carcter; de ideas claras y decisiones firmes. Logr sus metas y no hay duda de que obtuvo el reconocimiento que mereca. Sufri discriminaciones y persecuciones, sin embargo, defendi sus ideas, su trabajo y sus posiciones polticas. Siempre ha sido recodada como tranquila, calida y generosa. Cuentan adems, que era una gran amiga. En la Sociedad Matemtica de Mosc, su amigo Pavel Sergeevich Aleksandrov (1896-1982) la recordaba con este tributo:

Emmy Noether fue la ms grande de las mujeres matemticas, una gran cientfica, magnfica profesora y una inolvidable persona

15

REFERENCIAS Bibliografa
[1] Auguste Dick (1981): Emmy Noether, 1882-1935. Birkhauser, Boston. [2] David Blanco Laserna (2005): Emmy Noether Matemtica ideal.Nivola libros y ediciones, S.L. [3] Hans Wussing (1989): Biografas de grandes matemticos, Universidad.

Artculos
[1] Pilar Carrasco (2004): Emmy Noether y el inicio del lgebra Abstracta. La Gaceta de la RSME, Vol. 7.2, Pgs. 331346 [2] Capi Corrales Rodrigez (2003): Matemticas y matemticas: vida y obra de Emmy Noether. Matemticas y Matemticos, J. Ferreirs, A. Durn, eds. Universidad de Sevilla. [3] Claudia Gmez Wulschner: Emmy, Mujer de Ideales. Departamento de Matemticas, ITAM [4] Emmy Noether (diciembre 1933): Nichtkommutative Algebra. Mathematiche Zeitschrift, Vol. 37, n1, pgs. 514 - 541

Pginas Web:
[1] www.divulgamat.com [2]Emmy Noether (1918): Invariante Variationsprobleme. Nachr. v. d. Ges. d. Wiss. Zu Gtingen, Pgs. 235-257. http://cwp.library.ucla.edu/articles/noether.trans/german/emmy235.html [3] http://almez.pntic.mec.es/~agos0000/algebra.html Agradecimientos: A Elena Aguirre por facilitarme el artculo : Nichtkommutative Algebra. Mathematiche Zeitschrift, sin el cual no me hubiera sido posible trabajar sobre uno de sus textos originales y a mis compaeros Erasmus por ayudarme a traducir dicho texto.

16