3
$\begingroup$

While browsing around, I read that any ordered skew-field that satisfies the Archimedean property is commutative, but it was offered without proof. Out of curiosity, is there a quick proof or reference for this fact?

1 Answers 1

4

This goes back to Hilbert. Here's his proof from Section 32 of Foundations of Geometry, 1902.

enter image description here enter image description here enter image description here