Skip to main content
SpringerLink
Log in

Compact domination for groups definable in linear o-minimal structures

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We prove the Compact Domination Conjecture for groups definable in linear o-minimal structures. Namely, we show that every definably compact group G definable in a saturated linear o-minimal expansion of an ordered group is compactly dominated by (G/G 00, m, π), where m is the Haar measure on G/G 00 and π : G → G/G 00 is the canonical group homomorphism.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Berarducci A., Otero M.: Intersection theory for o-minimal manifolds. Ann. Pure Appl. Log. 107, 87–119 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  2. Berarducci A., Otero M.: An additive measure in o-minimal expansions of fields. Q. J. Math. 55, 411–419 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. Berarducci A., Otero M., Peterzil Y., Pillay A.: A descending chain condition for groups definable in o-minimal structures. Ann. Pure Appl. Log. 134, 303–313 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  4. Eleftheriou, P.: Groups definable in linear o-minimal structures: the non-compact case. J. Symb. Log. (2009, in press)

  5. Eleftheriou P., Starchenko S.: Groups definable in ordered vector spaces over ordered division rings. J. Symb. Log. 72, 1108–1140 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  6. Hrushovski E., Peterzil Y., Pillay A.: Groups, measures, and the NIP. J. Am. Math. Soc. 21, 563–596 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hrushovski, E., Pillay, A.: On NIP and invariant measures. Preprint (2007)

  8. Jacobson N.: Lectures in Abstract Algebra, Volume II—Linear Algebra. D. van Nostrand Company, Princeton (1953)

    Google Scholar 

  9. Lang S.: Algebra, 3rd edn. Springer, New York (2002)

    MATH  Google Scholar 

  10. Lascar D., Pillay A.: Hyperimaginaries and automorphism groups. J. Symb. Log. 66, 127–143 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  11. Loveys J., Peterzil Y.: Linear o-minimal structures. Israel J. Math. 81, 1–30 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  12. Onshuus, A.: Groups definable in \({\langle \mathbb{Q}, +, < \rangle}\), Preprint (2005)

  13. Peterzil, Y.: Returning to semi-bounded sets. J. Symb. Log. (2009, in press)

  14. Peterzil Y., Pillay A.: Generic sets in definably compact groups. Fundam. Math. 193(2), 153–170 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  15. Peterzil Y., Starchenko S.: Definable homomorphisms of abelian groups in o-minimal structures. Ann. Pure Appl. Log. 101, 1–27 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  16. Peterzil Y., Steinhorn C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. 69(2), 769–786 (1999)

    Article  MathSciNet  Google Scholar 

  17. Pillay A.: On groups and fields definable in o-minimal structures. J. Pure Appl. Algebra 53, 239–255 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  18. Pillay A.: Type definability, compact Lie groups, and o-minimality. J. Math. Log. 4, 147–162 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  19. van den Dries L.: Tame Topology and O-Minimal Structures. Cambridge University Press, Cambridge (1998)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CMAF, Universidade de Lisboa, Av. Prof. Gama Pinto 2, 1649-003, Lisbon, Portugal

    Pantelis E. Eleftheriou

Authors
  1. Pantelis E. Eleftheriou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pantelis E. Eleftheriou.

Additional information

This research was supported by the FCT (Fundação para a Ciência e a Tecnologia) grant SFRH/BPD/35000/2007.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Eleftheriou, P.E. Compact domination for groups definable in linear o-minimal structures. Arch. Math. Logic 48, 607–623 (2009). https://doi.org/10.1007/s00153-009-0139-1

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-009-0139-1

Keywords

Mathematics Subject Classification (2000)

Search

Navigation