Euclidean field

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

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. 2.0 2.1 Lam (2005) p.270
  3. Martin (1998) pp. 35–36
  4. Martin (1998) p. 35
  5. Efrat (2006) p. 177
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

External links