有限アーベル群の基本定理

提供: Mathpedia

有限アーベル群の基本定理

有限アーベル群の基本定理(ゆうげんアーベルぐんのきほんていり、fundamental theorem of finite abelian group)または有限アーベル群の構造定理(ゆうげんアーベルぐんのこうぞうていり、structure theorem of finite abelian group)とは、有限アーベル群の構造が巡回群の直積として本質的に一意に書けると主張する定理である。

主張

G を有限アーベル群とする。このとき、自然数の列 k1k2kr が一意に存在して、次を満たす。

  • GCk1×Ck2××Ckr
  • i(1i<r) について、 ki+1k1 を割り切る。

ただし、 Cn は位数 n の巡回群を表す。

同値な主張

G を有限アーベル群とする。このとき、自然数の列 q1q2qr が一意に存在して、次を満たす。

  • GCq1×Cq2××Cqr
  • q1,q2,,qr は素数冪。

証明

関連項目