Entero cuadrático


Entero cuadrático

En teoría de números, los enteros cuadráticos son una generalización de los enteros racionales a los cuerpos cuadráticos. Entre los ejemplos importantes se incluyen los enteros gaussianos y los enteros de Eisenstein. A pasar de que han sido estudiados durante más de cien años, muchos problemas siguen todavía abiertos.

Contenido

Definición

Los enteros cuadráticos son soluciones de la forma:

x2 + Bx + C = 0

para enteros B y C. Tales soluciones tienen la forma a + ωb, donde a, b son enteros, y donde ω está definido mediante:

\omega =
\begin{cases}
\sqrt{D} & \mbox{si }D \equiv 2, 3 \pmod{4} \\
{{1 + \sqrt{D}} \over 2} & \mbox{si }D \equiv 1 \pmod{4}
\end{cases}

(D es un entero libre de cuadrados).

Esta caraceterización fue dada por primera vez por Richard Dedekind en 1871.[1] [2] Fijando un entero libre de cuadrados D, el el anillo de enteros cuadráticos Z[ω] = {a + ωb : a, bZ} es un subanillo del cuerpo cuadrático \mathbf{Q}(\sqrt{D}). Por otra parte, Z[ω] es la clausura integral de Z en \mathbf{Q}(\sqrt{D}). En otras palabras, es el anillo de enteros \mathcal{O}_{\mathbf{Q}(\sqrt{D})} de \mathbf{Q}(\sqrt{D}) y por lo tanto un dominio de Dedekind.

Ejemplos

  • Un ejemplo clásico es \mathbf{Z}[\sqrt{-1}], los enteros gaussianos, que fueron introducidos por Carl Friedrich Gauss alrededor de 1800 para el establecimiento de su ley de reciprocidad bicuadrática.[3]
  • Los elementos en \mathcal{O}_{\mathbf{Q}(\sqrt{-3})} = \mathbf{Z}\left[{{1 + \sqrt{-3}} \over 2}\right] son llamados enteros de Eisentein.
  • En cambio, \mathbf{Z}[\sqrt{-3}] no es un dominio de Dedekind.

Número de clase

Equipados con la norma

N(a + b\sqrt{D}) = a^2 - Db^2,

\mathcal{O}_{\mathbf{Q}(\sqrt{D})} es un dominio euclídeo (y a fortiori, un DFU) donde D = − 1, − 2, − 3, − 7, − 11.[4] Por otro lado, resulta que \mathbf{Z}[\sqrt{-5}] no es un DFU porque, por ejemplo, 6 tiene dos factorizaciones distintas en elementos irreducibles:

6 = 2(3) = (1 + \sqrt{-5}) (1 - \sqrt{-5}).

(De hecho, \mathbf{Z}[\sqrt{-5}] tiene número de clase 2.[5] ) 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 (p.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, \mathbf{Q}[\sqrt{-19}] tiene número de clase 1 pero su anillo de enteros no es euclídeo.[5] 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

Notas

  1. Dedekind, 1871, Supplement X, p. 447
  2. Bourbaki, 1994, p. 99
  3. Dummit, pg. 229
  4. Dummit, pg. 272
  5. a b Milne, pg. 64

Referencias


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Residuo cuadrático — Saltar a navegación, búsqueda En Matemáticas, dentro de la Teoría de Números se denomina residuo cuadrático módulo m a cualquier entero r primo con m para el que tenga solución la congruencia: o lo que es lo mismo cuando r es un cuadrado perfecto …   Wikipedia Español

  • Residuo cuadrático — En Matemáticas, dentro de la Teoría de Números se denomina residuo cuadrático módulo a cualquier entero primo con para el que tenga solución la congruencia: o lo que es lo mismo cuando es un cuadrado perfecto módulo …   Enciclopedia Universal

  • Anillo de los números enteros — Saltar a navegación, búsqueda En matemáticas, la frase anillo de los números enteros se puede referir a el anillo de todos los enteros (positivos, negativos o cero), usualmente indicado como Z. dado un campo numérico algebraico K, los enteros… …   Wikipedia Español

  • Disquisitiones arithmeticae — Saltar a navegación, búsqueda Página del título en la primera edición Disquisitiones Arithmeticae es un libro de teoría de números escrito por el matemático alemán Carl Friedrich Gauss en 1798 cuando tenía 21 a …   Wikipedia Español

  • Teorema de equipartición — Figura 1. Movimiento térmico de un péptido tipo hélice α. El movimiento vibratorio es aleatorio y complejo, y la energía de un átomo en particular puede fluctuar ampliamente. Sin embargo, el teorema de equipartición permite que se pueda calcular… …   Wikipedia Español

  • Raíz cuadrada — Expresión matemática de raíz cuadrada de X . La …   Wikipedia Español

  • Aritmética modular — Saltar a navegación, búsqueda Cubierta de la edición original de Disquisitiones arithmeticae de Gauss, libro fundamental de la aritmética modular. En matemática, la aritmética modular es un sistema aritmético para clases de equivalencia((Clase de …   Wikipedia Español

  • Fracción continua — Saltar a navegación, búsqueda En matemáticas, una fracción continua es una expresión de la forma: donde a0 es un entero y todos los demás números an son enteros positivos. Si se permite que los numeradores o los denominadores parciales tomen… …   Wikipedia Español

  • Símbolo de Legendre — El símbolo de Legendre, , es una función multiplicativa utilizada en teoría de números que toma como argumentos un entero a y un primo p y devuelve uno de los valores 1, 1, ó 0 dependiendo de si a es o no residuo cuadrático módulo p, es decir de… …   Wikipedia Español

  • Número de Pisot-Vijayaraghavan — En matemáticas, un número de Pisot Vijayaraghavan (también conocido simplemente como número de Pisot o número de PV), es un entero algebraico que es real mayor que 1, pero sus elementos conjugados son todos menores que 1 en valor absoluto. Por… …   Wikipedia Español