Abelian group
クロネッカーの定理は有限アーベル群の構造を陽に記述する。すなわち、有限アーベル群は巡回群の直積である。