- ベストアンサー
イデアルの重要性が分かりません
イデアルの定義は、 ある集合Rに含まれる部分集合である環Iの元aとRの元bの積が Iの元であるときのaをイデアルと呼ぶ というものですが、これの一体どこがどう重要なのでしょうか？ よく書籍では環論においてもっとも重要な概念で一つである というように説明されますが、どこがどう重要なのか分かりません。 どなたか平易な言葉で説明して頂けないでしょうか？
- myumyu1234
- お礼率17% (52/293)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- イデアルについて
環Rのイデアル I_1=(a1,...,an)、I_2=(b1,...,bn)の積I_1I_2を (aibj)_{1≦i≦n,1≦j≦m}:nm個の元aibjで生成されるイデアル で定義する (例 (I_1=(a1,a2)、I_2=(b1,b2,b3) (⇒I_1I_2=(a1b1,a1b2,a1b3,a2b1,a2b2,a2b3) この時、Z[√(-5)]のイデアル α1=(2,1+√(-5))、α2=(2,1-√(-5)) β1=(3,1+√(-5))、β2=(3,1-√(-5)) に対し α1α2=(2)、β1β2=(3) α1β1=(1+√(-5))、α2β2=(1-√(-5)) を示せ 解き方がわかりません。 教えてください(。í _ ì。)
- 締切済み
- 数学・算数
- 極大素イデアルと極大イデアル
まず、質問文が長くなったことと、定義などをいろいろ細かく指定したことをお詫びします。 また、極大素イデアルというのは maximal prime ideal を勝手に日本語にしたもので、正しい数学用語かどうかわかりません。 この質問では乗法の単位元１をもつ可換環のみを考え、素イデアルは（１）に等しくないとします。 記号の使い方で、Ａ⊆ＢはＡがＢの部分集合、Ａ⊂ＢはＡがＢの真部分集合を表すとします。 このとき、素イデアルＰに対して、Ｐ⊂Ｐ’⊂（１）を満たす素イデアルＰ’が存在しないとき、Ｐを極大素イデアルと定義します。 ある数学書には、 Ｒをネター環、ＰをＲの極大イデアル、Ａ≠（１）をＲのイデアルとするとき、 Ｐ^n ⊆Ａ⊆Ｐとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つ という命題が載っていて、別の数学書には、 Ｒをネター環、ＰをＲの極大素イデアル、Ａ≠（１）をＲのイデアルとするとき、 Ｐ^n ⊆Ａとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つ という命題が載っています。ふたつを見比べると、これらの命題に限れば極大素イデアルと極大イデアルは互換性をもつといえます。 質問したいのは上の命題の証明ではなく、極大素イデアルと極大イデアルは同じものかどうかということです。 極大イデアルが極大素イデアルであることは明らかですが、逆は成り立つでしょうか。 成り立たないとすれば、Ｐ⊂Ｂ⊂（１）を満たす極大素イデアルＰと素イデアルでないイデアルＢが存在する例があるはずですが、そういう例が見つかりません。 極大素イデアルが極大イデアルであることを証明しようとも試みましたが、証明できませんでした。 有理整数環Ｚでは極大素イデアルは必ず極大イデアルになり、ｋ[x, y] の極大素イデアル (x, y) も極大イデアルですが、例を挙げただけでは証明になりませんので。 どうか、アドバイスをよろしくお願いします。
- ベストアンサー
- 数学・算数
- イデアルの和集合
Ｒは単位元１をもつ可換環。Ａ,Ｂ,ＣはＲのイデアルとする。 （１）Ａ∪ＢはＲのイデアルか。 （２）Ａ⊂Ｃ, Ｂ⊂Ｃとするとき、Ａ∪ＢとＣの包含関係を調べよ。 （１）はイデアルにならないと思いますが、特別な場合はイデアルになりますよね。 Ａ＝ゼロイデアルとか、Ｂ＝Ｒでもイデアルですよね。 線形で、２つの部分空間Ｘ,ＹがあってＸ∪Ｙも部分空間になるとき、Ｘ⊆ＹかＸ⊇Ｙだと教わりました。 イデアルだと、Ａ∪ＢがイデアルとＡ⊆ＢかＡ⊇Ｂは同値ですか。 Ａ⊆ＢかＡ⊇Ｂは十分条件なのは明らかですが、必要条件かどうかがわかりません。 （２）は集合として考えればＡ∪Ｂ⊆Ｃだと思うのですが、イデアルなのでＡ∪Ｂ⊂Ｃかもしれないと思います。 Ｃの元の中にＡ∪Ｂの元でないものがあればいいのですが、なかなか思いつきません。 やはり真部分集合じゃなくて、部分集合までしか成り立たないのでしょうか。
- ベストアンサー
- 数学・算数
- イデアルについて
(1)イデアルのノルムについて 初等整数論講義などの二次体に限った議論をしている本では、イデアルIのノルムN'(I)(あえて'をつけています)とは共役イデアル(Aの元の共役全体の集合)をI'としたときII'=(n)となる有理整数のことだと定義しています(nの存在は証明されている)。 これは一般のデデキント環AにおけるイデアルIのノルムN_A(I):=|A/I|に矛盾するでしょうか？ しないとしたら証明をお願いします。 (2)アルティン環のイデアルは有限個ですか？ k[x^2, x^3]/(x^4) においてax^2 + bx^3 (a,b は体kの元)で生成されるイデアルたちが無限個ありそうなので、偽と踏んでいますが厳密な証明を与えられる方はいらっしゃいませんか。 (3)Z[x]のイデアル(の形)を全て求めてください。ただし https://math.stackexchange.com/questions/300170/ … にある情報は断りなく使用して良いです。解かれているか否か、情報だけでもいいですし、考察でもいいので是非ご回答ください。
- 締切済み
- 数学・算数
- イデアルを使った証明
Rを環とし、I,JをRのイデアルとしたとき 『IとJの共通部分I∩Jもイデアルになる』 ということを証明したいのですが、どうしたらいいか分かりません。 イデアルの定義を応用してなんとかなるのかなど、 考えてみたのですが、分かりません。 どのように証明したらいいか教えてください。 お願いしますm(__)m
- ベストアンサー
- 数学・算数
- イデアルについてです。
Rは可換環。 IはRの素イデアル。 J１、J2がRのイデアルであるとき、J１J２⊂I ⇔ J1⊂I または J2⊂I であることを証明する問題なんですが、どうして左向きの矢印は、イデアルの定義から自明だといえるのでしょうか？ かなりあきれる質問だと思われますが、くわしく教えてもらえたらうれしいです。
- ベストアンサー
- 数学・算数
- イデアル
可換体論のネーター環の章ですが、ここではＲは可換環だけの仮定と思います。 (補題3.6.9） Ｐ1、----，Ｐnが環Ｒの素イデアルで、イデアルＡがどのＰiにも含まれていないならば，Ａの元aで、どのＰiにも含まれないものがある。 証明 ｎについての帰納法 ｎ＝１ ＯＫ n=n-1 ＯＫ仮定 ｎのとき Ｐi⊆Ｐn (i<n）なるｉがあれば、Piを省いたn-1個に適用すればよい。 すべてのi<ｎに関しＰiがＰnに含まれないとする。 ａ1∈Ａ、で∀i ＜ nに関し、Ｐiに含まれない元ａ1をとる。ａ１がＰnに含まれなければ補題を満たすので、ａ１∈Ｐnとする。 Ｐ1---Ｐn-1⊆Ｐnとすると、Ｐnは素イデアルゆえ Ｐi⊆Ｐn（∃ｉ＜ n）となり仮定に背くからＰ1---Ｐn-1はＰnに包まれない。よってＰ1---Ｐn-1の元ｂでＰnに包まれないものをとる。ａ＝ａ1+ｂとおけばよい。 Ｑ.Ｅ.Ｄ. と参考書にありましたが、ａがＡの元というのだけがわかりません。もしａがＡの元とすればｂもＡの元ということになりますよね。でもｂはＰ1---Ｐn-1の元ｂでＰnに包まれないものというだけなので疑問です。 どうかよろしくお願いします。
- ベストアンサー
- 数学・算数
- ZnがZのイデアルである事を示したいのです。
ZnがZのイデアルである事を示したいのです。 イデアルの定義は (i)x,y∈Znが和に関して閉じている (ii) r∈Zの時、rx∈Zn、xr∈Zn だと思います。 (i)を示す ∀(a)mod(n),(b)mod(n)∈Zn (a)mod(n)+(b)mod(n)=(a+b)mod(n)∈Zn (∵Znは群なので) (ii)を示す 次にZはZ1の事なので ∀(z)mod(1)∈Zをとると (a)mod(n)・(z)mod(1)=????? とここから先に進めません。 積はどう書けるのでしょうか?
- ベストアンサー
- 数学・算数
- 代数学の問題なんですが…
(1)Q[x]において{f(x)∈Q[x] | f(√2)=0}はイデアルか？ (2)２は{a+b√-5 | a,b∈Z}において規約元か？ (3)可換環Z/12Zのイデアルとその包含関係を書け (4)Q(√2)(={a+b√2 | a,b∈Q})からそれ自身への環準同型をすべて書け。 (5)Rを環、IをRの両側イデアルとする。 R/Iの元a+Iとb+Iの和をa+b+I、積をab+Iとするとこの和と積は 代表元a,bの取り方に依存しないこと(即ちWell-defind)であることを示せ 代数学がちょっと苦手なので簡単な問題かもしれませんが どうかご指南おねがいしますm(_ _)m
- 締切済み
- 数学・算数
- 【MFC-J6583CDW】で用紙を入れ直しても用紙トレイが抜けない状態に困っています。
- 使用環境はWindows10で無線LAN接続です。
- ひかり回線を利用しています。
