A descending chain condition for groups definable in o -minimal structures

Annals of Pure and Applied Logic 134 (2):303-313 (2005)
  Copy   BIBTEX

Abstract

We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G has a smallest type-definable subgroup G00 of bounded index and G/G00 equipped with the “logic topology” is a compact Lie group. These results give partial answers to some conjectures of the fourth author

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A note on superstable groups.Jerry Gagelman - 2005 - Journal of Symbolic Logic 70 (2):661-663.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Non-standard lattices and o-minimal groups.Pantelis E. Eleftheriou - 2013 - Bulletin of Symbolic Logic 19 (1):56-76.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Returning to semi-bounded sets.Ya'acov Peterzil - 2009 - Journal of Symbolic Logic 74 (2):597-617.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Splitting definably compact groups in o-minimal structures.Marcello Mamino - 2011 - Journal of Symbolic Logic 76 (3):973 - 986.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.

Analytics

Added to PP
2013-10-30

Downloads
23 (#501,990)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.
One-basedness and groups of the form G/G 00.Davide Penazzi - 2011 - Archive for Mathematical Logic 50 (7-8):743-758.
Non-standard lattices and o-minimal groups.Pantelis E. Eleftheriou - 2013 - Bulletin of Symbolic Logic 19 (1):56-76.

View all 9 citations / Add more citations

References found in this work

Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
Type-definability, compact lie groups, and o-minimality.Anand Pillay - 2004 - Journal of Mathematical Logic 4 (02):147-162.
Definably compact Abelian groups.Mário J. Edmundo & Margarita Otero - 2004 - Journal of Mathematical Logic 4 (02):163-180.
One-dimensional groups over an o-minimal structure.Vladimir Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):269-277.
Intersection theory for o-minimal manifolds.Alessandro Berarducci & Margarita Otero - 2001 - Annals of Pure and Applied Logic 107 (1-3):87-119.

View all 7 references / Add more references