Lattice-ordered reduced special groups

DOI10.1016/J.APAL.2004.06.005MaRDI QIDQ703835zbMATH OpenOpenAlexFDO

Authors Max A. Dickmann, Murray Marshall, Francisco Miraglia

Publication date 11 January 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2004.06.005

zbMATH Keywords

Boolean spacelattice-ordered grouplocal-global principlequadratic formspecial group

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered groups (06F15) Algebraic theory of quadratic forms; Witt groups and rings (11E81)

Review text

The notion of a special group (SG) was introduced by \textit{M. A. Dickmann} and \textit{F. Miraglia} in Mem. Am. Math. Soc. 689 (2000; Zbl 1052.11027), as an abstract, first-order axiomatization of the theory of quadratic forms. The primary motivation of the paper under review is a very general and highly abstract ``local-global principle (Open Problem 1) for reduced special groups (RSG) and positive-existential sentences in the specific language for SGs. As this question seems to be far too general to admit a positive answer, the authors consider that even partial answers may be of interest, taking into account that many significant properties of RSGs are known to be expressed by positive-existential sentences and, in many cases, are known to hold for finite RSGs. The authors show that the property of a RSG to be a lattice is preserved under some standard constructions on RSGs. On the other hand, the authors prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, e.g. \(\mathbb Q\), unless their stability index is \(1\), in which case the lattice is even a Boolean algebra. An affirmative answer to Open Problem 1 is obtained in the case of the RSG associated to \(\mathbb{Q}(X)\). The last part of the paper is devoted to the investigation of the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations.

Recommendations

• Special groups: Boolean-theoretic methods in the theory of quadratic forms
• Realizing profinite reduced special groups
• Representation of reduced special groups in algebras of continuous functions
• The Boolean and profinite hulls of reduced special groups
• Quelques propriétés-modèle théoriques des groupes spéciaux réduits
• Some model-theoretic results in the algebraic theory of quadratic forms
• Generic splitting for special groups
• The profinite hull of special groups and local-global principles
• Algebraic \(K\)-theory of special groups
• Elementary properties of the Boolean hull and reduced quotient functors

Cites work

• Bounds for the representation of quadratic forms.
• Characterization of fans and hereditarily pythagorean fields
• Direct limits of finite spaces of orderings
• Elementary properties of the Boolean hull and reduced quotient functors
• scientific article; zbMATH DE number 1601019 (Why is no real title available?)
• scientific article; zbMATH DE number 3815780 (Why is no real title available?)
• scientific article; zbMATH DE number 3935120 (Why is no real title available?)
• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 914533 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3409447 (Why is no real title available?)
• Open questions in the theory of spaces of orderings
• Quadratic form schemes and quaternionic schemes
• Quadratic forms over fields with finitely many orderings
• Spaces of orderings and abstract real spectra
• Spaces of Orderings IV
• Spaces of orderings: Systems of quadratic forms, local structure, and saturation
• Special groups: Boolean-theoretic methods in the theory of quadratic forms

Cited in

(11)

• On profinite spaces of orderings
• Realizing profinite reduced special groups
• The pp conjecture for the space of orderings of the field \(\mathbb R(x,y)\)
• Local-global properties of positive primitive formulas in the theory of spaces of orderings
• THE pp CONJECTURE FOR SPACES OF ORDERINGS OF RATIONAL CONICS
• 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
• The profinite hull of special groups and local-global principles
• On elementary equivalence of real semigroups of preordered rings

This page was built for publication: Lattice-ordered reduced special groups

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