[論文レビュー] When is the multiplicative group of a field indecomposable?

Sunil K. Chebolu, Keir Lockridge|arXiv (Cornell University)|Jul 13, 2014

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

ひとこと要約

この論文は、非自明な部分群の直積として表現できない（分解不能である）乗法的群をもつ有限体および有限可換環を分類する。初等的な群論とカタランの予想を用いて、乗法的群が分解不能である有限体は、$\mathbb{F}_q$ で $q-1$ が素数のべき（フェルマー素数およびメルセンヌ素数を含む）であるものに限ることを示す。特性 $\neq 2$ の無限体については、乗法的群は常に分解可能であり、乗法的単位群が分解不能である有限可換環の完全な分類が提示される。

ABSTRACT

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposable multiplicative group. We conjecture that this is also true for infinite fields of characteristic 2 and we narrow the class of possible counter-examples. Finally, using the classification of finite commutative primary rings with cyclic multiplicative groups, we determine all finite commutative rings with indecomposable multiplicative groups.

研究の動機と目的

• どの有限体の乗法的群が分解不能であるかを特定すること。
• 特性が 2 でない無限体への分類を拡張すること。
• 乗法的単位群が分解不能であるすべての有限可換環を分類すること。
• 単位群が巡回群である環の既知の分類を活用し、分解不能単位群をもつ環の完全なリストを導出すること。

提案手法

• 有限アーベル群の構造定理を適用し、$p^r - 1$ の順序の巡回群がいつ分解不能であるかを分析する。
• 初等的な数論を用いて $p^r - 1 = q^n$ を素数のべきについて解き、フェルマー素数およびメルセンヌ素数のケースを区別する。
• カタランの予想（ミハイルェスクによって証明済み）を系として適用し、$p^r - 1 = q^n$ の解の分類を簡略化する。
• 有限可換環を局所アートン環の積に分解することにより、問題を素的環に還元する。
• ペイサーウとシュナイダー（1970年）による、単位群が巡回群である有限可換素的環の分類を活用する。
• 候補となる環において非自明な冪等元が存在しないことと単位群の構造を確認することで、分解不能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの有限体の乗法的群が分解不能であるか。
• RQ2 カタランの予想から、乗法的群が分解不能である有限体の分類を導くことができるか。
• RQ3 特性が 2 でないすべての無限体の乗法的群は常に分解可能か。
• RQ4 どの有限可換環が分解不能な単位群をもつか。
• RQ5 分解不能な単位群をもつ有限可換分解不能環の完全なリストは何か。

主な発見

• 有限体 $\mathbb{F}_q$ の乗法的群が分解不能であるための必要十分条件は、$q-1$ が素数のべき（1 を含む）であること。
• 乗法的群が分解不能である有限体は、$\mathbb{F}_2$、$\mathbb{F}_9$、フェルマー素数 $p$ に対する $\mathbb{F}_p$、および $q-1$ がメルセンヌ素数である $\mathbb{F}_q$ に限る。
• 特性が 2 でない任意の無限体の乗法的群は常に分解可能である。
• 乗法的群が分解不能である唯一の有限可換環は、$\mathbb{Z}_2$ と、ちょうど 8 つの特定の分解不能環の積である。
• これらの 8 つの分解不能環は、$\mathbb{F}_2$、$\mathbb{F}_9$、フェルマー素数 $p$ に対する $\mathbb{F}_p$、メルセンヌ素数 $q$ に対する $\mathbb{F}_q$、$\mathbb{Z}_4$、$\mathbb{F}_2[x]/(x^2)$、$\mathbb{F}_2[x]/(x^3)$、および $\mathbb{Z}_4[x]/(2x, x^2-2)$ である。
• これらの 8 つの環はすべて環として分解不能であり、単位群の位数が素数のべきまたは自明な位数である。