Abstract
1. In an Abelian group, a module, or more generally a one-based group H, the only definable groups are the obvious ones: if G is interpretable in H, then it has a definable subgroup of finite index which is definably isomorphic to a quotient A/B, where A and B are definable subgroups of a Cartesian power of H. 2. In such a group the introduction of those quotient groups weakly eliminates imaginary elements. More generally, for a stable theory the existence of canonical real bases for complete types implies the elimination of imaginary elements. 3. A group which is interpretable in a one-based structure is one-based. The property of being one-based is preserved by interpretation for theories of finite rank but not in general.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
