Euclidean ordered field

{{Short description|Ordered field where every nonnegative element is a square}}{{about|ordered fields|algebraic number fields whose ring of integers has a Euclidean algorithm|Norm-Euclidean field|

the class of models in statistical mechanics|Euclidean field theory}}

In mathematics, a Euclidean field is an ordered field {{math|K}} for which every non-negative element is a square: that is, {{math|x ≥ 0}} in {{math|K}} implies that {{math|1=x = y²}} for some {{math|y}} in {{math|K}}.

The constructible numbers form a Euclidean field. It is the smallest Euclidean field, as every Euclidean field contains it as an ordered subfield. In other words, the constructible numbers form the Euclidean closure of the rational numbers.

Properties

Every Euclidean field is an ordered Pythagorean field, but the converse is not true.Martin (1998) p. 89
If E/F is a finite extension, and E is Euclidean, then so is F. This "going-down theorem" is a consequence of the Diller–Dress theorem.Lam (2005) p.270

Examples

The real constructible numbers, those (signed) lengths which can be constructed from a rational segment by ruler and compass constructions, form a Euclidean field.Martin (1998) pp. 35–36

Every real closed field is a Euclidean field. The following examples are also real closed fields.

The real numbers $\mathbb{R}$ with the usual operations and ordering form a Euclidean field.
The field of real algebraic numbers $\mathbb{R}\cap\mathbb{\overline Q}$ is a Euclidean field.
The field of hyperreal numbers is a Euclidean field.

Counterexamples

The rational numbers $\mathbb Q$ with the usual operations and ordering do not form a Euclidean field. For example, 2 is not a square in $\mathbb Q$ since the square root of 2 is irrational.Martin (1998) p. 35 By the going-down result above, no algebraic number field can be Euclidean.
The complex numbers $\mathbb C$ do not form a Euclidean field since they cannot be given the structure of an ordered field.

Euclidean closure

The Euclidean closure of an ordered field {{mvar|K}} is an extension of {{mvar|K}} in the quadratic closure of {{mvar|K}} which is maximal with respect to being an ordered field with an order extending that of {{mvar|K}}.Efrat (2006) p. 177 It is also the smallest subfield of the algebraic closure of {{mvar|K}} that is a Euclidean field and is an ordered extension of {{mvar|K}}.

References

{{cite book | last=Efrat | first=Ido | title=Valuations, orderings, and Milnor K-theory | series=Mathematical Surveys and Monographs | volume=124 | location=Providence, RI | publisher=American Mathematical Society | year=2006 | isbn=0-8218-4041-X | zbl=1103.12002 }}
{{cite book | title=Introduction to Quadratic Forms over Fields | volume=67 | series=Graduate Studies in Mathematics | first=Tsit-Yuen | last=Lam | authorlink=Tsit Yuen Lam | publisher=American Mathematical Society | year=2005 | isbn=0-8218-1095-2 | zbl=1068.11023 | mr = 2104929 }}
{{cite book | title=Geometric Constructions |title-link=Geometric Constructions| series=Undergraduate Texts in Mathematics | first=George E. | last=Martin | publisher=Springer-Verlag | year=1998 | isbn=0-387-98276-0 | zbl=0890.51015 }}

External links

{{PlanetMath|urlname=EuclideanField|title=Euclidean Field}}

Category:Field (mathematics)