Entero cuadrático

Los enteros cuadráticos, en los predios de la teoría de números, son una generalización de los enteros racionales a los cuerpos cuadráticos. Entre ejemplos importantes, se mencionan los enteros gaussianos y los enteros de Eisenstein. Aunque han sido estudiados, en un lapso mayor de cien años, muchos problemas continúan en ayunos de solución.

Definición

Los enteros cuadráticos son soluciones de la forma:

Plantilla:Math

para enteros Plantilla:Math y Plantilla:Math. Tales soluciones tienen la forma Plantilla:Math, donde Plantilla:Math, Plantilla:Math son enteros, y donde Plantilla:Unicode está definido mediante:

$\omega =\{\begin{array}{cc}\sqrt{D}& \text{si }D\equiv 2,3(\mathrm{mod}4)\\ \frac{1+\sqrt{D}}{2}& \text{si }D\equiv 1(\mathrm{mod}4)\end{array}$

(Plantilla:Math es un entero libre de cuadrados).

Esta caracterización fue dada por primera vez por Richard Dedekind en 1871. Fijando un entero libre de cuadrados Plantilla:Math, el anillo de enteros cuadráticos Plantilla:Math} es un subanillo del cuerpo cuadrático Plantilla:Math√Plantilla:MathPlantilla:Math. Por otra parte, Plantilla:Math es la clausura integral de Plantilla:Unicode en Plantilla:Math√Plantilla:MathPlantilla:Math. En otras palabras, es el anillo de enteros ${𝒪}_{𝐐(\sqrt{D})}$ de Plantilla:Math√Plantilla:MathPlantilla:Math y por lo tanto un dominio de Dedekind.

Ejemplos

• Un ejemplo clásico es Plantilla:Math√Plantilla:MathPlantilla:Math, los enteros gaussianos, que fueron introducidos por Carl Friedrich Gauss alrededor de 1800 para el establecimiento de su ley de reciprocidad bicuadrática.
• Los elementos en ${𝒪}_{𝐐(\sqrt{-3})}=𝐙\left[\frac{1+\sqrt{-3}}{2}\right]$ son llamados enteros de Eisenstein.
• En cambio, Plantilla:Math√Plantilla:MathPlantilla:Math no es un dominio de Dedekind.

Número de clase

Equipados con la norma

Plantilla:Math√Plantilla:MathPlantilla:Math,

${𝒪}_{𝐐(\sqrt{D})}$ es un dominio euclídeo (y a fortiori, un DFU) donde Plantilla:Math. Por otro lado, resulta que Plantilla:Math√Plantilla:MathPlantilla:Math no es un DFU porque, por ejemplo, 6 tiene dos factorizaciones distintas en elementos irreducibles:

Plantilla:Math√Plantilla:MathPlantilla:Math√Plantilla:MathPlantilla:Math

(De hecho, Plantilla:Math√Plantilla:MathPlantilla:Math tiene número de clase 2.) El fallo de la factorización única permitió a Ernst Kummer y Dedekind desarrollar una teoría que podría ampliar el conjunto de los "números primos"; el resultado fue la noción de ideales y la descomposición de ideales mediante ideales primos.

Siendo un dominio de Dedekind, un anillo de enteros cuadráticos es un DFU si y sólo si éste es un dominio de ideal principal ( i.e., si su número de clase es uno.) Sin embargo, hay anillos de enteros cuadráticos que son dominios de ideales principales y no son dominios euclídeos. Por ejemplo, Plantilla:Math√Plantilla:MathPlantilla:Math tiene número de clase 1 pero su anillo de enteros no es euclídeo. Existen métodos efectivos para calcular grupos de clases ideales de anillos de enteros cuadráticos, pero muchas preguntas teóricas sobre sus estructuras todavía siguen abiertas después de cien años.

Véase también

• Último teorema de Fermat
• Ecuación de Pell

Referencias

• Plantilla:Obra citada. Traducido del original en francés por John Meldrum.
• Plantilla:Obra citada. Retrieved 5. August 2009
• Dummit, D. S., and Foote, R. M., 2004. Abstract Algebra, 3rd ed.
• J.S. Milne. Algebraic Number Theory, Version 3.01, September 28, 2008. Notas de lectura en línea (en inglés).