有限アーベル群の構造定理

有限アーベル群の構造定理

有限アーベル群に関する構造定理は、数学の群論において極めて重要な役割を果たしています。この定理は、任意の有限アーベル群が巡回群の直積に同型であることを示しており、Kroneckerによって1870年に発表されました。

定理の概要

この定理は、任意の有限アーベル群 G に対して、特定の条件を満たす整数の列 (a1, a2, …, ak) が一意に存在し、群 G は次の形で表されることを主張しています。

$$
G ext{simeq} rac{ℤ}{a_1ℤ} imes rac{ℤ}{a_2ℤ} imes ext{⋯} imes rac{ℤ}{a_kℤ}
$$

ここで、各 ai は 1 より大きい整数で、さらに ai+1 は ai を割り切るという条件を満たします。この列は群 G の不変系と呼ばれ、各項は G の単因子と称されます。

証明

有限アーベル群の構造定理には多くの証明方法がありますが、その中でも群の表現論を用いたものが一般的とされています。また、有限群の指標を用いた方法も有力な手法とされています。ここでは、群論の枠組みに基づいた完全な証明を示すため、いくつかの補題を用いてもその存在性を示すことができます。

この定理の応用

この定理により、群 G の位数は a1…ak の積に等しく、したがって G の冪数は a1 に相当します。もし G の位数がその冪数以下である場合、G は必然的に巡回群となります。これは特に可換体の乗法群における任意の有限部分群が巡回群であることを示しています。

また、2つの有限アーベル群が同型であるのは、それぞれの元の位数が一致するときです。この情報から単因子を特定することができます。しかし、ここで重要なのは「アーベル」という条件です。たとえば、任意の奇素数 p に対して、位数が p^3 かつ冪数が p の場合、アーベル群である ℤ_p^3 と F_p 上のハイゼンベルク群の2つが存在します。これにより、アーベル性を欠いた場合の同型性が危険であることがわかります。

関連項目

• - 純部分群
• - ジョルダン–ヘルダーの定理：非可換群の場合の類似の定理

参考文献

この構造定理に関する文献として、Kroneckerの1870年の研究や、Serge Langの「Algèbre」、Gabriel Navarroによる「On the Fundamental Theorem of finite abelian groups」などが挙げられます。これらの文献には、構造定理の詳細な説明や、関連する証明が記載されているため、関心のある方は参考にすると良いでしょう。

もう一度検索