[论文解读] Centraliser Dimension and Universal Classes of Groups

Andrew J. Duncan, I. V. Kazatchkov+1 more|ArXiv.org|Feb 23, 2005

semigroups and automata theory参考文献 16被引用 12

一句话总结

本文引入了中心化子维数作为群中中心化子格高度的度量，证明了中心化子维数为2且中心平凡的群恰好是CT-群。本文证明了具有有限中心化子维数的群类是普遍可公理化的，并分析了中心化子维数在自由积、黏合等群运算下的行为，揭示了模去中心后中心化子维数可能增加。

ABSTRACT

In this paper we establish results that will be required for the study of the algebraic geometry of partially-commutative groups. We define classes of groups axiomatised by sentences determined by a graph. Among the classes which arise this way we find CSA and CT groups. We study the centraliser dimension of a group, with particular attention to the height of the lattice of centralisers, which we call the centraliser dimension of the group. The behaviour of centraliser dimension under several common group operations is described. Groups with centraliser dimension 2 are studied in detail. It is shown that CT-groups are precisely those with centraliser dimension 2 and trivial centre.

研究动机与目标

• 通过研究中心化子格及其维数，为部分交换群上的代数几何建立基础工具。
• 研究基于图的公理定义的群的逻辑性质，特别关注普遍类。
• 刻画具有有限中心化子维数的群，并确定其在群运算下的行为。
• 澄清中心化子维数、幂零性与群结构之间的精确关系，尤其在CT-群和CSA-群的背景下。
• 为研究自由部分交换群上的普遍等价性和方程提供一个框架。

提出的方法

• 基于有限图Γ定义一阶公式φ(Γ)，以公理化群类。
• 引入中心化子维数作为中心化子格的高度，与Schmidt的格高度概念一致。
• 通过模型论技术证明具有有限中心化子维数的群类是普遍可公理化的。
• 分析中心化子维数在自由积、直积以及模中心的自由黏合下的行为。
• 构造具有非平凡中心的幂零群的显式例子，以证明模去中心后中心化子维数可能增加。
• 在无 torsion 的幂零群中利用根提取和隔离子性质，分析非中心元素的中心化子。

实验结果

研究问题

• RQ1 哪些群类可以通过有限图导出的一阶句子公理化？这些类与CT和CSA等已知群类有何关系？
• RQ2 具有有限中心化子维数的群类是否是普遍可公理化的？该类的逻辑性质是什么？
• RQ3 中心化子维数在自由积、黏合等标准群运算下如何变化？
• RQ4 中心化子维数为2与CT-群类之间的确切关系是什么？尤其在存在或不存在非平凡中心的情况下？
• RQ5 在模去中心后，中心化子维数是否可能增加？

主要发现

• 中心化子维数为2且中心平凡的群恰好是CT-群，从而对该类群给出了结构刻画。
• 通过模型论构造证明了具有有限中心化子维数的群类是普遍可公理化的。
• 模去中心后中心化子维数可能增加；例如，当c ≥ 3时，H = G ∗Z(G) G 满足 cdim(H) = 4 而 cdim(G) = 2。
• 在类c ≥ 2的无 torsion 幂零群中，非中心元素的中心化子形式为⟨t^r a, e_c⟩，且中心化子格的高度为2。
• 对于具有长度为c的中心列的群G，其中心化子格的高度为2，且通过群的矩阵表示中的系数比较可完全描述中心化子的结构。
• 在某些条件下，群G的中心化子格同构于G/Z(G)的子群格，这可能导致模去中心后中心化子维数增加。