Euclidean field

This article is about ordered fields. For algebraic number fields whose ring of integers has a Euclidean algorithm, see Norm-Euclidean field. For the class of models in statistical mechanics, see Euclidean field theory.

In mathematics, a Euclidean field is an ordered field K for which every non-negative element is a square: that is, x  0 in K implies that x = y2 for some y in K.

Properties

Examples

Counterexamples

Euclidean closure

The Euclidean closure of an ordered field K is an extension of K in the quadratic closure of K which is maximal with respect to being an ordered field with an order extending that of K.[5]

References

  1. Martin (1998) p. 89
  2. 1 2 Lam (2005) p.270
  3. Martin (1998) pp. 35–36
  4. Martin (1998) p. 35
  5. Efrat (2006) p. 177

External links

This article is issued from Wikipedia - version of the Thursday, August 13, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.