- ベストアンサー
環 イデアル問題
Aを環、I,J,KをAのイデアルとする。I ⊆J ∪ Kならば、I ⊆JまたはI ⊆Kが成り立つことをどう示しますか。
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 代数学の、環とイデアルの問題を教えて下さい。
この問題が分からず困っています。 Aを環とし、I,JをAのイデアルとする。 I∪JはAのイデアルには一般にならないことを具体的なA,I,Jをあげて証明しなさい。 という問題です。分かる方、よろしくお願いします
- ベストアンサー
- 数学・算数
- 環の直積のイデアルについて
A、Bが環である時、A×BのイデアルはI×J (ただし、IとJはそれぞれAとBのイデアル)という形で書けますか? もしそうなら証明も教えください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- イデアルについてです。
Rは可換環。 IはRの素イデアル。 J1、J2がRのイデアルであるとき、J1J2⊂I ⇔ J1⊂I または J2⊂I であることを証明する問題なんですが、どうして左向きの矢印は、イデアルの定義から自明だといえるのでしょうか? かなりあきれる質問だと思われますが、くわしく教えてもらえたらうれしいです。
- ベストアンサー
- 数学・算数
- イデアルを使った証明
Rを環とし、I,JをRのイデアルとしたとき 『IとJの共通部分I∩Jもイデアルになる』 ということを証明したいのですが、どうしたらいいか分かりません。 イデアルの定義を応用してなんとかなるのかなど、 考えてみたのですが、分かりません。 どのように証明したらいいか教えてください。 お願いしますm(__)m
- ベストアンサー
- 数学・算数
- 単項イデアル環であることの証明
次の問題なんですが、 「単元でも素元でもないa∈Z-{0}に対して、Z/(a)は単項イデアル環であることを示せ。(自然な射影 f:Z→Z/(a)を考えよ)」(Zは整数環で可換、ユークリッド聖域、結果として単項イデアル聖域であることを認める。) これで、まず剰余類環Z/(a)から元を取ってきたら、それはa+(a)となり、それが単項イデアルになるということを示せばいいのでしょうか?そうすると、明らかにa+(a)={a+ka|k∈Z}=(a)となる。という感じではいけないのでしょうか?よろしくお願いします。
- ベストアンサー
- 数学・算数
- PIDでない環のイデアル(素イデアル)の探し方
PIDでない環のイデアルの探し方についての質問です。 数多くの代数や数論の教科書および参考書に, 以下の例が挙げられています; > 環 Z(√-5) において, > 素イデアルは (3,1+√-5),(3,1-√-5),(1+√-5,1-√-5) の3種類あり, > (3,1+√-5)×(3,1-√-5) = (3) > (3,1+√-5)×(1+√-5,1-√-5) = (1+√-5) > (3,1-√-5)×(1+√-5,1-√-5) = (1-√-5) > (1+√-5,1-√-5)^2 = (2) > なので,6 = 2×3 = (1+√-5)×(1-√-5) と2通りの素因数分解ができる とりあえず,この例については,正しく理解しているつもりです。 (自分で手を動かして,(3,1+√-5)×(3,1-√-5) = (3) などを確かめています。) 実際に手を動かすと 「なるほど,確かにイデアルになっているなぁ」とはわかるのですが, しかし,この「イデアル」の探し方(見つけ方)がわかりません。 これは明らかなことではなく, 考えていればそのうちわかるようなことでもないと思えるのですが, なにか「探し方のアルゴリズム」のようなものが存在するのでしょうか……。 ちなみに私の理解度について申しますと, 私が思いつく環はすべて整数環 Z と同じ「単項イデアル整域(PID)」ばかりで, そうでない例は,上記の「環 Z(√-5) 」くらいしか知りません。 (手元にあるどの本を見ても上記の例ばかり載っているので……) ということで, (1)単項イデアル整域(PID)でない環(と,その素イデアル)の例 (2)PIDではない環の素イデアルは,どのように探せば(考えれば)よいのか を,教えていただきたいと思います。 参考になる書籍(やWebサイト)を教えて頂くだけでも構いません。 どうぞよろしくお願いします。
- ベストアンサー
- 数学・算数
- 代数学の環の問題です。
I, J が環R のイデアルならば、I ∩ J もR のイデアルであることを示せ。 I, J が環R のイデアルならば、I + J = {a+b;a∈I,b∈J}とすると、I+JもR のイデアルであることを示せ。また、I⊂I+J、J⊂I+Jを示せ。 どちらか1問でもかまいません。解ける方いらっしゃいませんか? よろしくお願いします。
- 締切済み
- 数学・算数
- イデアルについて
(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:=k[x,y] k:体 I:=(x^5-y^2)をRの単項イデアル ψ:R→k[t] (ψ(a)=a (a∈k) ψ(x)=t^2 ψ(y)=t^5) とする。 (1)I=kerψを示せ。 (2)IはRの素イデアルである事を示せ。 (3)剰余環R/Iの商体が有理関数体k(t)と同型である事を示せ。 です。(1)から分からなかったです。もちろん、I⊂kerψはわかるのですが… よろしくお願いいたします。
- 締切済み
- 数学・算数
お礼
なるほど!ありがとうございます!参考にさせて頂きます<(_ _)>