密着閉包 密着閉包の概要

ウィキペディア

密着閉包

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

$R$ を可換なネーター環で標数 $p>0$ の体（したがって $p$ は素数）を含むものとする。

$I$ を $R$ のイデアルとする。

$I$ の密着閉包 $I^{*}$ とは、$I$ を含む $R$ のイデアルで次のように定義されるものである。

$z\in I^{*}$ であるのは、$R$ のどの極小素因子にも含まれないある $c\in R$ が存在して、全ての $e\gg 0$ に対して $cz^{p^{e}}\in I^{[p^{e}]}$ が成り立つとき、かつそのときに限る。$R$ が被約環のときは、全ての $e>0$ に対して、としてもよい。

ここで $I^{[p^{e}]}$ は $I$ の元の $p^{e}$ベキで生成される $R$ のイデアルで、$I$ の $e$ 次フロベニウス冪という。

$I=I^{*}$ が成り立つとき、このイデアルは密着的閉（tightly closed）という。 全てのイデアルが密着的閉である環は弱 $F$ 正則（weakly $F$-regular, フロベニウス正則の意）という。また、環の任意の局所化が弱 $F$ 正則であるとき $F$ 正則という。

かつては密着閉包の操作と局所化が交換可能かどうかが大きな未解決問題だったが、Brenner & Monsky (2010) が反例を見つけた。しかし、全ての弱 $F$ 正則環が $F$ 正則かどうか、つまり環の全てのイデアルが密着的閉ならばその環の任意の局所化の任意のイデアルもまた密着的閉かどうか、という問題はまだ未解決である。