Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-05T04:04:23.322Z Has data issue: false hasContentIssue false

DEFINABLE COMPACTNESS AND DEFINABLE SUBGROUPS OF o-MINIMAL GROUPS

Published online by Cambridge University Press:  01 June 1999

YA'ACOV PETERZIL
Affiliation:
Department of Mathematics and Computer Sciences, University of Haifa, Haifa, Israel
CHARLES STEINHORN
Affiliation:
Department of Mathematics, Vassar College, Poughkeepsie, NY 12601, USA
Get access

Abstract

The paper introduces the notion of definable compactness and within the context of o-minimal structures proves several topological properties of definably compact spaces. In particular a definable set in an o-minimal structure is definably compact (with respect to the subspace topology) if and only if it is closed and bounded. Definable compactness is then applied to the study of groups and rings in o-minimal structures. The main result proved is that any infinite definable group in an o-minimal structure that is not definably compact contains a definable torsion-free subgroup of dimension 1. With this theorem, a complete characterization is given of all rings without zero divisors that are definable in o-minimal structures. The paper concludes with several examples illustrating some limitations on extending the theorem.

Type
Notes and Papers
Copyright
The London Mathematical Society 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)