Definable quotients of locally definable groups

Abstract We study locally definable abelian groups %${\mathcal{U}}%$ in various settings and examine conditions under which the quotient of %${\mathcal{U}}%$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable subgroup %${\mathcal{U}^{00}}%$...
Ausführliche Beschreibung

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