Hostname: page-component-7b7567c8c-fvjsw Total loading time: 0 Render date: 2026-11-14T15:48:09.134Z Has data issue: false hasContentIssue false
  • English
  • Français

Groups definable in ordered vector spaces over ordered division rings

Published online by Cambridge University Press:  12 March 2014

Pantelis E. Eleftheriou and
Sergei Starchenko
Pantelis E. Eleftheriou
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, In 46556., USA. E-mail: pelefthe@nd.edu
Sergei Starchenko
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, In 46556., USA. E-mail: starchenko.l@nd.edu
Get accessRights & Permissions [Opens in a new window]

Abstract

Let M = 〈M, +, <, 0, {λ}λЄD〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a ‘definable quotient group’ U/L, for some convex V-definable subgroup U of 〈Mn, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L.

Keywords

O-minimal structuresdefinably compact groupsquotient by lattice

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 72 , Issue 4 , December 2007, pp. 1108 - 1140
Copyright
Copyright © Association for Symbolic Logic 2007

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.)

Article purchase

Temporarily unavailable

References

REFERENCES

[1]Berarducci, A. and Otero, M., Intersection theory for o-minimal manifolds, Annals of Pure and Applied Logic, vol. 107 (2001), pp. 87–119.CrossRefGoogle Scholar
[2]Berarducci, A. and Otero, M., O-minimal fundamental group, homology and manifolds, Journal of the London Mathematical Society, vol. 65 (2002), no. 2, pp. 257–270.CrossRefGoogle Scholar
[3]Berarducci, A., Otero, M., Peterzil, Y., and Pillay, A., A descending chain condition for groups definable in o-minimal structures, Annals of Pure and Applied Logic, vol. 134 (2005), pp. 303–313.CrossRefGoogle Scholar
[4]Bröcker, T. and Dieck, T. Tom, Representations of compact Lie groups, Springer-Verlag, New York, 1985.CrossRefGoogle Scholar
[5]van den Dries, L., Tame topology and o-minimal structures, Cambridge University Press, Cambridge, 1998.CrossRefGoogle Scholar
[6]Edmundo, M., Solvable groups definable in o-minimal structures, Journal of Pure and Applied Algebra, vol. 185 (2003), pp. 103–145.CrossRefGoogle Scholar
[7]Edmundo, M., Covers of groups definable in o-minimal structures, Illinois Journal of Mathematics, vol. 49 (2005), pp. 99–120.CrossRefGoogle Scholar
[8]Edmundo, M., Locally definable groups in o-minimal structures, Journal of Algebra, vol. 301 (2006), pp. 194–223.CrossRefGoogle Scholar
[9]Edmundo, M. and Eleftheriou, P., The universal covering homomorphism in o-minimal expansions of groups, preprint, 10 2006.Google Scholar
[10]Edmundo, M. and Otero, M., Definably compact abelian groups, Journal of Mathematical Logic, vol. 4 (2004), pp. 163–180.CrossRefGoogle Scholar
[11]Hatcher, A., Agebraic topology, Cambridge University Press, Cambridge, 2002.Google Scholar
[12]Hrushovski, E., Peterzil, Y., and Pillay, A., Groups, measures, and the NIP, Journal of the American Mathematical Society, to appear.Google Scholar
[13]Hudson, J. F. P., Piecewise linear topology, W. A. Benjamin, Inc., New York, 1969.Google Scholar
[14]Lang, S., Algebra, third ed., Springer-Verlag, New York, 2002.CrossRefGoogle Scholar
[15]Loveys, J. and Peterzil, Y., Linear o-minimal structures, Israel Journal of Mathematics, vol. 81 (1993), pp. 1–30.CrossRefGoogle Scholar
[16]Onshuus, A., Groups definable in 〈ℚ, +, <〉, preprint, 2005.Google Scholar
[17]Peterzil, Y. and Pillay, A., Generic sets in definably compact groups, Manuscripta Mathematicae, (to appear).Google Scholar
[18]Peterzil, Y. and Starchenko, S., Definable homomorphisms of abelian groups in o-minimal structures, Annals of Pure and Applied Logic, vol. 101 (2000), pp. 1–27.CrossRefGoogle Scholar
[19]Peterzil, Y. and Steinhorn, C., Definable compactness and definable subgroups of o-minimal groups, Journal of the London Mathematical Society. Second Series, vol. 69 (1999), pp. 769–786.CrossRefGoogle Scholar
[20]Pillay, A., On groups and fields definable in o-minimal structures, Journal of Pure and Applied Algebra, vol. 53 (1988), pp. 239–255.CrossRefGoogle Scholar
[21]Pillay, A., Type definability, compact Lie groups, and o-minimality, Journal of Mathematical Logic, vol. 4 (2004), pp. 147–162.CrossRefGoogle Scholar
[22]Pontrjagin, L., Topological groups, Princeton University Press, Princeton, 1939.Google Scholar
[23]Strzebonski, A., Euler charateristic in semialgebraic and other o-minimal groups, Journal of Pure and Applied Algebra, vol. 96 (1994), pp. 173–201.CrossRefGoogle Scholar