有限アーベル群

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

有限アーベル群の構造定理（しばしばクロネッカーの定理と呼ばれる）は、その構造を完全に分類する。すなわち、いかなる有限アーベル群も巡回群の直積として**（同型を除き）一意的に**表されることが知られている。

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

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

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

形式群の概念の形成には多くの年月が必要とされたにもかかわらず、クロネッカーはその公理化における一人の役者である。1870年にはこんにち用いられるのと同値な有限アーベル群の定義が与えられている。一般の定義はによる。

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

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

### 構造定理

有限アーベル群の構造は、以下の定理によって完全に分類される。この定理は、任意の有限アーベル群が巡回群の直積として（同型を除いて）一意的に分解できることを示す。この分解には主に二つの形式があり、両者は中国の剰余定理によって互いに関連付けられる。

以下、 は有限アーベル群とする。
# 単因子分解 （クロネッカーによる形式）
#: 整数  からなる数列  が一意に存在して群同型 G \cong (\mathbb{Z}/a_1\mathbb{Z}) \times (\mathbb{Z}/a_2\mathbb{Z}) \times \dots \times (\mathbb{Z}/a_k\mathbb{Z}) かつ a_{i+1} \mid a_i (1 \le \forall i  を満たす。
#:この列を  の不変系といい、その各元を単因子（不変因子）という。
# 準素分解 （フロベニウス、スティッケルバーガーらによる形式）
#:まず、 は、その位数を割り切るすべての素数  に関するシロー -部分群 （ の元で位数が  の冪であるもの全体）の直積に（内部直積として）一意的に分解される。 
#::G \cong \prod_{p | |G|} G_p
#::（この  を  の -準素成分と呼ぶ。この準素分解自体は、一般の有限冪零群においても成り立つ性質である。）
#:次に、各 -準素成分  は、位数  の冪である巡回群の直積に（同型を除いて）一意的に分解される。
#::G_p \cong (\mathbb{Z}/p^{e_1}\mathbb{Z}) \times (\mathbb{Z}/p^{e_2}\mathbb{Z}) \times \dots \times (\mathbb{Z}/p^{e_r}\mathbb{Z})
#::（通常 e_1 \ge e_2 \ge \dots \ge e_r \ge 1 のように順序付ける）
#:この分解における位数の組 p^{e_1}, p^{e_2}, \dots, p^{e_r} を  の素因子 (elementary divisors) といい、すべての  にわたる素因子のリストは  により（順序を除き）一意に定まる。

### 構造定理の系
構造定理（特に分解の一意性）から、以下の重要な性質が導かれる。
*  が有限アーベル群で、二つの直積群  と  が互いに同型ならば、 と  も同型である
*  の位数の任意の約数  に対し、 は少なくとも一つ位数  の部分群を含む
* 任意の整数  に対し、位数  のアーベル群の（同型を除いた）個数は  に等しい。ただし、 は  の素因数分解であり、 は整数  に対する分割数である。

## 応用
### 調和解析

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

### 合同算術

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

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

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

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

### ガロワ理論

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

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

### 有限体

任意の有限体  に対し、その加法群  は、（体の標数を 、位数を p^n とすると）位数  の巡回群 \mathbb{Z}/p\mathbb{Z} の  個の直積であり（このような群を基本アーベル -群という）、乗法群  は巡回群である。

### 情報理論

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

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

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

## 注釈・出典
### 注釈

### 出典


## 関連項目

## 外部リンク
*  A History of Group theory par William Komp

## 関連文献
* 
* J-F. Labarre, *La théorie des groupes*, PUF, 1978
*