SNFって何? ということになったので調べ物。
H.Cohenの『Course in Computational Algebraic Number Theory (GTM138)』の該当部分を調べて、Z自由加群に行って、そういや代数の最初の方で見たなということになって、代数関係を漁ることに。触ってないから忘れてる。
格子の基底行列をSNF化すると、Z自由加群として見たときのZ^n/LをZ_{k_i}の直積で直したときの構造と対応が付くと。言われて見ればそりゃそうだという感じ。