この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Integrally closed domain|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
可換環論において、整閉整域(せいへいせいいき、英: Integrally closed domain)とは、商体の中で整閉な整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 を満たせば x ∈ A が導かれるとき、A を整閉整域という。
- 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体
- 一意分解整域 (UFD) は整閉整域である。特に、単項イデアル整域や UFD 上の多項式環も整閉整域である。
- デデキント整域は整閉整域である。
- 整閉整域でない例として、体 k 上の多項式環 k [t] の部分整域 k [t2, t3] がある。これは k [X, Y]/(Y2 − X3) と同型であり、平面代数曲線 Y2 = X3 の原点における特異性が、整閉でないことと関係している。
整域 A について次は同値:
- A は整閉
- 任意の素イデアルによる局所化は整閉
- 任意の極大イデアルによる局所化は整閉
任意の素イデアルによる局所化が整閉整域であるような環を正規環 (normal ring) と呼ぶ著者もいる(例えば、セール、グロタンディーク、松村)。
参考文献
編集