Suppose that \((K,\pi,\sigma,1,0,\geq)\) is an ordered field. My question is does there exist a complete ordered field \((K',\pi',\sigma',1',0',\geq')\) and an injective map \(\phi :K \longrightarrow K'\) such that \(\phi(\pi(a,b)) = \pi'(\phi(a),\phi(b)), \phi(\sigma(a,b)) = \sigma'(\phi(a),\phi(b)), a \geq b \Longrightarrow \phi(a) \geq' \phi(b)\) Because if there is then since ever ordered field is of characteristic zero (because \(0<1<2<... \Longleftarrow [1 \neq 0 \Longleftarrow 1 = 1^{2} > 0]\) then \((K,\pi,\sigma,1,0,\geq)\) would be isomorphic to one of the intermediate fields of \(\mathbb{R}|\mathbb{Q}\)
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
There are no comments in this discussion.