埃胡德·赫鲁肖夫斯基;阿南德·皮莱 弱正常组。 （英语） Zbl 0636.03028号 逻辑讨论会'85，Proc。Colloq.，Orsay/France 1985，《发现逻辑研究》。数学。122, 233-244 (1987). [关于整个系列，请参见Zbl 0611.00002号.]如果给定可定义集X的每一个成对不同共轭的无限集都有空交集，则一个理论T被称为弱正规（或基于1）；群G是弱正规的，如果它的理论是。作者证明了群G是强正规的当且仅当对于每个n，每个可定义的（Xsubsteq Gn）是群G的可定义（acl（（emptyset））子群的陪集的布尔组合。此外，这样的群是可交换的-b-finite。关键引理断言，如果G是弱正规且（|T\）\（+|\）-饱和的，那么G上的每个类型都可以转化为G的可定义子群的泛型。这一结果是关于一般的基于1的理论的一个有用事实，至少在超稳定的上下文中是这样，因为根据Hrushovski最近的结果，如果q是这种理论T的非平凡正则类型，那么T解释群G，使得q是与G的子群的一般类型等价的支配。审核人：Ch.Berline公司 引用于1审查引用于31文件 理学硕士： 03C45号机组 分类理论、稳定性和模型理论中的相关概念 03C60型 模型理论代数 关键词：弱正规理论;弱正规群;基于1的组;稳定群;基于1的理论 引文：兹比尔0611.00002 PDF格式BibTeX公司 XML格式