命題
有限ーベル群は位数が素数冪の巡回群の直積となる。

証明
過去スレ001の710より有限ーベル群は巡回群の直積となる。
任意の巡回群は素数冪の巡回群の直積となるから本命題はの主張が得られる。
証明終