有限アーベル群の基本定理
提供: Mathpedia
有限アーベル群の基本定理
有限アーベル群の基本定理(ゆうげんアーベルぐんのきほんていり、fundamental theorem of finite abelian group)または有限アーベル群の構造定理(ゆうげんアーベルぐんのこうぞうていり、structure theorem of finite abelian group)とは、有限アーベル群の構造が巡回群の直積として本質的に一意に書けると主張する定理である。
主張
- 各
について、 は を割り切る。
ただし、
同値な主張
- 各
は素数冪。