有限アーベル群

数学の殊に代数学において有限アーベル群（ゆうげんアーベルぐん、）は、可換かつ有限なる群。ゆえにこれは有限型のアーベル群の特別の場合である。にも拘らず、有限アーベル群の概念には独自の長い歴史と特有の様々な応用（合同算術のような純粋数学的なものも、誤り訂正符号のような工学的なものも含めて）を有する。
クロネッカーの定理は有限アーベル群の構造を陽に記述する。すなわち、有限アーベル群は巡回群の直積である。
群の圏において、有限アーベル群の全体は自己双対部分圏を成す。
歴史.
1824年にノルウェーの数学者ニールス・アーベルは、自費でわずか6頁の五次の一般方程式の解法に関する研究を著した。これはある置換の集合の可換性が重要なることを明らかにするものであった。こんにち可換群にアーベルの名を関するのはこの発見に依拠するのである。
エヴァリスト・ガロワも同じ問題に取り組み、1831年に初めて「形式群」() の語を用いた。この論文は後にジョゼフ・リウヴィルによって出版されている。19世紀後半、有限群の研究が本質的に表れて初めてガロワ理論が構築されていくことになる。
形式群の概念の形成には多くの年月が必要とされたにもかかわらず、クロネッカーはその公理化における一人の役者である。1870年にはこんにち用いられるのと同値な有限アーベル群の定義が与えられている。一般の定義はによる。
1853年にレオポルト・クロネッカーは有理数体の有限拡大で可換なガロワ群を持つものは円分拡大の部分体であることを述べた。こんにちクロネッカー–ヴェーバーの定理と呼ばれるこの定理の、クロネッカーによる証明は誤っており、リヒャルト・デデキント、ハインリッヒ・ヴェーバーを経て最終的にダフィット・ヒルベルトが厳密な証明を与えた。この流れにおいてクロネッカーは、1870年の論文において（こんにちではクロネッカーの名を関する）有限アーベル群の構造定理を証明した一人に数えられる。
性質.
クロネッカーの定理.
以下、 は有限アーベル群とする。
この列を の不変系といい、その各元を単因子（不変因子）という。
クロネッカーの定理の系.
任意の素数 に対し、 のシロー -部分群（ の元からなる素数 の冪を位数に持つ極大な部分群）を と書く。
クロネッカーの定理を に適用すれば、ただちに のより細かい分解が得られる。フロベニウスとは
ことを示した。以下のことがわかる:
応用.
調和解析.
有限アーベル群は特筆すべき群指標を持ち、その指標群は自身に同型である。ゆえに、そのような群上の調和解析は単純で確立されていて、フーリエ変換や畳み込みを定義することができる。よく知られた結果として、パーシヴァルの等式、プランシュレルの定理やポワソン和公式などが挙げられる。
合同算術.
代数的整数論で広く用いられる構造として、整数の合同類環 と特にその単数群 がある。このアプローチは合同算術の基礎になっている。 が素数ならば、この単数群は位数 の巡回群であり、素数以外の場合でも有限アーベルであることは変わりない。
この構造は、フェルマーの小定理（や、その一般化であるオイラーの定理）のようなディオファントス方程式を解くのに利用できる。フェルマーの二平方定理のデデキントによる証明でも用いられた。
有限アーベル群上の調和解析もまた数論に多くの応用を持つ。それらはガウスやルジャンドルらのような数学者が示した結果の現代的定式化に相当する。ルジャンドル記号はこんにちでは巡回群（したがって有限かつアーベル）の に値をとる指標と考えられる。ガウス和やもそれらを計算可能にする有限アーベル群の指標を用いて表すことができる。そのような方法は平方剰余の相互法則の証明の基本である。
ディリクレはガウスとルジャンドルの予想「既約合同類群 の各類は無限個の素数を含む」に着目した。オイラーはオイラー積に対応させる一つのよい方法を考案したが、素数はすべて一つの類に属するものと考えられた。ディリクレは調和解析を用いて、こんにち算術級数定理と呼ばれるこの定理を証明し、ディリクレによる成果は解析数論の礎となった。
ガロワ理論.
有限アーベル群はガロワ理論において特別な役割を持つ。アーベル–ルフィニの定理の帰結として、可換なガロワ群を持つ多項式は冪根によって解ける（逆はやや複雑で、ガロワ群が可解群となるのにアーベルであることは必要でない）。そのような多項式の分解体はアーベル拡大、つまり拡大のガロワ群がアーベルである。この結果は、アーベル拡大とそのガロワ群に注目するものである。これは19世紀の数学者たちがクロネッカー–ヴェーバーの定理の証明に熱心であった理由である。
ガロワやクロネッカーとヴェーバーの発見よりもずっと以前に、ガウスは特定の場合「正17角形の定木とコンパスを用いた作図を求めるための、指数17の円分方程式」を扱ったが、この多項式のガロワ群がアーベルであることはこの方法の本質的な要素であった。
有限体.
任意の有限体 に対し、その加法群 は素数位数の巡回群の冪であり、乗法群 は巡回群である。
情報理論.
20世紀には、情報理論の起こりとともに有限アーベル群は特に重要となった。暗号理論と誤り訂正符号の両方に用いられる。
暗号理論において、多くのアルゴリズムの基礎として巡回群が用いられる。合同算術により、例えばやミラー–ラビンの判定法のような素数判定が可能となる。有限アーベル群の利用はそれだけにとどまらない。一つの本質的な構造として有限ベクトル空間すなわち有限体上のは、有限アーベル群に対応するものであり、これによりが定義できるようになる。係数体が二元からなるとき、その上のベクトル空間で定義される複素数値函数はブール函数であり、フーリエ変換はになる。暗号理論は、例えば置換テーブルの研究などに対して、ブール函数およびウォルシュ変換を広汎に用いさせる。
誤り訂正符号の理論、特に線型符号もまた例外ではない。これには例えばを通じた双対符号の解析に関し、任意の有限ベクトル空間上の調和解析が用いられる。コンパクトディスクに用いられるリード・ソロモン型の符号は、（有限アーベル群の乗法に基づく構造である）256元体上のベクトル空間を利用する。