On ordered domains of integrity
R. E. Johnson · Proceedings of the American Mathematical Society · 1952
In a recent paper,1 T. Szele proved that a division ring D is orderable if and only if the additive and multiplicative semigroup 5 generated by the nonzero squares of elements of D does not contain the zero element of D. The present paper extends this result to a domain