12/04/28 21:35:25.37
教えてくれ、偉い人
永田「可換環論」（紀伊国屋）p62
定理2.4.10の証明部分
R、Sが共に整域
R⊃Sで、Sは整閉整域
KをSの商体
LをRの商体
さらに、LはKの正規拡大（分離的と仮定してよい）
さて、問題は
このとき、
「RはSのLにおける整閉包である」（←p62証明の１行部分）
この「RはSのLにおける整閉包である」を誰か説明してくれませんか？
12/04/28 21:35:25.37
教えてくれ、偉い人
永田「可換環論」（紀伊国屋）p62
定理2.4.10の証明部分
R、Sが共に整域
R⊃Sで、Sは整閉整域
KをSの商体
LをRの商体
さらに、LはKの正規拡大（分離的と仮定してよい）
さて、問題は
このとき、
「RはSのLにおける整閉包である」（←p62証明の１行部分）
この「RはSのLにおける整閉包である」を誰か説明してくれませんか？