[論文レビュー] Groups with large Noether bound

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

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

ひとこと要約

この論文は、Noether数が群の位数の半分以上である有限群を分類し、4つの例外を除けば、そのような群はすべて、指数が2以下の巡回部分群をもつ群にちょうど一致することを示している。著者らは一般化されたNoether数と部分群／準同型群への還元技術を用いて、β(G)/|G| ≥ 1/2 が成り立つのは、これらの群または例外ケース（Z₃×Z₃、Z₂×Z₂×Z₂、A₄、および二面体的四面体群 ŠA₄）に限ることを証明している。

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.

研究の動機と目的

• 有限群 G について Noether数 β(G) が群の位数 |G| の半分以上であるようなすべての群を分類すること。
• 特に β(G)/|G| が 1/2 に近い値をとるような、大きなNoether境界を達成する群の正確な構造を特定すること。
• Noether境界における 1/2 の閾値の理論的性質を解明し、それが鋭く、それ以上の非巡回群は有限個しか存在しないことを示すこと。
• 特に指数2の巡回部分群をもつ非巡回群について、既知の結果を超えてNoether数の理解を拡張すること。
• 正確な値や境界を含め、Noether境界が大きい群の完全な分類を提供すること。

提案手法

• 群 G の部分群 H に対して、H の指数が k であるときの一般化されたNoether数 β_k(H) を導入し、部分群および商群のデータから β(G) の推定が可能になるようにする。
• 補題 1.2 および補題 1.4 を用いて、部分群 H や正規部分群 N について β(G) を β(H) および β(G/N) に還元する。
• 既知の結果を用いて、Z_p×Z_p、A₄、ŠA₄、および二面体群や半直積群の β(G) についての既存の境界を適用する。
• 部分群 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 は、指数が2以下の巡回部分群をもつ群、または4つの例外群（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 が成り立つ。
• G が Z₂×Z₂×Z₂ と同型な部分群 H を指数 k でもつ場合、β(G)/|G| ≤ 1/4 + 3/(8k) が成り立ち、等号成立は k = 1 の場合に限る。