[tex: ]

2020-03-01から1日間の記事一覧

可逆イデアルの特徴付け

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