Cuerpo cuadrtico

En teora de nmeros algebraicos, un cuerpo cuadrtico El conjunto de discriminantes de cuerpos cuadrticos es

es un cuerpo de nmeros algebraicos K de grado dos so-
bre Q. Es sencillo mostrar que el mapa d Q(d) es un
biyeccin desde el conjunto de todos los enteros libres de
cuadrados d 0, 1 al conjunto de todos los cuerpos cua-
drticos. Si d > 0 al correspondiente cuerpo cuadrtico
se le llama cuerpo cuadrtico real, y para d < 0 se lla-
ma cuerpo cuadrtico imaginario o cuerpo cuadrti-
co complejo, corresponde a si sus encajes arquimedianos
son reales o complejos.
Los cuerpos cuadrticos han sido estudiados en gran pro-
fundidad, inicialmente como parte de la teora de forma
cuadrtica binaria. El resto son problemas sin resolver. El
problema del nmero de clases es importante en particu-
lar.
exactamente el conjunto de discriminantes fundamenta-
les.
3 Factorizacin de primos en idea-
les
Cualquier nmero primo p dado se convierte en un ideal
pOK en el anillo de enteros OK de un cuerpo cuadrtico
K. De acuerdo con la teora general de descomposicin de
ideales primos en extensiones de Galois, este puede ser
p es inerte (p) es un ideal primo

El anillo cociente es el cuerpo nito con p2 elementos:

1 Anillo de enteros OK/pOK = Fp2

p se descompone (p) es un producto de dos ideales pri-

Dado un cuerpo cuadrtico Q( d) , donde d es un entero
mos distintos de OK.
libre de cuadrados, los enteros cuadrticos son nmeros
que tienen la forma a + b, donde a, b son enteros, y El anillo cociente es el producto OK/pOK = Fp Fp.
donde est denido mediante:
p se ramica (p) es el cuadrado de un ideal primo de
{ OK.
d si d 2, 3 (mod 4)
= El anillo cociente contiene elementos distintos de cero
1+ d
2 si d 1 (mod 4)
nilpotentes.
El anillo de enteros cuadrticos Z[] = {a +
b : a, b Z}
es un subanillo del cuerpo cuadrtico Q( d) .Por otra El tercer caso sucede si y slo si p divide el discriminante
parte, Z[] es la clausura integral de Z en Q( d) . En D. El primer y segundo caso ocurren cuando el smbolo de
otras palabras, es el anillo de enteros OQ(d) de Q( d) Kronecker (D/p) es igual a 1 and +1, respectivamente.
y por lo tanto un dominio de Dedekind. Por ejemplo, si p es un nmero primo que no divide a D,
entonces p se descompone si y slo si D es congruente
con un cuadrado mdulo p. Los dos primeros casos son
2 Discriminante en un cierto sentido equivalentes a la posibilidad de que
ocurra como p sigue a travs de los primos, vase teorema
de densidad de Chebotarev.[1]
El discriminante de un cuerpo cuadrtico Q(d) es d si
d es congruente con 1 modulo 4, y 4d de otra manera. La ley de reciprocidad cuadrtica implica que el compor-
Por ejemplo, cuando d es 1 siendo K es un cuerpo de tamiento de descomposicin de un primo p en un cuerpo
los as llamados racionales gaussianos, el discriminante cuadrtico depende nicamente de p mdulo D, donde D
es 4. La razn de estos est relacionada con la teora es el discriminante del cuerpo.
general de nmeros algebraicos. El anillo de enteros de K
se extiende por 1 y la raz cuadrada de d nicamente en el
segundo caso, y en el primer caso hay enteros tales que se 4 Subcuerpos cuadrticos de cuer-
encuentran en la mitad de los 'puntos de red' (por ejemplo,
cuando d = 3, esos son los enteros de Eiseinstein, dados pos ciclotmicos
por la raz cbica compleja de la unidad).

1
2 8 ENLACES EXTERNOS

4.1 El subcuerpo cuadrtico de un cuerpo I.N. Stewart; D.O. Tall (1979). Algebraic num-
ciclotmico primo ber theory. Chapman and Hall. ISBN 0-412-13840-9.
Chapter 3.1.
Un ejemplo clsico de construccin de un cuerpo cua-
drtico es tomar el nico cuerpo cuadrtico dentro del
cuerpo ciclotmico generado por la p-sima raz primiti- 8 Enlaces externos
va de la unidad, con p un nmero primo > 2. La unicidad
es una consecuencia de la teora de Galois, existiendo un Weisstein, Eric W. Quadratic Field. En Weisstein,
subgrupo nico de ndice 2 en el grupo de Galois sobre Eric W. MathWorld (en ingls). Wolfram Research.
Q. Como se explica en periodo gaussiano, el discriminan-
te del cuerpo cuadrtico es p para p = 4n + 1 y p para Hazewinkel, Michiel, ed. (2001), Quadratic eld,
p = 4n + 3. Esto tambin se puede predecir suciente- Encyclopaedia of Mathematics (en ingls), Springer,
mente bien usando la teora de ramicacin. En efecto, p ISBN 978-1556080104
es el nico primo que ramica en el cuerpo ciclotmico,
as que p es el nico primo que puede ser dividido por
el discriminante del cuerpo cuadrtico. Esto descarta los
'otros discriminantes 4p y 4p en sus casos respectivos.

4.2 Otros cuerpos ciclotmicos

Si se toman otros cuerpos ciclotmicos, se obtienen gru-

pos de Galois con 2-torsin extra, conteniendo as al me-
nos tres cuerpos cuadrticos. En general, un cuerpo cua-
drtico del discriminante de cuerpo D se puede obte-
ner como un subcuerpo de un cuerpo ciclotmico de D-
simas races de la unidad. Esto expresa el hecho de que
el conductor de un cuerpo cuadrtico es el valor absoluto
de su discriminante.

5 Vase tambin
Problema del nmero de clases

Teorema de StarkHeegner

Nmero de Heegner

Irracional cuadrtico

Entero cuadrtico

6 Notas
[1] Samuel, pp. 7677

7 Referencias
Duncan Buell (1989). Binary quadratic forms: clas-
sical theory and modern computations. Springer-
Verlag. ISBN 0-387-97037-1. Chapter 6.

Pierre Samuel (1972). Algebraic number theory.

Hermann/Kershaw.
 3

9 Origen del texto y las imgenes, colaboradores y licencias

9.1 Texto
Cuerpo cuadrtico Fuente: https://es.wikipedia.org/wiki/Cuerpo_cuadr%C3%A1tico?oldid=71345831 Colaboradores: Raulshc, Addbot
y Annimos: 1

9.2 Imgenes

9.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0