G-linear sets and torsion points in definably compact groups

DOI10.1007/S00153-009-0128-4MaRDI QIDQ2391091zbMATH OpenOpenAlexFDO

Authors Margarita Otero, Ya'acov Peterzil

Publication date 24 July 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0708.0532

zbMATH Keywords

definable groupso-minimalitytorsion points

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Applications of logic to group theory (20A15)

Abstract: Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G X) < dim G for some definable X subset of G then X contains a torsion point of G. Along the way we develop a general theory for so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.

Review text

This paper studies the distribution of torsion points in definably compact groups in o-minimal expansions of fields. The main theorem states that if \(G\) is such a group, and \(X\) is a definable subset of \(G\) which is large in \(G\) (i.e., \(\dim G\setminus X < \dim G\)) then \(X\) contains a torsion point of \(G\). To prove this result, the authors first develop the theory of cosets of definable local subgroups (such sets are called \(G\)-linear). These \(G\)-linear sets are used to study definable sets containing abstract subgroups of \(G\) (that is, subgroups of \(G\) which are not necessarily definable). The abelian case of the main result is then proved by combining the earlier parts with some algebraic topology. Finally, the general case is proved from the abelian case using earlier results on semisimple groups. Since a preprint of this paper appeared, Hrushovski and Pillay have proved the compact domination conjecture for abelian groups, using some of the results of the paper under review. Hrushovski, Peterzil and Pillay have now extended this to all definably compact definable groups, and it follows that in the main theorem above, it suffices to assume that the set \(X\) is generic in \(G\).

Recommendations

• Compact domination for groups definable in linear o-minimal structures
• A remark on divisibility of definable groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Definable groups as homomorphic images of semi-linear and field-definable groups
• DEFINABLY COMPACT ABELIAN GROUPS

Cites work

• A remark on divisibility of definable groups
• A survey on groups definable in o-minimal structures
• Definable homomorphisms of abelian groups in o-minimal structures
• DEFINABLY COMPACT ABELIAN GROUPS
• Definably simple groups in o-minimal structures
• Groups, measures, and the NIP
• Linear groups definable in o-minimal structures
• On NIP and invariant measures
• ON O-MINIMAL HOMOTOPY GROUPS
• Simple algebraic and semialgebraic groups over real closed fields
• Transfer methods for o-minimal topology
• Zero-groups and maximal tori

Cited in

(6)

• Definable groups as homomorphic images of semi-linear and field-definable groups
• Strongly minimal groups in o-minimal structures
• Generic sets in definably compact groups
• Higher homotopy of groups definable in o-minimal structures
• Invariance results for definable extensions of groups
• Locally definable homotopy

This page was built for publication: \(G\)-linear sets and torsion points in definably compact groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391091)