JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org. . The Johns Hopkins University Press is collaborating with JSTOR to digitize, preserve and extend access to American Journal of Mathematics. Contents. 0. Introduction. 1. Terminology. 2. General results. 3. Separation of orderings by quadratic forms. 4. Separation of quadratic forms by orderings. 5. Pythagorean fields. 0. Introduction. The main object of this paper is to investigate and expand the theory of quadratic forms over formally real fields. Various results on Pfister forms, Witt rings, algebraic k-groups, and Stiefel-Whitney classes are obtained. The notion of separation of sets of orderings by square classes, as well as the dual notion of separation of sets of square classes by orderings, are investigated in detail. Numerous examples are given to illustrate the general theory.In the first section, we establish the basic notations and terminology to be used throughout the paper. Following [5], we set up a topological structure on the set of all orderings of a (formally real) field, and we introduce the Strong and Weak Approximation Properties (SAP and WAP) which will be studied in detail in Sections 3, 4, and 5.The first part of Section 2 consists of preparatory results, put together there for organizational purposes. Most important is the result Theorem 2. 1 which gives several criteria for one Pfister form to be a multiple of anther. This theorem will be used freely and repeatedly throughout the paper. Next we establish a structure theorem for the torsion subgroup of I2F (I (F) (lenotes the ideal of all even dimensional forms in the Wit.t ring W(F)), and derive some sufficient conditions for a power of I(F) to be torsion-free.
1156RICHARD ELMAN AND T. Y. LAM. w characterize quadratic forms iff 3F is torsion-free. We then present somei partial calculations of ker(w), and investigate the problem of existence of quadratic forms with prescribed Stiefel-Whitney classes.Section 3 investigates the problem of separating orderings by quadratic forms. We show that given two disjoint closed sets of orderings A, B, there exists a form f C InF for some n, such that f has signature 0 in any real closure Fa (a EA) of F, while f has signature 2n in any real closur-e Ffl (,8 C B) of F. Using this 'normality property' together with a compactness argument, we obtain several alternative characterizations of WAP (Theorem 3. 3). We then show that WAP is actually equivalent to SAP (Theorem 3.5). We also relate these concepts to 'stable linkage' and show all three are equivalent. Next we define the concept of i-stability (I!+1F -21iF) for the Witt ring, and obtain some preliminary results about such Witt rings.Section 4 is parallel to Section 3, with orderings and square classes playing revers...
