[论文解读] Groups in simple theories

Frank Olaf Wagner|ArXiv.org|Apr 25, 1997

Advanced Topology and Set Theory参考文献 5被引用 16

一句话总结

本文建立了在简单一阶理论中定义的群的基础结构性质，表明此类群在共轭意义下满足链条件，并且一基简单群为有限-阿贝尔-有限型。该研究将稳定群理论中的核心结果推广至简单情形，证明在满足小性条件时内部商群存在，且在超简单情形下Berline-Lascar分解成立。

ABSTRACT

Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal quotient. In the supersimple case, the Berline-Lascar decomposition works. One-based simple groups are finite-by-abelian-by-finite.

研究动机与目标

• 本文旨在将稳定群理论中的核心结构性结果推广至简单理论中的群。
• 研究简单理论中链条件（icc、ucc）的行为，表明其在共轭意义下成立。
• 确立内部商群存在的条件，特别是当某类通用类型不相对于某类型q为外在时。
• 证明在超简单情形下Berline-Lascar分解成立。
• 对一基简单群进行分类，表明其为有限-阿贝尔-有限型。

提出的方法

• 使用局部秩 D(⋅, ϕ, k) 以及Pillay与Kim-Pillay关于通用类型和稳定子的理论。
• 应用紧致性与Erdös-Rado定理，以有界类型定义子群的指标。
• 利用典型基与分叉独立性分析一基群中的可定义子群。
• 使用共轭与Schlichting定理，构造与子群族一致共轭的不变子群。
• 应用Lascar不等式于群，以分析中心化子与共轭类的U-秩。
• 利用在一基结构中典型基位于代数闭包内的事实，从而控制可定义子群。

实验结果

研究问题

• RQ1 在简单理论中定义的群里，何种条件下通用类型会导出内部商群？
• RQ2 Berline-Lascar分解是否对超简单理论中的群成立？
• RQ3 一基性与简单性对群施加了何种结构性限制？
• RQ4 在简单理论中，能否在共轭意义下恢复一致可定义子群交集的链条件？
• RQ5 在简单理论中，可定义单群是否必然是单群？

主要发现

• 在简单理论中，任意一个类型定义子群的递减链，若其在前驱中指标无界，则其长度小于 |T|+。
• 若一族一致可定义子群的交集指标有统一有界，则该群与该族一致共轭。
• 在小的情形下，若某通用类型不相对于某类型q为外在，则存在一个q-内部商群。
• 在超简单情形下，群的Berline-Lascar分解为可除部分与挠部分成立。
• 简单理论中的一基群为有限-阿贝尔-有限型，其导出子群有限，且在某个有限指数子群中为中心。
• 在简单理论中，若一可定义单群具有有限U-秩，且无非平凡类型定义正规子群，则其为单群。