イデアルの根基

数学の一分野である可換環論において、イデアル I の根基（）とは、イデアルであって、何乗かすれば I の元となるような元全体の集合である。根基イデアル（あるいは半素イデアル、被約イデアル）とは、自分自身の根基と等しいようなイデアルのことである（これは「根基化」と呼ばれるイデアルへの作用の固定点であるということもできる）。準素イデアルの根基は素イデアルである。

ここで定義された根基イデアルは、半素環の記事において非可換環に一般化される。

定義

可換環 R のイデアル I の根基は、Rad(I) または  と表記され、

と定義される。

直感的には、I の根基は I の元のあらゆるベキ根を取ることで得られると考えられる。同じことだが、I の根基はベキ零元からなるイデアル（冪零イデアルと呼ばれる）の  における逆像である。後者は  はそれ自身イデアルであり、 I を含むことを示している。

I の根基が有限生成ならば、 を何乗かすると I に含まれる。とくに、I と J がネーター環のイデアルであれば、I と J が同じ根基をもつことと、I が J のあるベキを含み J が I のあるベキを含むことは同値である。

イデアル I が自分自身の根基と一致すれば、I は根基イデアルまたは半素イデアルと呼ばれる。

例

整数環 Z を考える。

 4の倍数のイデアル 4Z の根基は 2Z である。
 5Z の根基は 5Z である。
 12Z の根基は 6Z である。
 一般に、mZ の根基は rZ である。ただし r は m のすべての素因数の積である（radical of an integer を参照）。実はこれは任意のイデアルに一般化される（性質を参照）。

準素イデアルの根基は素イデアルである。イデアル I の根基が極大であれば、I は準素である。

I がイデアルであれば、 である。素イデアルは根基イデアルである。よって任意の素イデアル P に対し  である。

I, J を環 R のイデアルとする。 が comaximal であれば、 も comaximal である。

M をネーター環 R 上有限生成加群とする。このとき

が成り立つ。ただし  は M の台で、  は M に伴う素イデアルの集合である。

性質
この節において I は可換環 R のイデアルである。

 Rad(Rad(I))=Rad(I) は常に正しい。さらに、Rad(I) は I を含む最小の根基イデアルである。

 Rad(I) は I を含む R のすべての素イデアルの共通部分である。もう少し強いことが言える。I の根基は I を含む R の素イデアルのうち極小なものの共通部分である。

 直前の特別な例として、ベキ零根基（すべてのベキ零元の集合）は R のすべての素イデアルの共通部分に等しい。

 環 R のイデアル I が根基であるのは商環 R/I が被約であるとき、かつそのときに限る。

 斉次イデアルの根基は斉次イデアルである。

応用

根基を研究する主要な動機付けは可換環論で有名なヒルベルトの零点定理である。この定理の簡単に理解できるバージョンは次のようなものである。代数的閉体 k と、体 k 上の n 個の不定元  の任意の有限生成多項式イデアル J に対して、

が成り立つ。ただし、

であり

である。

これは次のようにも言える。環のイデアルの集合における合成  は実はである。根基の定義から、根基をとる操作はベキ等であることは明らかである。

脚注

参考文献 
M. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley, 1994. ISBN 0-201-40751-5
 Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.

関連項目 
 ジャコブソン根基
 冪零根基

環論
可換環論
閉包作用素
数学に関する記事