イデアルの根基

数学の一分野である可換環論において、イデアルI の根基（）とは、何乗かすれば I の元となるような元全体の集合のことをいう。二項定理により、I の根基もイデアルとなる。根基イデアル（あるいは半素イデアル、被約イデアル）とは、自分自身の根基と等しいようなイデアルのことである。準素イデアルの根基は素イデアルである。

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

定義

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

と定義される。

つまり、I の根基は I の元のあらゆるベキ根を取ることで得られる。同じことだが、I の根基はベキ零元からなるイデアル（冪零イデアルと呼ばれる）の における逆像である直接の証明は次のように与えられる。

a と b をイデアル I の根基の元とすると、ある正整数 m と n が存在して、an と bm は I の元である。a + b が I の根基の元であることを示す。（可換性が仮定されているので）二項定理を使って (a+b)n+m−1 を展開すると、

となる。各 i に対し、次の条件のうちちょうど1つが成り立つ。

i ≥ n n + m − 1 − i ≥ m.

これにより、各式 aibn+m− 1 − i において、a の指数が十分大きくその a のベキが I に入るか、b のベキが十分大きくその b のベキが I の入るか、いずれかが成り立つ。（I はイデアルだから）I の元と R の元の積は I に入るので、この積の式も I に入り、(a+b)n+m−1 も I に入り、したがって a+b は I の根基に入る。

根基がイデアルであることを確認することを終えるために、根基の元 a をとり、an が I の元であるとし、さらに任意の元 r∈R をとる。すると、(ra)n = rnan は I の元なので、ra は根基の元である。したがって根基はイデアルである。。後者は はそれ自身イデアルであり、 I を含むことを示している。

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

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

例

整数環 Z を考える。

4の倍数からなるイデアル 4Z の根基は 2Z である。 5Z の根基は 5Z である。 12Z の根基は 6Z である。 一般に、mZ の根基は 、r を m のすべての素因数の積とすると rZ となる。

準素イデアルの根基は素イデアルである。イデアル 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 のすべての素イデアルの共通部分である証明。任意の素イデアルは根基なので、この共通部分は Rad(I) を含む。逆に、r を R の元であって Rad(I) の元でないとし、S を集合 {rn|n は非負整数} とする。Rad(I) の定義によって、S は I と交わらない。S はまた積閉集合である。したがって、クルルの定理の変形によって、I を含み S と交わらない素イデアル P が存在する。（prime ideal を見よ。）P は I を含むが r を含まないので、このことは r が I を含む素イデアルの共通部分に入っていないことを示している。。もう少し強いことが言える。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.

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