イデアルの根基

数学の一分野である可換環論において、イデアル I の根基（英: radical）とは、イデアルであって、何乗かすれば I の元となるような元全体の集合である。根基イデアル（あるいは半素イデアル、被約イデアル）とは、自分自身の根基と等しいようなイデアルのことである（これは「根基化」と呼ばれるイデアルへの作用の固定点であるということもできる）。準素イデアルの根基は素イデアルである。 ここで定義された根基イデアルは、半素環の記事において非可換環に一般化される。 可換環 R のイデアル I の根基は、Rad(I) または I {\displaystyle {\sqrt {I}}} と表記され、 I = { r ∈ R ∣ r n ∈ I  for some positive integer  n } {\displaystyle {\sqrt {I}}=\{r\in R\mid r^{n}\in I{\text{ for some positive integer }}n\}} と定義される。 直感的には、I の根基は I の元のあらゆるベキ根を取ることで得られると考えられる。同じことだが、I の根基はベキ零元からなるイデアル（冪零イデアルと呼ばれる）の R / I {\displaystyle R/I} における逆像である。後者は I {\displaystyle {\sqrt {I}}} はそれ自身イデアルであり、 I を含むことを示している。 I の根基が有限生成ならば、 I {\displaystyle {\sqrt {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 がイデアルであれば、 I n = I {\displaystyle {\sqrt {I^{n}}}={\sqrt {I}}} である。素イデアルは根基イデアルである。よって任意の素イデアル P に対し P n = P {\displaystyle {\sqrt {P^{n}}}=P} である。 I, J を環 R のイデアルとする。 I , J {\displaystyle {\sqrt {I}},{\sqrt {J}}} が comaximal であれば、 I , J {\displaystyle I,J} も comaximal である。 M をネーター環 R 上有限生成加群とする。このとき ann R ⁡ ( M ) = ⋂ p ∈ supp ⁡ M p = ⋂ p ∈ ass ⁡ M p {\displaystyle {\sqrt {\operatorname {ann} _{R}(M)}}=\bigcap _{{\mathfrak {p}}\in \operatorname {supp} M}{\mathfrak {p}}=\bigcap _{{\mathfrak {p}}\in \operatorname {ass} M}{\mathfrak {p}}} が成り立つ。ただし supp ⁡ M {\displaystyle \operatorname {supp} M} は M の台で、 ass ⁡ M {\displaystyle \operatorname {ass} 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 個の不定元 x 1 , x 2 , … , x n {\displaystyle x_{1},x_{2},\ldots ,x_{n}} の任意の有限生成多項式イデアル J に対して、 I ⁡ ( V ⁡ ( J ) ) = Rad ⁡ ( J ) {\displaystyle \operatorname {I} (\operatorname {V} (J))=\operatorname {Rad} (J)\,} が成り立つ。ただし、 V ⁡ ( J ) = { x ∈ k n   |   f ( x ) = 0  for all  f ∈ J } {\displaystyle \operatorname {V} (J)=\{x\in k^{n}\ |\ f(x)=0{\text{ for all }}f\in J\}} であり I ⁡ ( S ) = { f ∈ k [ x 1 , x 2 , … x n ]   |   f ( x ) = 0  for all  x ∈ S } {\displaystyle \operatorname {I} (S)=\{f\in k[x_{1},x_{2},\ldots x_{n}]\ |\ f(x)=0{\text{ for all }}x\in S\}} である。 これは次のようにも言える。環のイデアルの集合における合成 I ⁡ ( V ⁡ ( − ) ) = Rad ⁡ ( − ) {\displaystyle \operatorname {I} (\operatorname {V} (-))=\operatorname {Rad} (-)\,} は実は閉包演算子（英語版）である。根基の定義から、根基をとる操作はベキ等であることは明らかである。 [脚注の使い方] ^ 直接の証明は次のように与えられる。 a と b をイデアル I の根基の元とすると、ある正整数 m と n が存在して、an と bm は I の元である。a + b が I の根基の元であることを示す。（可換性が仮定されているので）二項定理を使って (a+b)n+m−1 を展開すると、 ( a + b ) n + m − 1 = ∑ i = 0 n + m − 1 ( n + m − 1 i ) a i b n + m − 1 − i . {\displaystyle (a+b)^{n+m-1}=\sum _{i=0}^{n+m-1}{n+m-1 \choose i}a^{i}b^{n+m-1-i}.} となる。各 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 は根基の元である。したがって根基はイデアルである。 ^ Atiyah–MacDonald 1969, Proposition 7.14 ^ Atiyah–MacDonald 1969, Proposition 4.2 ^ 証明： R = I + J = I + J {\displaystyle R={\sqrt {{\sqrt {I}}+{\sqrt {J}}}}={\sqrt {I+J}}} より I + J = R {\displaystyle I+J=R} . ^ Lang 2002, Ch X, Proposition 2.10 ^ 証明。任意の素イデアルは根基なので、この共通部分は Rad(I) を含む。逆に、r を R の元であって Rad(I) の元でないとし、S を集合 {rn|n は非負整数} とする。Rad(I) の定義によって、S は I と交わらない。S はまた積閉集合である。したがって、クルルの定理の変形によって、I を含み S と交わらない素イデアル P が存在する。（prime ideal を見よ。）P は I を含むが r を含まないので、このことは r が I を含む素イデアルの共通部分に入っていないことを示している。 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. Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, Zbl 0984.00001, MR1878556  ジャコブソン根基 冪零根基