クルル環とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > クルル環の意味・解説 

クルル環

(クルル整域 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/14 16:25 UTC 版)

可換環論において、クルル環 (Krull ring) あるいはクルル整域 (Krull domain) は素イデアル分解の良い振る舞いの理論を伴った可換環である。それらは Wolfgang Krull (1931) によって導入された。それらはデデキント整域の高次元の一般化である。デデキント整域はちょうど次元が高々 1 のクルル整域である。

この記事において、環は可換で単位元をもつ。

正式な定義

整域とし 高さ 1 の のすべての素イデアルからなる集合、すなわち、0 でない素イデアルを真に含まないすべての素イデアルの集合とする。このとき クルル環 (Krull ring) であるとは、

  1. はすべての に対して離散付値環であり、
  2. はこれらの離散付値環の共通部分( の商体の部分環と考えて)である。
  3. の任意の 0 でない元は高さ 1 の素イデアルの有限個にしか含まれない。

性質

クルル整域が一意分解整域であることと高さ 1 のすべての素イデアルが単項イデアルであることは同値である[1]

Aザリスキ環(例えば局所ネーター環)とする。完備化 がクルル整域であれば、A はクルル整域である[2]

  1. すべての整閉ネーター整域はクルル環である。とくに、デデキント整域はクルル環である。逆に、クルル環は整閉であり、したがってネーター整域がクルルであることと整閉であることは同値である。
  2. がクルル環であれば多項式環 形式的冪級数環 もそうである。
  3. 一意分解整域 上の無限変数多項式環 はネーターでないクルル環である。一般に、任意の一意分解整域はクルル環である。
  4. ネーター整域商体 とし、有限代数拡大とする。このとき における整閉包はクルル環である (Mori–Nagata theorem)[3]

クルル環の因子類群

クルル環 A の(ヴェイユ)因子は高さ 1 の素イデアルの形式的整数線型結合であり、これらは群 D(A) をなす。A のある 0 でない x に対して div(x) の形の因子は主因子と呼ばれ、主因子は因子全体の群の部分群をなす。因子全体の群の主因子全体の部分群による商は A因子類群 (divisor class group) と呼ばれる。

クルル環のカルティエ因子英語版は局所主(ヴェイユ)因子である。カルティエ因子は主因子を含む、因子全体の群の部分群をなす。カルティエ因子の主因子による商は因子類群の部分群であり、Spec(A) 上の可逆層のピカール群に同型である。

例: 環 k[x,y,z]/(xyz2] において因子類群は位数 2 をもち、因子 y=z によって生成されるが、ピカール部分群は自明群である。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「クルル環」の関連用語

クルル環のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



クルル環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのクルル環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS