Matches in DBpedia 2015-10 for { ?s ?p "In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. In 1926, this grew eventually into the Artin–Schreier theory of ordered fields and formally real fields.An ordered field necessarily has characteristic 0, all natural numbers, i.e. the elements 0, 1, 1 + 1, 1 + 1 + 1, ... are distinct. This implies that an ordered field necessarily contains an infinite number of elements: a finite field cannot be ordered.Every subfield of an ordered field is also an ordered field in the inherited order. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Any Dedekind-complete ordered field is isomorphic to the real numbers. Squares are necessarily non-negative in an ordered field. This implies that the complex numbers cannot be ordered since the square of the imaginary unit i is −1. Every ordered field is a formally real field."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Ordered_field abstract "In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. In 1926, this grew eventually into the Artin–Schreier theory of ordered fields and formally real fields.An ordered field necessarily has characteristic 0, all natural numbers, i.e. the elements 0, 1, 1 + 1, 1 + 1 + 1, ... are distinct. This implies that an ordered field necessarily contains an infinite number of elements: a finite field cannot be ordered.Every subfield of an ordered field is also an ordered field in the inherited order. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Any Dedekind-complete ordered field is isomorphic to the real numbers. Squares are necessarily non-negative in an ordered field. This implies that the complex numbers cannot be ordered since the square of the imaginary unit i is −1. Every ordered field is a formally real field.".