About: 密着閉包

数学の可換環論における密着閉包（みっちゃくへいほう、英: tight closure）とは、正標数の環のイデアルに対して定義されるある操作である。とによって考案された。 を可換なネーター環で標数 の体（したがって は素数）を含むものとする。 を のイデアルとする。 の密着閉包 とは、 を含む のイデアルで次のように定義されるものである。 であるのは、 のどの極小素因子にも含まれないある が存在して、全ての に対して が成り立つとき、かつそのときに限る。 が被約環のときは、全ての に対して、としてもよい。 ここでは の元のベキで生成されるのイデアルで、 の 次フロベニウス冪という。 が成り立つとき、このイデアルは密着的閉（tightly closed）という。全てのイデアルが密着的閉である環は弱 正則（weakly -regular, フロベニウス正則の意）という。また、環の任意の局所化が弱 正則であるとき 正則という。 かつては密着閉包の操作と局所化が交換可能かどうかが大きな未解決問題だったが、 が反例を見つけた。しかし、全ての弱 正則環が 正則かどうか、つまり環の全てのイデアルが密着的閉ならばその環の任意の局所化の任意のイデアルもまた密着的閉かどうか、という問題はまだ未解決である。