亚循环群

亚循环群由两个循环层构成，是最简单的非阿贝尔扩张类之一。它们可由两个生成元和少量参数表示。 ^{[1, thm. 10.12-10.15]}

定义

亚循环不等于两个循环子群的直积，也不要求扩张分裂。

核心结论

商结论由循环像直接得到；子群取 \(H\cap N\) 为循环正规子群，\(H/(H\cap N)\) 嵌入循环 \(G/N\)。转移结论排除非亚循环的 \(C_p\wr C_p\) 商。

结构性质

• 有限亚循环群至多需要两个生成元。
• 循环群和二面体群是典型亚循环群。
• 亚循环 p-群可有任意大幂零类。
• 扩张是否分裂由参数和阶互素性决定。
• 子群与商闭包使它适合用禁止商定理。

亚循环性是一个扩张性质，比阿贝尔宽、比一般二生成可解群窄。选取循环正规子群的生成元 \(a\) 与商群生成元的提升 \(b\) 后，群通常可写成带有 \(b^{-1}ab=a^r\) 和幂关系的二生成表示；参数必须满足相容条件。这个表示既揭示其可解长度至多二，也说明“二生成”本身远不足以推出亚循环。

例子与边界

知识网络

分裂扩张描述典型构造，Yoshida 利用禁止 wreath 商，正则 p-群给出另一充分类。

• 正则 p-群
• Yoshida 转移定理
• 分裂扩张

证明与来源

子群与商闭包、非亚循环 wreath 商及 Huppert 转移结论见原书定理 10.12-10.15。 ^{[1, thm. 10.12-10.15]}