有限生成可換群の構造定理.