完全交叉環
可換環論の完全交叉環（かんぜんこうさかん、）とは、する代数多様体ののような性質を持つように定義された可換環のことである。簡単にいうと、必要最小限の個数の関係式で定義可能な局所環と考えられるものである。完交環ともいう。
ネーター局所環については次の包含関係が成り立つ。