根基とは? わかりやすく解説

こん‐き【根基】

読み方:こんき

ねもと。根底


イデアルの根基

(根基 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/11/30 00:37 UTC 版)

ナビゲーションに移動 検索に移動

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

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

定義

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

と定義される。

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

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

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

整数Z を考える。

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

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

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

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

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

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

性質

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

  • Rad(Rad(I))=Rad(I) は常に正しい。さらに、Rad(I) は I を含む最小の根基イデアルである。
  • Rad(I) は I を含む R のすべての素イデアルの共通部分である[6]。もう少し強いことが言える。I の根基は I を含む R の素イデアルのうち極小なものの共通部分である。
  • 直前の特別な例として、ベキ零根基(すべてのベキ零元の集合)は R のすべての素イデアルの共通部分に等しい。
  • R のイデアル I が根基であるのは商環 R/I被約であるとき、かつそのときに限る。
  • 斉次イデアルの根基は斉次イデアルである。

応用

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

が成り立つ。ただし、

であり

である。

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

脚注

[脚注の使い方]
  1. ^ 直接の証明は次のように与えられる。 ab をイデアル I の根基の元とすると、ある正整数 mn が存在して、anbmI の元である。a + bI の根基の元であることを示す。(可換性が仮定されているので)二項定理を使って (a+b)n+m−1 を展開すると、
    となる。各 i に対し、次の条件のうちちょうど1つが成り立つ。
    • in
    • n + m − 1 − im.
    これにより、各式 aibn+m− 1 − i において、a の指数が十分大きくその a のベキが I に入るか、b のベキが十分大きくその b のベキが I の入るか、いずれかが成り立つ。(I はイデアルだから)I の元と R の元の積は I に入るので、この積の式も I に入り、(a+b)n+m−1I に入り、したがって a+bI の根基に入る。 根基がイデアルであることを確認することを終えるために、根基の元 a をとり、anI の元であるとし、さらに任意の元 rR をとる。すると、(ra)n = rnanI の元なので、ra は根基の元である。したがって根基はイデアルである。
  2. ^ Atiyah–MacDonald 1969, Proposition 7.14
  3. ^ Atiyah–MacDonald 1969, Proposition 4.2
  4. ^ 証明: より .
  5. ^ Lang 2002, Ch X, Proposition 2.10
  6. ^ 証明。任意の素イデアルは根基なので、この共通部分は Rad(I) を含む。逆に、rR の元であって Rad(I) の元でないとし、S を集合 {rn|n は非負整数} とする。Rad(I) の定義によって、SI と交わらない。S はまた積閉集合である。したがって、クルルの定理の変形によって、I を含み S と交わらない素イデアル P が存在する。(prime ideal を見よ。)PI を含むが r を含まないので、このことは rI を含む素イデアルの共通部分に入っていないことを示している。

参考文献

関連項目


根基

出典:『Wiktionary』 (2021/08/15 23:56 UTC 版)

名詞

 こんき

  1. 大元根元ねもと、こんげん根源[1]

発音(?)

こ↘んき


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「根基」の関連用語

根基のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



根基のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのイデアルの根基 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの根基 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS