完全交叉環とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 完全交叉環の意味・解説 

完全交叉環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/21 01:28 UTC 版)

ナビゲーションに移動 検索に移動

可換環論完全交叉環(かんぜんこうさかん、: complete intersection ring)とは、完全交叉英語版する代数多様体の座標環のような性質を持つように定義された可換環のことである。簡単にいうと、必要最小限の個数の関係式で定義可能な局所環と考えられるものである。完交環ともいう。

ネーター局所環については次の包含関係が成り立つ。

強鎖状環コーエン・マコーレー環ゴレンシュタイン環完全交叉環正則局所環

定義

完全交叉環とは、ネーター局所環であって完備化正則局所環正則列で生成されたイデアルによる商になっているもののことをいう[1]。完備化を取るのは、すべての局所環が正則局所環の商になるわけではないことからくる、少し技術的な事情による。代数幾何学で現れるほとんどの局所環は正則局所環の商なので、その場合には完全交叉環の定義において完備化を取る必要はない。

正則局所環への埋め込みを使わず次のように内在的に定義することも可能である。R をネーター局所環、その極大イデアルを m とするとき、m/m2 の次元を R埋込み次元といい、emb dim (R) と書く。m/m2 の極小生成系に関してのコシュール複体英語版のホモロジーを H(R) と書く。これは次数付き環になっている。同型を除いてこれは R のみから決まり、m の生成元の取り方に依らない。H1(R) の次元を ε1 と書き、これを R第1差異英語版[訳語疑問点]という。これは、R が正則なとき、かつそのときに限りゼロになる。ネーター局所環は、埋込み次元が次元と第1差異の和になるとき、つまり

emb dim(R) = dim(R) + ε1(R)

であるとき、完全交叉環と定義しても同値である。

完全交叉局所環には次のような再帰的な特徴づけもあり、これを定義として使うことも可能である。R を完備ネーター局所環とする。R の次元が0より大きく、x を極大イデアルの要素で零因子ではないものとすると、R が完全交叉環であることと R/(x) がそうであることは同値である。極大イデアルのすべての要素が零因子なら R は完全交叉環ではない。次元0の環 R が完全交叉環となるのは、極大イデアルのフィッティング・イデアルがゼロではないとき、かつそのときに限る。この次元0の完全交叉環の特徴づけはWiebe (1969)で示された。

  • 正則局所環は完全交叉環。しかし逆は正しくない。環 は0次元の完全交叉環であるが正則ではない。
  • 完全交叉環はゴレンシュタイン環。しかし逆は正しくない。環 は0次元のゴレンシュタイン環だが、完全交叉環ではない。

脚注

参考文献

外部リンク




英和和英テキスト翻訳>> 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