あとまわしにしていましたが、整数係数2変数2次形式と、2次体の整環の可逆分数イデアルの間のすばらしい対応についてまとめて置きたいと思います。 筆者は谷口氏の記事「高次合成則入門」で初めに知りました：http://www.kurims.kyoto-u.ac.jp/~kenkyubu/bes…

$\mathcal O$を1次元Noether整域とします。応用したいのは、$\mathcal O$が数体の整環の場合です。 $K$を$\mathcal O$の商体とします。 定義 $K$の部分$\mathcal O$-加群$\mathfrak a \subset K$が分数イデアルであるとは、$\mathcal O$-加群として有限生成…