We investigate the group ℋ of definable homomorphisms between two definable abelian groups A and B, in an o-minimal structure script N. We prove the existence of a "large", definable subgroup of ℋ. If ℋ contains an infinite definable set of homomorphisms then some definable subgroup of B (equivalently, a definable quotient of A) admits a definable multiplication, making it into a field. As we show, all of this can be carried out not only in the underlying structure script N but also in any structure definable in script N.
|Number of pages||27|
|Journal||Annals of Pure and Applied Logic|
|State||Published - 15 Nov 1999|
Bibliographical noteFunding Information:
E-mail addresses: firstname.lastname@example.org (Y. Peterzil), email@example.com (S. Starchenko) 1The second author was partially supported by NSF.
- Definably compact groups
- o-minimal structures
ASJC Scopus subject areas