numero ideal

En teoría de números , un número ideal es un entero algebraico que representa un ideal en el anillo de números enteros de un campo numérico ; La idea fue desarrollada por Ernst Kummer y condujo a la definición de ideales para anillos de Richard Dedekind . Un ideal en el anillo de números enteros de un campo numérico algebraico es principal si consta de múltiplos de un solo elemento del anillo y no principal en caso contrario. Según el teorema del ideal principal, cualquier ideal no principal se convierte en principal cuando se extiende a un ideal del campo de clases de Hilbert . Esto significa que hay un elemento del anillo de enteros del campo de clase de Hilbert, que es un número ideal, tal que el ideal no principal original es igual a la colección de todos los múltiplos de este número ideal por elementos de este anillo de enteros que se encuentran en el anillo de números enteros del campo original.

Ejemplo

Por ejemplo, sea una raíz de , entonces el anillo de números enteros del campo es , lo que significa que todos los números con y forman el anillo de números enteros. Un ejemplo de ideal no principal en este anillo es el conjunto de todos los donde y son números enteros; el cubo de este ideal es principal y, de hecho, el grupo de clases es cíclico de orden tres. El campo de clase correspondiente se obtiene adjuntando un elemento que satisface a , dando . Un número ideal para el ideal no principal es . Dado que esto satisface la ecuación, es un número entero algebraico. ${\displaystyle y}$ ${\displaystyle y^{2}+y+6=0}$ ${\displaystyle \mathbb {Q} (y)}$ ${\displaystyle \mathbb {Z} [y]}$ ${\displaystyle a+b\cdot y}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle 2a+y\cdot b}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle w}$ ${\displaystyle w^{3}-w-1=0}$ ${\displaystyle \mathbb {Q} (y)}$ ${\displaystyle \mathbb {Q} (y,w)}$ ${\displaystyle 2a+y\cdot b}$ ${\displaystyle \iota =(-8-16y-18w+12w^{2}+10yw+yw^{2})/23}$ ${\displaystyle \iota ^{6}-2\iota ^{5}+13\iota ^{4}-15\iota ^{3}+16\iota ^{2}+28\iota +8=0}$

Todos los elementos del anillo de números enteros del campo de clase que cuando se multiplican por dan un resultado tienen la forma , donde ${\displaystyle \iota }$ ${\displaystyle \mathbb {Z} [y]}$ ${\displaystyle a\cdot \alpha +y\cdot \beta }$

${\displaystyle \alpha =(-7+9y-33w-24w^{2}+3yw-2yw^{2})/23}$

y

${\displaystyle \beta =(-27-8y-9w+6w^{2}-18yw-11yw^{2})/23.}$

Los coeficientes α y β también son números enteros algebraicos, que satisfacen

${\displaystyle \alpha ^{6}+7\alpha ^{5}+8\alpha ^{4}-15\alpha ^{3}+26\alpha ^{2}-8\alpha +8=0}$

y

${\displaystyle \beta ^{6}+4\beta ^{5}+35\beta ^{4}+112\beta ^{3}+162\beta ^{2}+108\beta +27=0}$

respectivamente. Multiplicar por el número ideal da , que es el ideal no principal. ${\displaystyle a\cdot \alpha +b\cdot \beta }$ ${\displaystyle \iota }$ ${\displaystyle 2a+b\cdot y}$

Historia

Kummer publicó por primera vez el fracaso de la factorización única en campos ciclotómicos en 1844 en una revista poco conocida; fue reimpreso en 1847 en el diario de Liouville . En artículos posteriores de 1846 y 1847 publicó su teorema principal, la factorización única en números primos (reales e ideales).

Se cree ampliamente que Kummer llegó a sus " números complejos ideales " por su interés en el último teorema de Fermat ; incluso se cuenta a menudo que Kummer, al igual que Lamé , creía haber demostrado el último teorema de Fermat hasta que Lejeune Dirichlet le dijo que su argumento se basaba en la factorización única; pero la historia fue contada por primera vez por Kurt Hensel en 1910 y la evidencia indica que probablemente se deriva de una confusión por parte de una de las fuentes de Hensel. Harold Edwards dice que la creencia de que Kummer estaba interesado principalmente en el último teorema de Fermat "es seguramente errónea" (Edwards 1977, p. 79). El uso que hace Kummer de la letra λ para representar un número primo, α para denotar una λésima raíz de la unidad y su estudio de la factorización de números primos en "números complejos compuestos por las raíces de la unidad" se derivan directamente de un artículo de Jacobi que se ocupa de leyes de reciprocidad superiores . Las memorias de Kummer de 1844 fueron en honor a la celebración del jubileo de la Universidad de Königsberg y pretendían ser un homenaje a Jacobi. Aunque Kummer había estudiado el último teorema de Fermat en la década de 1830 y probablemente era consciente de que su teoría tendría implicaciones para su estudio, es más probable que el tema de interés de Jacobi (y de Gauss ), las leyes superiores de reciprocidad, tuviera más importancia para él. Kummer se refirió a su propia demostración parcial del último teorema de Fermat para los números primos regulares como "una curiosidad de la teoría de números más que un elemento importante" y a la ley superior de reciprocidad (que planteó como una conjetura) como "el tema principal y el pináculo de teoría de números contemporánea." Por otra parte, este último pronunciamiento se hizo cuando Kummer todavía estaba entusiasmado con el éxito de su trabajo sobre la reciprocidad y cuando su trabajo sobre el último teorema de Fermat estaba perdiendo fuerza, por lo que tal vez pueda tomarse con cierto escepticismo. ${\displaystyle p\equiv 1{\pmod {\lambda }}}$ ${\displaystyle \lambda }$

La extensión de las ideas de Kummer al caso general fue realizada de forma independiente por Kronecker y Dedekind durante los siguientes cuarenta años. Una generalización directa encontró dificultades formidables y finalmente llevó a Dedekind a la creación de la teoría de los módulos y los ideales . Kronecker abordó las dificultades desarrollando una teoría de las formas (una generalización de las formas cuadráticas ) y una teoría de los divisores . La contribución de Dedekind se convertiría en la base de la teoría de anillos y el álgebra abstracta , mientras que la de Kronecker se convertiría en herramientas importantes de la geometría algebraica .

Referencias

• Nicolas Bourbaki , Elementos de la Historia de las Matemáticas. Springer-Verlag, Nueva York, 1999.
• Harold M. Edwards , último teorema de Fermat. Una introducción genética a la teoría de números. Textos de Posgrado en Matemáticas vol. 50, Springer-Verlag, Nueva York, 1977.
• CG Jacobi, Über die complexen Primzahlen, welche in der theori der Reste der 5ten, 8ten, und 12ten Potenzen zu betrachten sind, Monatsber. der. Akád. Wiss. Berlín (1839) 89-91.
• EE Kummer, De numeris complexis, qui radicibus unitatis et numeris integris realibus constante, Gratulationschrift der Univ. Breslau zur Jubelfeier der Univ. Konigsberg, 1844; reimpreso en Jour. de Matemáticas. 12 (1847) 185-212.
• EE Kummer, Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren, Jour. para matemáticas. (Crelle) 35 (1847) 327-367.
• John Stillwell , introducción a la teoría de los enteros algebraicos de Richard Dedekind. Biblioteca de Matemáticas de Cambridge, Cambridge University Press, Gran Bretaña, 1996.

enlaces externos

• Números ideales, prueba de que la teoría de los números ideales guarda la factorización única para los enteros ciclotómicos en el blog del último teorema de Fermat.