[論文レビュー] 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のラティス高さの概念と整合させる。
• モデル理論的技法を用いて、有限中心化子次元をもつ群のクラスが普遍的公理化可能であることを証明する。
• 自由積、直積、中心を共有する自由積によるアンビグラム化の下での中心化子次元の振る舞いを分析する。
• 中心が非自明なノルム群の具体例を構成し、中心で割った商群において中心化子次元が増加しうることを示す。
• ねじれのない冪零群における根の抽出と隔離子の性質を用いて、非中心元の中心化子を分析する。

実験結果

リサーチクエスチョン

• 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 のねじれのない冪零群では、非中心元の中心化子は形式 ⟨t^r a, e_c⟩ として表され、中心化子ラティスの高さは2である。
• 長さcの中心系列をもつ群Gに対して、中心化子ラティスの高さは2であり、群の行列表現における係数比較により中心化子の構造が完全に記述される。
• 群Gの中心化子ラティスは、ある条件下でG/Z(G)の部分群のラティスに同型であり、この関係は中心で割った商群において中心化子次元が増加する原因となることがある。