イデアルの根基
数学の一分野である可換環論において、イデアル I の根基(英: radical of an ideal)とは、イデアルであって、何乗かすれば I の元となるような元の集合である。根基イデアル(あるいは半素イデアル)とは、自分自身の根基と等しいようなイデアルのことである。(これは「根基化」と呼ばれるイデアルへの作用の固定点であるということもできる。)準素イデアルの根基は素イデアルである。
ここで定義された根基イデアルは半素環の記事において非可換環に一般化される。
定義
可換環 R のイデアル I の根基は、Rad(I) または [math]\sqrt{I}[/math] と表記され、
- [math]\sqrt{I}=\{r\in R \mid r^n\in I \text{ for some positive integer } n\}[/math]
と定義される。
直感的には、I の根基は I の元のあらゆるベキ根を取ることで得られると考えられる。同じことだが、I の根基はベキ零元からなるイデアル(冪零イデアルと呼ばれる)の [math]R/I[/math] における逆像である[1]。後者は [math]\sqrt{I}[/math] はそれ自身イデアルであり、 I を含むことを示している。
I の根基が有限生成ならば、[math]\sqrt{I}[/math] を何乗かすると I に含まれる[2]。とくに、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 は準素である[3]。
I がイデアルであれば、[math]\sqrt{I^n} = \sqrt{I}[/math] である。素イデアルは根基イデアルである。よって任意の素イデアル P に対し [math]\sqrt{P^n} = P[/math] である。
I, J を環 R のイデアルとする。[math]\sqrt{I}, \sqrt{J}[/math] が comaximal であれば、[math]I, J[/math] も comaximal である[4]。
M をネーター環 R 上有限生成加群とする。このとき
- [math]\sqrt{\operatorname{ann}_R(M)} = \bigcap_{\mathfrak{p} \in \operatorname{supp}M} \mathfrak{p} = \bigcap_{\mathfrak{p} \in \operatorname{ass}M} \mathfrak{p}[/math]
が成り立つ[5]。ただし [math]\operatorname{supp}M[/math] は M の台で、 [math]\operatorname{ass}M[/math] は M に伴う素イデアルの集合である。
性質
この節において I は可換環 R のイデアルである。
- Rad(Rad(I))=Rad(I) は常に正しい。さらに、Rad(I) は I を含む最小の根基イデアルである。
- Rad(I) は I を含む R のすべての素イデアルの共通部分である[6]。もう少し強いことが言える。I の根基は I を含む R の素イデアルのうち極小なものの共通部分である。
- 直前の特別な例として、ベキ零根基(すべてのベキ零元の集合)は R のすべての素イデアルの共通部分に等しい。
- 斉次イデアルの根基は斉次イデアルである。
応用
根基を研究する主要な動機付けは可換環論で有名なヒルベルトの零点定理である。この定理の簡単に理解できるバージョンは次のようなものである。代数的閉体 k と、体 k 上の n 個の不定元 [math]x_1, x_2, \ldots, x_n[/math] の任意の有限生成多項式イデアル J に対して、
- [math]\operatorname{I}(\operatorname{V}(J)) = \operatorname{Rad} (J)\,[/math]
が成り立つ。ただし、
- [math] \operatorname{V}(J) = \{x \in k^n \ |\ f(x)=0 \text{ for all } f\in J\}[/math]
であり
- [math] \operatorname{I}(S) = \{f \in k[x_1,x_2,\ldots x_n] \ |\ f(x)=0 \text{ for all } x\in S \}[/math]
である。
これは次のようにも言える。環のイデアルの集合における合成 [math]\operatorname{I}(\operatorname{V}(-))=\operatorname{Rad}(-)\,[/math] は実は閉包演算子である。根基の定義から、根基をとる操作はベキ等であることは明らかである。
関連項目
脚注
- ↑ 直接の証明は次のように与えられる。
a と b をイデアル I の根基の元とすると、ある正整数 m と n が存在して、an と bm は I の元である。a + b が I の根基の元であることを示す。(可換性が仮定されているので)二項定理を使って (a+b)n+m−1 を展開すると、
- [math](a+b)^{n+m-1}=\sum_{i=0}^{n+m-1}{n+m-1\choose i}a^ib^{n+m-1-i}.[/math]
- i ≥ n
- n + m − 1 − i ≥ m.
- ↑ Atiyah–MacDonald 1969, Proposition 7.14
- ↑ Atiyah–MacDonald 1969, Proposition 4.2
- ↑ 証明:[math]R = \sqrt{\sqrt{I} + \sqrt{J} } = \sqrt{I + J}[/math] より [math]I + J = R[/math].
- ↑ 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 Algebra