Real Algebraic and Analytic Geometry

103. Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay:
A descending chain condition for groups definable in o-minimal structures.

e-mail: , , ,

Submission: 2004, May 3.

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 (necessarily normal) type-definable subgroup $G^{00}$ of bounded index and $G/G^{00}$ equipped with the ``logic topology" is a compact Lie group. These results give partial answers to some conjectures of the fourth author.

Full text, 15p.: dvi 52k, ps.gz 125k, pdf 190k.

Server Home Page