[论文解读] Groups with large Noether bound

Kálmán Cziszter, M. Domokos|arXiv (Cornell University)|May 3, 2011

Finite Group Theory Research参考文献 21被引用 3

一句话总结

本文分类了满足 Noether 数至少为其阶的一半的有限群，表明除了四个孤立例外外，此类群恰好是那些具有阶至多为二的循环子群的群。作者使用广义 Noether 数与子群/子商约化技术，证明仅当这些群或例外情况（Z₃×Z₃、Z₂×Z₂×Z₂、A₄ 和二元四面体群 ŠA₄）时，不等式 β(G)/|G| ≥ 1/2 成立。

ABSTRACT

The finite groups having an indecomposable polynomial invariant whose degree is at least half of the order of the group are classified. Apart from four sporadic exceptions these are exactly the groups having a cyclic subgroup of index at most two.

研究动机与目标

• 分类所有满足 Noether 数 β(G) ≥ ½|G| 的有限群 G。
• 确定实现较大 Noether 界的群的精确结构，特别是那些满足 β(G)/|G| 接近 1/2 的群。
• 解决 Noether 界中 1/2 临界点的理论地位，证明该界是精确的，且仅有有限多个非循环群在此点之上超过该值。
• 将对 Noether 数的理解扩展至已知结果之外，特别是针对具有阶为 2 的循环子群的非循环群。
• 提供具有大 Noether 界的群的完整分类，包括特定小群的确切值和界。

提出的方法

• 为 G 中指数为 k 的子群 H 引入广义 Noether 数 β_k(H)，以通过子群和商群数据估计 β(G)。
• 使用约化引理（引理 1.2、引理 1.4）将 β(G) 与 β(H) 和 β(G/N) 关联，其中 H 为子群，N 为正规子商群。
• 应用已知结果对特定群的 β(G) 上界进行估计：Z_p×Z_p、A₄、ŠA₄，以及二面体群或半直积群，利用先前研究的成果。
• 利用 H 为子群时有 β(G) ≥ β(H)，且 K 为子商群时有 β(G)/|G| ≤ β(K)/|K| 的事实，以排除候选群。
• 利用极小单群的分类（来自 [40]）排除某些子商群，否则这些子商群将允许 β(G)/|G| ≥ 1/2。
• 结合命题 1.13、1.14、3.1、3.4 以及推论 1.8、2.9、3.2、3.7 的估计，对每种情况下的 β(G)/|G| 进行界定。

实验结果

研究问题

• RQ1 哪些有限群 G 满足 β(G) ≥ ½|G|，其中 β(G) 为 Noether 数？
• RQ2 是否存在仅有有限多个非循环群满足 β(G)/|G| > 1/2？其结构为何？
• RQ3 对于群 Z₃×Z₃、Z₂×Z₂×Z₂、A₄ 和 ŠA₄，Noether 数的精确值或紧致界为何？
• RQ4 广义 Noether 数 β_k(H) 如何帮助从子群和商群数据估计 β(G)？
• RQ5 Noether 界中的 1/2 临界点能否从代数和群论角度进行刻画？该界是否精确？

主要发现

• 满足 β(G) ≥ ½|G| 的唯一有限群 G 是那些具有阶至多为二的循环子群的群，或四个例外群：Z₃×Z₃、Z₂×Z₂×Z₂、A₄ 和二元四面体群 ŠA₄。
• 对于所有具有阶为 2 的循环子群的非循环群，有 β(G) − ½|G| ∈ {1, 2}，表明该界是精确的。
• 对于其他所有群，有 β(G)/|G| < 1/2，且在区间 (1/2, 1) 内该比值无极限点，意味着仅有有限多个群的比值超过任意 c > 1/2。
• 对于 G = Z₂×Z₂×Z₂，有 β(G)/|G| ≤ 7/16 < 1/2，类似地，对于其他子商群如 D₂p×D₂q 或 (Z₂×Z₂)⋊Z₉ 也成立。
• 群 A₄ 满足 β(A₄) = 4，因此 β(A₄)/|A₄| = 1/3；对于 ŠA₄，有 β(ŠA₄) ≤ 12，因此 β(ŠA₄)/|ŠA₄| ≤ 1/2。
• 对于具有子群 H ≅ Z₂×Z₂×Z₂ 且指数为 k 的群 G，有不等式 β(G)/|G| ≤ 1/4 + 3/(8k) 成立，且等式仅在 k = 1 时可能成立。