Cuerpo pitagórico

En álgebra, un cuerpo pitagórico es un cuerpo en el que cada suma de dos cuadrados es un cuadrado: equivalentemente tiene un número de Pitágoras igual a 1. Una extensión pitagórica de un cuerpo $F$ es una extensión de cuerpos obtenida al adjuntar un elemento ${\sqrt {1+\lambda ^{2}}}$ para algunos $\lambda \in F$. Así que un cuerpo pitagórico es uno cerrado bajo extensiones pitagóricas ulteriores. Para cualquier cuerpo $F$ hay un cuerpo pitagórico mínimo ${\textstyle F^{\mathrm {py} }}$ que lo contiene, único salvo isomorfismo, llamado su clausura pitagórica.​ El cupero de Hilbert es el cuerpo ordenado pitagórico más pequeño posible que contiene a los números racionales.​

Propiedades

Cada cuerpo euclídeo (un cuerpo ordenado en el que todos los elementos no negativos son cuadrados) es un cuerpo pitagórico ordenado, pero el recíproco no siempre se cumple.​ Un cuerpo cuadráticamente cerrado es un cuerpo pitagórico, pero el recíproco no es cierto ($\mathbf {R}$ es pitagórico); sin embargo, un cuerpo pitagórico no formalmente real es cuadráticamente cerrado.​

El anillo de Witt de un cuerpo pitagórico es de orden dos, si el cuerpo no es formalmente real, y libre de torsión en caso contrario.​ Para un cuerpo $F$ hay una sucesión exacta que involucre al anillos de Witt:

$0\rightarrow \operatorname {Tor} IW(F)\rightarrow W(F)\rightarrow W(F^{\mathrm {py} })$

donde $IW(F)$ es el ideal fundamental del anillo de Witt de $F$​ y $\operatorname {Tor} IW(F)$ denota su subgrupo de torsión (que es solo el nilradical de $W(F)$).< ref name=MH72>Milnor & Husemoller (1973) p. 72</ref>

Condiciones equivalentes

Las siguientes condiciones en un cuerpo $K$ son equivalentes a que $K$ sea pitagórica:

• El u-invariante $u(K)$ es 0 o 1.​
• Si $ab$ no es un cuadrado de $F$ ($ab\neq x^{2}$, entonces hay un orden en $K$ para el cual $a$ y $b$ tienen signos diferentes.​
• $K$ es la intersección de sus clausuras euclídeas.​

Modelos de geometría

Los cuerpos pitagóricos se pueden usar para construir modelos para algunos de los axiomas de Hilbert para la geometría (Iyanaga y Kawada, 1980, 163 C). La geometría de coordenadas dada por $F^{n}$ para $F$ un cuerpo pitagórico satisface muchos de los axiomas de Hilbert, como los axiomas de incidencia, los axiomas de congruencia y los axiomas de paralelismo. Sin embargo, en general, esta geometría no necesita satisfacer todos los axiomas de Hilbert a menos que el cuerpo $F$ tenga propiedades adicionales: por ejemplo, si el cuerpo también está ordenado, entonces la geometría satisfará los axiomas de orden de Hilbert, y si el cuerpo también es completo, la geometría satisfará el axioma de completitud de Hilbert.

La clausura pitagórica de un cuerpo ordenado no arquimediano, como la clausura pitagórica del cuerpo de funciones racionales $\mathbf {Q} (x)$ en una variable sobre los números racionales $\mathbf {Q} ,$ puede usarse para construir geometrías no arquímedianas que satisfagan muchos de los axiomas de Hilbert pero no su axioma de completitud.​ Dehn usó tal cuerpo para construir dos planos de Dehn, ejemplos de geometría no-legendriana y geometría semi-euclidiana respectivamente, en la que hay muchas líneas a través de un punto que no interseca una línea dada pero donde la suma de los ángulos de un triángulo es al menos π.​

Teorema de Diller-Dress

Este teorema establece que si E/F es una extensión de cuerpos finita, y E es pitagórico, entonces también lo será F.​ Como consecuencia, ningún cuerpo de números algebraicos es pitagórico, ya que todos estos cuerpos son finitos sobre $\mathbb {Q}$, que no es pitagórico.​

Cuerpos superpitagóricos

Un cuerpo superpitagórico F es un cuerpo formalmente real con la propiedad de que si S es un subgrupo del índice 2 en F^∗ y no contiene −1, entonces S define un orden en F. Una definición equivalente es que F es un cuerpo formalmente real en el que el conjunto de cuadrados forma un abanico. Un cuerpo superpitagórico es necesariamente pitagórico.​

El análogo del teorema de Diller-Dress es el siguiente: si E/F es una extensión finita y E es superpitagórica, entonces también lo es F.​ En la dirección opuesta, si F es superpitagórico y E es un cuerpo formalmente real que contiene F y está contenido en el cierre cuadrático de F entonces E es superpitagórico.​

Referencias

Bibliografía

• Dehn, Max (1900), «Die Legendre'schen Sätze über die Winkelsumme im Dreieck», Mathematische Annalen 53 (3): 404-439, ISSN 0025-5831, JFM 31.0471.01, S2CID 122651688, doi:10.1007/BF01448980 .
• Efrat, Ido (2006), Valuations, orderings, and Milnor K-theory, Mathematical Surveys and Monographs 124, Providence, RI: American Mathematical Society, ISBN 0-8218-4041-X, Zbl 1103.12002 .
• Elman, Richard; Lam, T. Y. (1972), «Quadratic forms over formally real fields and pythagorean fields», American Journal of Mathematics 94 (4): 1155-1194, ISSN 0002-9327, JSTOR 2373568, MR 0314878, doi:10.2307/2373568 .
• Greenberg, Marvin J. (2010), «Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries», Am. Math. Mon. 117 (3): 198-219, ISSN 0002-9890, S2CID 7792750, Zbl 1206.51015, doi:10.4169/000298910x480063 .
• Iyanaga, Shôkichi; Kawada, Yukiyosi, eds. (1980), Encyclopedic dictionary of mathematics, Volumes I, II, Translated from the 2nd Japanese edition, paperback version of the 1977 edition (1st edición), MIT Press, ISBN 978-0-262-59010-5, MR 591028, (requiere registro) .
• Lam, T. Y. (1983), Orderings, valuations and quadratic forms, CBMS Regional Conference Series in Mathematics 52, American Mathematical Society, ISBN 0-8218-0702-1, Zbl 0516.12001, (requiere registro) .
• Lam, T. Y. (2005), «Chapter VIII section 4: Pythagorean fields», Introduction to quadratic forms over fields, Graduate Studies in Mathematics 67, Providence, R.I.: American Mathematical Society, pp. 255-264, ISBN 978-0-8218-1095-8, MR 2104929 .
• Martin, George E. (1998), Geometric Constructions, Undergraduate Texts in Mathematics, Springer-Verlag, ISBN 0-387-98276-0 .
• Milnor, J.; Husemoller, D. (1973), Symmetric Bilinear Forms, Ergebnisse der Mathematik und ihrer Grenzgebiete 73, Springer-Verlag, ISBN 3-540-06009-X, Zbl 0292.10016 .
• Rajwade, A. R. (1993), Squares, London Mathematical Society Lecture Note Series 171, Cambridge University Press, ISBN 0-521-42668-5, Zbl 0785.11022 .