Realizing profinite reduced special groups

DOI10.2140/PJM.2011.250.257MaRDI QIDQ2431635zbMATH OpenOpenAlexFDO

Authors Vincent Astier, Hugo L. Mariano

Publication date 18 April 2011

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.2011.250.257

zbMATH Keywords

profinite special groupprojective limitPythagorean fieldquadratic formreduced special groupspecial group

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Forms over real fields (11E10) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Review text

The theory of special groups is a first-order axiomatization of the algebraic theory of quadratic forms developed by \textit{M. A. Dickmann} and \textit{F. Miraglia} [``Special groups. Boolean-theoretic methods in the theory of quadratic forms, Mem. Am. Math. Soc. 689 (2000; Zbl 1052.11027)], with the category of special groups being equivalent to the category of abstract Witt rings. The restriction to reduced special groups yields an equivalence with the category of abstract reduced Witt rings, which in turn is equivalent to the category of abstract spaces of orderings. The special group functor associates to each field \(F\) a special group \(G(F)\), and \(G(F)\) is reduced if and only if \(F\) is formally real and Pythagorean. It is still an open question whether or not every (reduced) special group can be realized as the special group of a (formally real and Pythagorean) field. \textit{M. Marshall} [Can. J. Math. 32, 603--627 (1980; Zbl 0433.10009)] proved that every finite reduced special group arises this way. \textit{M. Kula, M. A. Marshall} and \textit{A. Sładek} [Pac. J. Math. 112, 391--406 (1984; Zbl 0535.10020)] showed that every profinite reduced special group is isomorphic to a quotient of the reduced special group of some field. In the present paper, the authors improve on these results by giving a full answer to the above question for profinite reduced special groups. They show that in fact every profinite reduced special group can be realized as the special group of some (necessarily formally real and Pythagorean) field.

Recommendations

• The profinite hull of special groups and local-global principles
• Lattice-ordered reduced special groups
• Pfister's subform theorem for reduced special groups.
• Special groups: Boolean-theoretic methods in the theory of quadratic forms
• The Boolean and profinite hulls of reduced special groups

Cited in

(11)

• Pfister's subform theorem for reduced special groups.
• Algebraic \(K\)-theory of special groups
• Profinite properties of RAAGs and special groups
• Quelques propriétés-modèle théoriques des groupes spéciaux réduits
• The Boolean and profinite hulls of reduced special groups
• Quotients of index two and general quotients in a space of orderings
• Representation of reduced special groups in algebras of continuous functions
• Some model-theoretic results in the algebraic theory of quadratic forms
• The profinite hull of special groups and local-global principles
• Lattice-ordered reduced special groups
• Generic splitting for special groups

This page was built for publication: Realizing profinite reduced special groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431635)