Groups definable in linear o-minimal structures

Doctoral Dissertation


Let M = be a linear o-minimal expansion of an ordered group, and G an n-dimensional group definable in M. We show that if G is 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 and a lattice L of rank equal to the dimension of the ‘compact part’ of G. This is suggested as a structure theorem analogous to the classical theorem that every connected abelian Lie group is Lie isomorphic to a direct sum of copies of the additive group of the reals and the circle topological group S^1. We then apply our analysis and prove Pillay’s Conjecture and the Compact Domination Conjecture for a saturated M as above. En route, we show that the o-minimal fundamental group of G is isomorphic to L. Finally, we state some restrictions on L.


Attribute NameValues
  • etd-07202007-144313

Author Pantelis E. Eleftheriou
Advisor Sergei Starchenko
Contributor Lou van den Dries, Committee Member
Contributor Sergei Starchenko, Committee Chair
Contributor Steven Buechler, Committee Member
Contributor Gregory Madey, Committee Member
Contributor Julia Knight, Committee Member
Degree Level Doctoral Dissertation
Degree Discipline Mathematics
Degree Name Doctor of Philosophy
Defense Date
  • 2007-06-29

Submission Date 2007-07-20
  • United States of America

  • groups

  • o-minimal structures

  • University of Notre Dame

  • English

Access Rights Open Access
Content License
  • All rights reserved

Departments and Units


Please Note: You may encounter a delay before a download begins. Large or infrequently accessed files can take several minutes to retrieve from our archival storage system.