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 $F^{\mathrm{p}\mathrm{y}}$ 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 ($𝐑$ 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: Plantilla:Ecuación donde $IW(F)$ es el ideal fundamental del anillo de Witt de $F$ y $\mathrm{Tor}IW(F)$ denota su subgrupo de torsión (que es solo el nilradical de $W(F)$).

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\ne 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 Plantilla:Harv. 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 $𝐐(x)$ en una variable sobre los números racionales $𝐐,$ 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

• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation