We prove that in an arbitrary o-minimal structure, every interpretable group is
definably isomorphic to a definable one. We also prove that every definable group
lives in a cartesian product of one-dimensional definable group-intervals (or
one-dimensional definable groups). We discuss the general open question of
elimination of imaginaries in an o-minimal structure.