>>234
有限生成アーベル群の基本定理じゃないの?