有限アーベル群

数学の殊に代数学において有限アーベル群（ゆうげんアーベルぐん、英: finite abelian group）は、可換かつ有限なる群。ゆえにこれは有限型のアーベル群の特別の場合である。にも拘らず、有限アーベル群の概念には独自の長い歴史と特有の様々な応用（合同算術のような純粋数学的なものも、誤り訂正符号のような工学的なものも含めて）を有する。

クロネッカーの定理は有限アーベル群の構造を陽に記述する。すなわち、有限アーベル群は巡回群の直積である。

群の圏において、有限アーベル群の全体は自己双対部分圏を成す。

歴史

1824年にノルウェーの数学者ニールス・アーベルは、自費でわずか6頁の五次の一般方程式の解法に関する研究を著した^[1]。これはある置換の集合の可換性が重要なることを明らかにするものであった。こんにち可換群にアーベルの名を関するのはこの発見に依拠するのである。

エヴァリスト・ガロワも同じ問題に取り組み、1831年に初めて「形式群」(groupe formel) の語を用いた^[2]。この論文は後にジョゼフ・リウヴィルによって出版されている。19世紀後半、有限群の研究が本質的に表れて初めてガロワ理論が構築されていくことになる。

形式群の概念の形成には多くの年月が必要とされたにもかかわらず、クロネッカーはその公理化における一人の役者である。1870年にはこんにち用いられるのと同値な有限アーベル群の定義が与えられている^[3]。一般の定義はハインリッヒ・ヴェーバー（英語版）による^[4]。

1853年にレオポルト・クロネッカーは有理数体の有限拡大で可換なガロワ群を持つものは円分拡大の部分体であることを述べた^[5]。こんにちクロネッカー–ヴェーバーの定理と呼ばれるこの定理の、クロネッカーによる証明は誤っており、リヒャルト・デデキント、ハインリッヒ・ヴェーバー^[6]を経て最終的にダフィット・ヒルベルト^[7]が厳密な証明を与えた。この流れにおいてクロネッカーは、1870年の論文において（こんにちではクロネッカーの名を関する）有限アーベル群の構造定理を証明した一人に数えられる。

性質

基本性質

任意の巡回群はアーベル群である。
有限アーベル群の任意の部分群はまた有限アーベル群である。
有限アーベル群の任意の剰余群はまた有限アーベル群である。
有限アーベル群からなる任意の有限族の直積群はまた有限アーベル群である。

クロネッカーの定理

→詳細は「有限アーベル群の構造定理」を参照

以下、 $G$ は有限アーベル群とする。

定理 (Kronecker)

整数 $> 1$ からなる数列 $(a 1, a 2, \dots, a k)$ が一意に存在して群同型 $G ≅ (Z / a 1 Z) \times (Z / a 2 Z) \times \dots \times (Z / a k Z)$ かつ $a i +1 | a i (1 \leq \forall i < k)$ を満たす。

この列を $G$ の不変系といい、その各元を単因子（不変因子）という。

クロネッカーの定理の系

任意の素数 $p$ に対し、 $G$ のシロー $p$ -部分群（ $G$ の元からなる素数 $p$ の冪を位数に持つ極大な部分群）を $G p$ と書く。

$G$ は適当な $p$ に関するシロー部分群 $G p$ の直積である。

(このねじれ冪零群の一般性質は、とくに有限アーベル群の場合には、ベズーの定理から容易に導かれる）.)

クロネッカーの定理を $G p$ に適用すれば、ただちに $G$ のより細かい分解が得られる。フロベニウスとスティッケルバーガー（英語版）は

$G$ の非自明な準素（あるいは素冪）位数巡回部分群の直積への分解が同型を除いてただ一つ存在する^{[注釈 1]}

ことを示した^[8]。以下のことがわかる:

$G, H, K$ が有限アーベル群で、二つの直積群 $G \times H$ と $G \times K$ が互いに同型ならば、 $H$ と $K$ も同型である^{[注釈 2]}
$G$ の位数の任意の約数 $d$ に対し、 $G$ は少なくとも一つ位数 $d$ の部分群を含む^{[注釈 3]}
任意の整数 $n > 0$ に対し、位数 $n$ のアーベル群の（同型を除いた）個数^[9]は $p (k 1)\dots p (k r)$ に等しい。ただし、 $p k 11 \dots p k r r$ は $n$ の素因数分解であり、 $p (k)$ は整数 $k$ に対する分割数である^[10]。

応用

調和解析

→詳細は「有限アーベル群上の調和解析」を参照

有限アーベル群は特筆すべき群指標を持ち、その指標群は自身に同型である。ゆえに、そのような群上の調和解析は単純で確立されていて、フーリエ変換や畳み込みを定義することができる。よく知られた結果として、パーシヴァルの等式、プランシュレルの定理やポワソン和公式などが挙げられる。

合同算術

→詳細は「合同算術」および「ルジャンドル記号」を参照

Peter Gustav Lejeune Dirichlet (1805-1859).

代数的整数論で広く用いられる構造として、整数の合同類環 $Z / p Z$ と特にその単数群 $(Z / p Z) \times$ がある。このアプローチは合同算術の基礎になっている。 $p$ が素数ならば、この単数群は位数 $p - 1$ の巡回群であり、素数以外の場合でも有限アーベルであることは変わりない。

この構造は、フェルマーの小定理（や、その一般化であるオイラーの定理）のようなディオファントス方程式を解くのに利用できる。フェルマーの二平方定理のデデキントによる証明でも用いられた。

有限アーベル群上の調和解析もまた数論に多くの応用を持つ。それらはガウスやルジャンドルらのような数学者が示した結果の現代的定式化に相当する。ルジャンドル記号はこんにちでは巡回群（したがって有限かつアーベル）の ${-1, 1}$ に値をとる指標と考えられる。ガウス和やガウス周期（フランス語版）もそれらを計算可能にする有限アーベル群の指標を用いて表すことができる。そのような方法は平方剰余の相互法則の証明の基本である。

ディリクレはガウスとルジャンドルの予想「既約合同類群 $(Z / p Z) \times$ の各類は無限個の素数を含む」に着目した。オイラーはオイラー積に対応させる一つのよい方法を考案したが、素数はすべて一つの類に属するものと考えられた。ディリクレは調和解析を用いて、こんにち算術級数定理と呼ばれるこの定理を証明し、ディリクレによる成果は解析数論の礎となった。

ガロワ理論

→詳細は「アーベル–ルフィニの定理」を参照

有限アーベル群はガロワ理論において特別な役割を持つ。アーベル–ルフィニの定理の帰結として、可換なガロワ群を持つ多項式は冪根によって解ける（逆はやや複雑で、ガロワ群が可解群となるのにアーベルであることは必要でない）。そのような多項式の分解体はアーベル拡大、つまり拡大のガロワ群がアーベルである。この結果は、アーベル拡大とそのガロワ群に注目するものである。これは19世紀の数学者たちがクロネッカー–ヴェーバーの定理の証明に熱心であった理由である。

ガロワやクロネッカーとヴェーバーの発見よりもずっと以前に、ガウスは特定の場合「正17角形の定木とコンパスを用いた作図を求めるための、指数17の円分方程式」を扱ったが、この多項式のガロワ群がアーベルであることはこの方法の本質的な要素であった。

有限体

→詳細は「有限体」を参照

任意の有限体 $K$ に対し、その加法群 $(K, +)$ は素数位数の巡回群の冪であり、乗法群 $(K *, \cdot)$ は巡回群である。

情報理論

→詳細は「情報理論」を参照

20世紀には、情報理論の起こりとともに有限アーベル群は特に重要となった。暗号理論と誤り訂正符号の両方に用いられる。

暗号理論において、多くのアルゴリズムの基礎として巡回群が用いられる。合同算術により、例えばフェルマーの判定法（フランス語版）やミラー–ラビンの判定法のような素数判定が可能となる。有限アーベル群の利用はそれだけにとどまらない。一つの本質的な構造として有限ベクトル空間すなわち有限体上の有限次元ベクトル空間（フランス語版）は、有限アーベル群に対応するものであり、これによりある種の調和解析（フランス語版）が定義できるようになる。係数体が二元からなるとき、その上のベクトル空間で定義される複素数値函数はブール函数であり、フーリエ変換はウォルシュ変換（フランス語版）になる。暗号理論は、例えば置換テーブルの研究などに対して、ブール函数およびウォルシュ変換を広汎に用いさせる。

誤り訂正符号の理論、特に線型符号もまた例外ではない。これには例えばマクウィリアムの恒等式（フランス語版）を通じた双対符号の解析に関し、任意の有限ベクトル空間上の調和解析が用いられる。コンパクトディスクに用いられるリード・ソロモン型の符号は、（有限アーベル群の乗法に基づく構造である）256元体上のベクトル空間を利用する。

注釈・出典

注釈

^ この一意性はクルル–シュミットの定理からも導くことができる。あるいは、後述する直積の単純化の系としても直截に示せる
^ Une démonstration figure dans ce cours sur Wikiversité. Vipul Naik en donne une directe, en supposant seulement que les trois groupes sont finis (non nécessairement abéliens). Une vaste généralisation est due à (en) Bjarni Jónsson (en) および Alfred Tarski, Direct Decompositions of Finite Algebraic Systems,‎ 1947 (lire en ligne), th. 3.11 p. 50. Dans le cas des groupes, elle s'exprime par :
Pour tout groupe fini G et tous groupes H et K, G × H ≃ G × K ⇒ H ≃ K.

R. Hirshon (1969). “On cancellation in groups” (英語). Amer. Math. Monthly (9): 1037-1039. JSTOR 317133. donne une preuve rapide de cette implication et montre de plus que la finitude de G est, elle, indispensable, en fournissant un contre-exemple pour G = ℤ, avec même H et K de type fini, mais nécessairement non abéliens puisqu'un autre théorème :

Pour tout groupe abélien de type fini G et tous groupes abéliens H et K, G × H ≃ G × K ⇒ H ≃ K.

avait été démontré par “The complement of a finitely generated direct summand of an abelian group” (英語). Proc. Amer. Math. Soc. (3): 520-521. (1956). et Elbert A. Walker (1956). “Cancellation in direct sums of groups” (英語). Proc. Amer. Math. Soc. (5): 898-902. .
^ Une démonstration figure dans ce problème corrigé sur Wikiversité.

出典

^ Niels Henrik Abel, Mémoire sur les équations algébriques, où l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré,‎ 1824
^ Galois, Évariste (1846). “Mémoire sur les conditions de résolubilité des équations par radicaux” (フランス語). Journal de mathématiques pures et appliquées (J. Math. Pures Appl.). , texte manuscrit de 1830
^ Kronecker, Leopold (1870). “Auseinandersetzung einiger Eigenschaften der Klassenzahl idealer complexer Zahlen” (ドイツ語). Académie royale des sciences de Prusse (Monatsber. K. Preuss. Akad. Wissenschaft Berlin): 881–889.
^ (de) Heinrich Weber, Lehrbuch der Algebra, Braunschweig,‎ 1896
^ Kronecker, Leopold (1854). “Mémoire sur les facteurs irréductibles de l'expression xⁿ – 1” (フランス語). J. Math. Pures Appl.. 1 19: 177-192.
^ Weber, Heinrich (1886 et 1887). “Theorie der Abel'schen Zahlkörper” (ドイツ語). Acta Mathematica (Acta Math.) VIII et IX.
^ Hilbert, David (1896) (ドイツ語). Ein neuer Beweis des Kronecker'schen Fundamentalsatzes über Abel'sche Zahlkörper. Nachr. der K. Ges. der Wiss. zu Gottingen.
^ Frobenius; Stickelberger (1879). “Ueber Gruppen von vertauschbaren Elementen” (ドイツ語). J. reine angew. Math.: 217-262. https://eudml.org/doc/148395. .
^ Suite A000688 de l'OEIS.
^ Jean-Jacques Risler および Pascal Boyer, Algèbre pour la Licence 3 : Groupes, anneaux, corps, Dunod,‎ 2006 (lire en ligne), p. 45.

外部リンク

A History of Group theory par William Komp