Definable quotients of locally definable groups
classification
🧮 math.LO
keywords
definablegroupslocallysubgroupabelianconditionsdiscretedivisibility
read the original 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 $\CU^{00}$ and to the divisibility of $\CU$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.