Abstract:D. K. Harrison has shown that if a ring with identity has a positive cone that is an infinite prime (a subsemiring that contains 1 and is maximal with respect to avoiding — 1), and if the cone satisfies a certain archimedean condition for all elements of the ring, then there exists an order isomorphism of the ring into the real field. Our main result shows that if Harrison’s archimedean condition is weakened so as to apply only to the elements of the cone and if a certain centrality relation is satisfied, then there exists an order isomorphism of the ring into a division algebra that is algebraic over a subfield of the real field. Also, Harrison’s result and a related theorem of D. W. Dubois are extended to rings without identity; in so doing, it is shown that order isomorphic subrings of the real field are identical.
- D. W. Dubois, A note on David Harrison’s theory of preprimes, Pacific J. Math. 21 (1967), 15–19. MR 209200 —, Second note on David Harrison’s theory of preprimes, Pacific J. Math. 24 (1967), 57-68. MR 36 #5049.
- D. K. Harrison, Finite and infinite primes for rings and fields, Mem. Amer. Math. Soc. 68 (1966), 62. MR 207735
- Nathan Jacobson, Structure of rings, American Mathematical Society Colloquium Publications, Vol. 37, American Mathematical Society, 190 Hope Street, Providence, R.I., 1956. MR 0081264
- Carl W. Kohls, Representation of abelian groups and rings by families of real-valued functions, Proc. Amer. Math. Soc. 25 (1970), 86–92. MR 256964, DOI 10.1090/S0002-9939-1970-0256964-3
- J.-L. Krivine, Anneaux préordonnés, J. Analyse Math. 12 (1964), 307–326 (French). MR 175937, DOI 10.1007/BF02807438
- Oystein Ore, Linear equations in non-commutative fields, Ann. of Math. (2) 32 (1931), no. 3, 463–477. MR 1503010, DOI 10.2307/1968245
- R. S. Palais, The classification of real division algebras, Amer. Math. Monthly 75 (1968), 366–368. MR 228539, DOI 10.2307/2313414
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 158 (1971), 293-300
- MSC: Primary 16.80; Secondary 06.00
- DOI: https://doi.org/10.1090/S0002-9947-1971-0283026-7
- MathSciNet review: 0283026