§19 デデキント環と加群この節では分数イデアルをイデアルとよぶ。命題19.1 イデアル が -加群として同型であることと、 なる があることは同値。命題19.2 が可逆であることと -射影的であることは同値で、 このとき、 は有限生成なイデアルである。以下、環…