Cuerpo Cuadrático

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- exactamente el conjunto de discriminantes fundamenta-
bre Q. Es sencillo mostrar que el mapa d Q(d) es un les.
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-
3 Factorizacin de primos en idea-
ma cuerpo cuadrtico imaginario o cuerpo cuadrti- les
co complejo, corresponde a si sus encajes arquimedianos
son reales o complejos. Cualquier nmero primo p dado se convierte en un ideal
Los cuerpos cuadrticos han sido estudiados en gran pro- pOK en el anillo de enteros OK de un cuerpo cuadrtico
fundidad, inicialmente como parte de la teora de forma K. De acuerdo con la teora general de descomposicin de
cuadrtica binaria. El resto son problemas sin resolver. El ideales primos en extensiones de Galois, este puede ser
problema del nmero de clases es importante en particu-
lar. 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

Cuerpo Cuadrático

Cargado por

Copyright:

Formatos disponibles

Cuerpo Cuadrático

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuerpo Cuadrático

Cargado por

Copyright:

Formatos disponibles

Cuerpo cuadrtico

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

El anillo cociente es el cuerpo nito con p2 elementos:

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

4.2 Otros cuerpos ciclotmicos

Si se toman otros cuerpos ciclotmicos, se obtienen gru-

Pierre Samuel (1972). Algebraic number theory.

9 Origen del texto y las imgenes, colaboradores y licencias

9.3 Licencia del contenido

También podría gustarte