有限アーベル群の構造定理
ウィキペディア フリーな encyclopedia
有限アーベル群の構造定理(ゆうげんアーベルぐんのこうぞうていり、英: structure theorem of finite abelian group)は、数学の特に群論における定理であり、有限アーベル群の基本定理(ゆうげんアーベルぐんのきほんていり)とも呼ばれる。 任意の有限アーベル群が巡回群の直積に同型であることを主張するもので、Kronecker (1870) によって示された。この定理は有限生成アーベル群の構造定理(フランス語版)の特別の場合として、さらに単因子定理、すなわち主イデアル整域上の有限生成加群の構造定理に一般化される。