Article contents
Type-definable and invariant groups in o-minimal structures
Published online by Cambridge University Press: 12 March 2014
Abstract
Let M be a big o-minimal structure and G a type-definable group in Mn. We show that G is a type-definable subset of a definable manifold in Mn that induces on G a group topology. If M is an o-minimal expansion of a real closed field, then G with this group topology is even definably isomorphic to a type-definable group in some Mk with the topology induced by Mk. Part of this result holds for the wider class of so-called invariant groups: each invariant group G in Mn has a unique topology making it a topological group and inducing the same topology on a large invariant subset of the group as Mn.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2007
References
REFERENCES
- 6
- Cited by