[論文レビュー] Zassenhaus Conjecture on torsion units holds for $\operatorname{PSL}(2,p)$ with $p$ a Fermat or Mersenne prime

Leo Margolis, Ángel del Rı́o+1 more|arXiv (Cornell University)|Aug 20, 2016

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

ひとこと要約

この論文は、p がフェルマー素数またはメルセンヌ素数であるとき、PSL(2,p) に対してザッセンハウス予想を証明し、その成立が知られている非アーベル単純群のリストを拡張する。修正されたヘルプ法を用い、特性理論と部分増幅の数論的解析を組み合わせることで、ℤPSL(2,q) 内の位数が 2q と互いに素なねじれ元が、群の元と有理的同型であることを確立する。これにより、無限個の単純群に対して予想が確認される——具体的には、3 を除く既知のフェルマー素数 4 個に加え、少なくとも 49 個の追加のメルセンヌ素数に対して成立する。

ABSTRACT

H.J. Zassenhaus conjectured that any unit of finite order in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra $\mathbb{Q}G$ to an element of the form $\pm g$ with $g \in G$. Though known for some series of solvable groups, the conjecture has been proved only for thirteen non-abelian simple groups. We prove the Zassenhaus Conjecture for the groups $\operatorname{PSL}(2,p)$, where $p$ is a Fermat or Mersenne prime. This increases the list of non-abelian simple groups for which the conjecture is known by probably infinitely many, but at least by 49, groups. Our result is an easy consequence of known results and our main theorem which states that the Zassenhaus Conjecture holds for a unit in $\mathbb{Z}\operatorname{PSL}(2,q)$ of order coprime with $2q$, for some prime power $q$.

研究の動機と目的

• ザッセンハウス予想が成立する非アーベル単純群の既知のリストを拡張すること。
• p がフェルマー素数またはメルセンヌ素数であるとき、PSL(2,p) に対して予想を確立すること。
• ℤPSL(2,q) 内の位数が 2q と互いに素なねじれ元が、群の元と有理的同型であることを証明すること。
• 古典的ヘルプ法の限界を克服し、PSL(2,q) に対して特化した特性理論的アプローチを開発すること。
• この文脈において、素数 2 が異常的に作用することを示し、標準的手法ではより強い結果が得られないこと。

提案手法

• PSL(2,q) の特性理論に特化した、ヘルプ（Hertweck-Luthar-Passi）法の修正版が用いられる。
• ねじれ元の部分増幅が、ブローバー特性と通常特性を用いて分析され、可能な単位構造を制約する。
• 単位の位数とその共役類の可除性条件を解析するための数論的議論が用いられる。
• 候補となる単位 u と群の元 g の ℚG 上の特性値を比較することに依拠し、差 ψ(u)−1 及びその部分増幅に注目する。
• 特に、2q と互いに素な位数の元の挙動に注目した、PSL(2,q) 内の特定の共役類構造が利用される。
• 部分増幅の絶対値を評価することで矛盾を導き、不可能な構成を除外する背理法が用いられる。

実験結果

リサーチクエスチョン

• RQ1 p がフェルマー素数またはメルセンヌ素数であるとき、PSL(2,p) に対してザッセンハウス予想は成立するか？
• RQ2 古典的ヘリプ法は、PSL(2,q) のような非可解群に対して、拡張または修正可能か？
• RQ3 位数が 2q と互いに素な ℤPSL(2,q) 内のねじれ元に対して、特性理論的手法がどのような制約を課えるか？
• RQ4 なぜ素数 2 が、位数 2p の単位にヘリプ法を適用する際、より強い結果を妨げるのか？
• RQ5 ザッセンハウス予想が成立する非アーベル単純群は無限個存在するか？

主な発見

• p がフェルマー素数またはメルセンヌ素数であるとき、PSL(2,p) に対してザッセンハウス予想が成立し、その成立が知られている群のリストは 13 個から少なくとも 62 個に拡大される。
• 主な結果として、ℤPSL(2,q) 内の位数が 2q と互いに素なすべてのねじれ元が、PSL(2,q) の元と有理的同型であることが確認される。
• 位数が 2q と互いに素な単位 u が非自明な部分増幅を持つと仮定すると、特性値の境界を用いた矛盾が導かれることを証明する。
• すべての可能な位数 n が、有理的同型を強制するもの（n = 15, 21, 35, 45 など）を除き、矛盾により除外されることを示す。
• |C_b(ψ(u)−1)| および |C_b(ψ(g)−1)| が特性値の差に由来する境界を超えるような構成は、特に ν_i ∼_d 1（d = 3, 5, 7, 15）の仮定のもとで除外される。
• この結果により、少なくとも 49 個のメルセンヌ素数および 4 個のフェルマー素数（3 を除く）に対して、ザッセンハウス予想が成立することが示され、メルセンヌ素数が無限に存在するとの予想に基づき、無限個の可能性がある。