完全交叉環

可換環論の完全交叉環（かんぜんこうさかん、）とは、する代数多様体ののような性質を持つように定義された可換環のことである。簡単にいうと、必要最小限の個数の関係式で定義可能な局所環と考えられるものである。完交環ともいう。
ネーター局所環については次の包含関係が成り立つ。
定義.
完全交叉環とは、ネーター局所環であって完備化が正則局所環の正則列で生成されたイデアルによる商になっているもののことをいう。完備化を取るのは、すべての局所環が正則局所環の商になるわけではないことからくる、少し技術的な事情による。代数幾何学で現れるほとんどの局所環は正則局所環の商なので、その場合には完全交叉環の定義において完備化を取る必要はない。
正則局所環への埋め込みを使わず次のように内在的に定義することも可能である。 をネーター局所環、その極大イデアルを とするとき、 の次元を の埋込み次元といい、 と書く。 の極小生成系に関してののホモロジーを と書く。これは次数付き環になっている。同型を除いてこれは のみから決まり、 の生成元の取り方に依らない。 の次元を と書き、これを のという。これは、 が正則なとき、かつそのときに限りゼロになる。ネーター局所環は、埋込み次元が次元と第1差異の和になるとき、つまり
であるとき、完全交叉環と定義しても同値である。
完全交叉局所環には次のような再帰的な特徴づけもあり、これを定義として使うことも可能である。 を完備ネーター局所環とする。 の次元が0より大きく、 を極大イデアルの要素で零因子ではないものとすると、 が完全交叉環であることと がそうであることは同値である。極大イデアルのすべての要素が零因子なら は完全交叉環ではない。次元0の環 が完全交叉環となるのは、極大イデアルのフィッティング・イデアルがゼロではないとき、かつそのときに限る。この次元0の完全交叉環の特徴づけはで示された。