The Boolean space of orderings of a field

Transactions of the American Mathematical Society - Tập 209 Số 0 - Trang 225-235
Thomas C. Craven1
1(Cornell University

Tóm tắt

It has been pointed out by Knebusch, Rosenberg and Ware that the set X X of all orderings on a formally real field can be topologized to make a Boolean space (compact, Hausdorff and totally disconnected). They have called the sets of orderings W ( a ) = { >  in  X | a > 0 } W(a) = \{ > {\text { in }}X|a > 0\} the Harrison subbasis of X X . This subbasis is closed under symmetric difference and complementation. In this paper it is proved that, given any Boolean space X X , there exists a formally real field F F such that X X is homeomorphic to the space of orderings on F F . Also, an example is given of a Boolean space and a basis of clopen sets closed under symmetric difference and complementation which cannot be the Harrison subbasis of any formally real field.

Từ khóa


Tài liệu tham khảo

N. Bourbaki, Éléments de mathématique. XIV. Part. 1. Les structures fondamentales de l’analyse. Livre II: Algèbre. Chap. 6, 2nd ed., Actualités Sci. Indust., no. 1179, Hermann, Paris, 1964.

Craven, Thomas C., 1974, The topological space of orderings of a rational function field, Duke Math. J., 41, 339

Elman, Richard, 1972, Quadratic forms over formally real fields and pythagorean fields, Amer. J. Math., 94, 1155, 10.2307/2373568

Elman, Richard, 1973, On some Hasse principles over formally real fields, Math. Z., 134, 291, 10.1007/BF01214693

Engelking, R., 1968, Outline of general topology

Eršov, Ju. L., 1969, The number of linear orders on a field, Mat. Zametki, 6, 201

Hocking, John G., 1961, Topology

Knebusch, Manfred, 1973, Signatures on semilocal rings, J. Algebra, 26, 208, 10.1016/0021-8693(73)90021-5

Knebusch, Manfred, 1972, Structure of Witt rings and quotients of Abelian group rings, Amer. J. Math., 94, 119, 10.2307/2373597

Knebusch, Manfred, 1971, Structure of Witt rings, quotients of abelian group rings, and orderings of fields, Bull. Amer. Math. Soc., 77, 205, 10.1090/S0002-9904-1971-12683-6

Lam, T. Y., 1973, The algebraic theory of quadratic forms

Lorenz, F., 1970, Die Primideale des Wittschen Ringes, Invent. Math., 10, 82, 10.1007/BF01402972

Milnor, John, 1973, Symmetric bilinear forms, 10.1007/978-3-642-88330-9

Simmons, George F., 1963, Introduction to topology and modern analysis

Stone, M. H., 1937, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc., 41, 375, 10.2307/1989788