Definable quotients of locally definable groups

DOI10.1007/S00029-012-0091-5zbMATH Open1273.03130arXiv1103.4770OpenAlexW2072386995MaRDI QIDQ1925771FDOQ1925771

Ya'acov Peterzil, Pantelis E. Eleftheriou

Publication date: 19 December 2012

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: We study locally definable abelian groups $CU$ in various settings and examine conditions under which the quotient of $CU$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable subgroup $C{U}^{00}$ and to the divisibility of $CU$.

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

zbMATH Keywords

o-minimalitydefinable quotientslocally definable abelian groupstype-definable groups

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Applications of logic to group theory (20A15)

Cites Work

• Problems and theorems in classical set theory
• Locally definable homotopy
• The structure of compact groups. A primer for the student -- a handbook for the expert
• Groups, measures, and the NIP
• Locally definable groups in o-minimal structures
• The universal covering homomorphism in o‐minimal expansions of groups
• A descending chain condition for groups definable in o-minimal structures
• Definable groups as homomorphic images of semi-linear and field-definable groups
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
• Groups definable in ordered vector spaces over ordered division rings
• Generic sets in definably compact groups
• A trichotomy theorem for o-minimal structures
• Forking and independence in o-minimal theories
• Minimal bounded index subgroup for dependent theories
• Returning to semi-bounded sets
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• On the homotopy type of definable groups in an o-minimal structure

Cited In (12)

• Groups definable in two orthogonal sorts
• Groups definable in local fields and pseudo-finite fields
• Non-standard lattices and o-minimal groups
• Definable groups as homomorphic images of semi-linear and field-definable groups
• Locally definable subgroups of semialgebraic groups
• Hyperdefinable groups in simple theories
• Extensions of definable local homomorphisms in o-minimal structures and semialgebraic groups
• Approximate subgroups
• Discrete subgroups of locally definable groups
• Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
• Coverings by open cells
• Definably compact groups definable in real closed fields

This page was built for publication: Definable quotients of locally definable groups

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