×

超简单范畴群和理论。 (英语) Zbl 0965.03050号

主要结果是,任何(ω)范畴超单群都是有限的-可交换-有限的,并且具有有限的SU-库。一个关键的成分是证明(使用群论中的Schlichting/Bergman-Lenstra结果),如果(G)是有限SU-rank的(ω)-范畴有限-by-abelian-by-finite群,那么(G)的任何可定义子群都可以与\(emptyset)的代数闭包上的一个可定义子组可公度。这用于证明有限SU-rank的任何(ω)-范畴群都是有限的-可交换-有限的,并且任何(Ω)-范畴超单群都有有限的SU-rank。该证明还利用了一个事实,即任何不具有严格序性质的(ω)范畴群都是幂零-有限群。本文还证明了如果(T)是任意(ω)-范畴简单理论,并且(p)是定义在(emptyset)上的CM-平凡正则型,则(p)与SU-rank 1的一类非正交。因此,任何(ω)范畴超单CM-平凡理论都有有限SU-库。

理学硕士:

03C60型 模型理论代数
03C35号 理论的分类和完整性
03C45号机组 分类理论、稳定性和模型理论中的相关概念
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 内政部:10.1016/0168-0072(85)90023-5·Zbl 0566.03022号 ·doi:10.1016/0168-0072(85)90023-5
[2] 内政部:10.1016/0021-8693(89)90275-5·Zbl 0641.20023号 ·doi:10.1016/0021-8693(89)90275-5
[3] DOI:10.1016/0021-8693(79)90230-8·Zbl 0401.03012号 ·doi:10.1016/0021-8693(79)90230-8
[4] DOI:10.1007/BF01224936·Zbl 0449.20004号 ·doi:10.1007/BF01224936
[5] 内政部:10.1016/0168-0072(93)90171-9·Zbl 0804.03020号 ·doi:10.1016/0168-0072(93)90171-9
[6] 内政部:10.2307/421004·Zbl 0897.03034号 ·doi:10.2307/421004
[7] 分叉几何与有限Morley秩60的群pp 1251–(1995)·Zbl 0845.03016号
[8] 关于简单理论中Lascar强类型的注记63 pp 926–(1998)
[9] 内政部:10.1093/qmath/39.4.483·Zbl 0667.03027号 ·doi:10.1093/qmath/39.4.483
[10] Groupes马厩(1988)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。