中文

局部可定义群的可定义商群

逻辑 2012-02-28 v4

摘要

我们研究了不同设定下的局部可定义阿贝尔群\CU\CU,并考察了\CU\CU关于一个离散子群的商群何时可能是可定义的条件。这被证明与类型可定义子群\CU00\CU^{00}的存在性以及\CU\CU的可除性有关。

关键词

引用

@article{arxiv.1103.4770,
  title  = {Definable quotients of locally definable groups},
  author = {Pantelis Eleftheriou and Ya'acov Peterzil},
  journal= {arXiv preprint arXiv:1103.4770},
  year   = {2012}
}