Cuerpo ordenado
En matemáticas, un cuerpo ordenado (también campo ordenado) es un cuerpo con un orden total de sus elementos que es compatible con las operaciones del cuerpo. Históricamente, la axiomatización de un cuerpo ordenado fue abstraída gradualmente de los números reales por matemáticos como David Hilbert, Otto Hölder y Hans Hahn. Esto se convirtió posteriormente en la teoría de Artin-Schreier de cuerpos ordenados y cuerpos formalmente reales.
Un cuerpo ordenado tiene necesariamente la característica 0, puesto que los elementos 0 < 1 < 1 + 1 < 1 + 1 + 1 <... son necesariamente todos distintos. Así, un cuerpo ordenado contiene necesariamente un número infinito de elementos: un cuerpo finito no puede ser ordenado.
Cada subcuerpo de un cuerpo ordenado es también un cuerpo ordenado en el orden heredado. Cada cuerpo ordenado contiene un subcuerpo ordenado que es isomorfo a los números racionales. Cualquier cuerpo ordenado y completo por Dedekind es isomorfo a los números reales. Los cuadrados no son, necesariamente, negativos en un cuerpo ordenado. Esto implica que los números complejos no pueden ser ordenados ya que el cuadrado de la unidad imaginaria i es -1. Cada cuerpo ordenado es un cuerpo formalmente real.
Referencias
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
Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics 67. American Mathematical Society. ISBN 0-8218-1095-2. Zbl 1068.11023.
Lang, Serge (1993), Algebra (Tercera edición), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
