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

torsion pointso-minimalitydefinable groups

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.

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
• DEFINABLY COMPACT ABELIAN GROUPS
• Definable homomorphisms of abelian groups in o-minimal structures
• Definably simple groups in o-minimal structures
• Groups, measures, and the NIP
• Linear groups definable in o-minimal structures
• ON O-MINIMAL HOMOTOPY GROUPS
• On NIP and invariant measures
• Simple algebraic and semialgebraic groups over real closed fields
• Transfer methods for o-minimal topology
• Zero-groups and maximal tori

Cited in

(6)

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

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)