Let M be an o-minimal expansion of a real closed field. Let G be a definably compact definably connected abelian n-dimensional group definable in M. We show the following: the o-minimal fundamental group of G is isomorphic to ℤn; for each k>0, the k-torsion subgroup of G is isomorphic to n, and the o-minimal cohomology algebra over ℚ of G is isomorphic to the exterior algebra over ℚ with n generators of degree one.

We study type-definable subgroups of small index in definable groups, and the structure on the quotient, in first order structures. We raise some conjectures in the case where the ambient structure is o-minimal. The gist is that in this o-minimal case, any definable group G should have a smallest type-definable subgroup of bounded index, and that the quotient, when equipped with the logic topology, should be a compact Lie group of the "right" dimension. I give positive answers to the conjectures (...) in the special cases when G is 1-dimensional, and when G is definably simple. (shrink)

We develop an intersection theory for definable Cp-manifolds in an o-minimal expansion of a real closed field and we prove the invariance of the intersection numbers under definable Cp-homotopies . In particular we define the intersection number of two definable submanifolds of complementary dimensions, the Brouwer degree and the winding numbers. We illustrate the theory by deriving in the o-minimal context the Brouwer fixed point theorem, the Jordan-Brouwer separation theorem and the invariance of the Lefschetz numbers under definable Cp-homotopies. A. (...) Pillay has shown that any definable group admits an abstract manifold structure. We apply the intersection theory to definable groups after proving an embedding theorem for abstract definably compact Cp-manifolds. In particular using the Lefschetz fixed point theorem we show that the Lefschetz number of the identity map on a definably compact group, which in the classical case coincides with the Euler characteristic, is zero. (shrink)

Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from $\varphi^M$ to $\varphi^R$ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo-based on the work of A. Strzebonski-showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered field.