>>241
Rを
>体k上の整域で、k上有限生成加群
とする。
kは体なのでRはk上有限次元ベクトル空間。
0でないa∈Rによる掛け算写像a:R→Rは単射。整域なので
よってRの0でない元は可逆（det(a)≠0だから）