- ベストアンサー
ネーター環の性質証明
tmpnameの回答
- tmpname
- ベストアンサー率67% (195/287)
書かれた通りで特にコメントはないです。
関連するQ&A
- イデアルを使った証明
Rを環とし、I,JをRのイデアルとしたとき 『IとJの共通部分I∩Jもイデアルになる』 ということを証明したいのですが、どうしたらいいか分かりません。 イデアルの定義を応用してなんとかなるのかなど、 考えてみたのですが、分かりません。 どのように証明したらいいか教えてください。 お願いしますm(__)m
- ベストアンサー
- 数学・算数
- 体 変数多項式環 既約多項式
体 K 上の 1 変数多項式環を K[X] とし，X^3- 2 によって生成される K[X] のイデアルを I とし、 剰余環 A = K[X]/I について。 K が有理数体 Q であるとき，X^3- 2 は Q[X] の既約多項式であることとA が体であることをどのように示していけばいいでしょうか。
- ベストアンサー
- 数学・算数
- 応用代数の環に関する問題です。
応用代数の環に関する問題です。 Ｒを区間[0,1]上で定義された実数値連続関数の全体とする。このとき、Ｒの任意の２元f, gに加法"+"と乗法"・"を (f+g)(x)=f(x)+g(x) , (f・g)(x)=f(x)g(x) (∀ｘ∈[0,1]) で定義すると、Ｒは環となる。さらに、任意のｃ∈[0,1]を固定し、f(c)=0となるＲの元ｆの全体をＪｃとする。このとき、ＪｃはＲの極大イデアルとなることを示せ。 ただし、準同型定理と 「Ｉは極大イデアル⇔Ｒ／Ｉは体」を使ってよい。 この問題を教えてください。お願いします。
- ベストアンサー
- 数学・算数
- イデアルについて
(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/ … にある情報は断りなく使用して良いです。解かれているか否か、情報だけでもいいですし、考察でもいいので是非ご回答ください。
- 締切済み
- 数学・算数
- 環について
F[X]は体F上の一変数多項式環とする。記号の簡略化のため、多項式f(X)∈F[X]が 生成するF[X]のイデアルをJ_fと表すことにする。 (a) F[X]の任意のイデアルは一元で生成される。 (b) f(X)∈F[X]がF上既約で、Fのある拡大体Lの元αについてf(α)=0であるとする。 このとき、F(α) ＝~_F F[X]/J_fである。 (＝~_F はFの元は動かさないで=~であるとする。) （１） (b)においてＦ上既約という仮定を省くと、どのようなことが起こるか。例でもよい。 （２） 多項式f(X),g(X)∈F[X]についてJ_f = J_gとなるための必要十分条件を求めよ。 必要条件を考え、それが十分条件にもなっていることを確認せよ。 （３） f(X),g(X)∈F[X]に対して標準的な環準同型 φ:F[X]→F[X]/J_f＋F[X]/J_g , γ→(γ+J_λ, γ+J_μ) が考えられる。 もし、f(X),g(X)が互いに素（つまり、これらが生成するイデアルがF[X]に一致する。） ならば、φが全射であることを示せ。また、そのとき、準同型定理から得られる同型を求めよ。 ※(1+J_λ,0), (0,1+J_μ)∈F[X]/J_λ＋ F[X]/J_μに移る元が存在すれば、全射がわかる。 ただし、Ｆの単位元を1とした。 全然わかりません。わかる方いたらお願いします。
- 締切済み
- 数学・算数
- 環の準同型と剰余環について
Zを整数環、AとBを可換環、Hom(A,B)をAからBへの環の準同型写像の全体の集合とします。 A ～＝ BをAとBが同型だという記号とします。 質問１ f(x,y)∈Z[x,y]とするとき、I=(ｆ（x,y）)はZ[x,y]のイデアルです。 ある本に、 Hom(Z[x]/(F) , A) ～＝ {a∈A | f(a)=0} (F∈Z[x]) とあるのですが、多変数については「同じことが成立する」としか書いていません。 これの類推は、 Hom(Z[x,y]/I , A) ～＝ {a , b ∈A |f(a,b)=0} でよいでしょうか？間違いなら、なにが同型でしょうか？（できれば証明付きで） 質問２ g(x),h(x),a(x)∈Z[x]とします。Z[x]のイデアル J=（g(x) , h(x)）=g(x)Z[x] + h(x)Z[x] について、剰余環Z[x]/Jの元はとして、 a(x)+J、つまりa(x)+g(x)Z[x] + h(x)Z[x] 乗法の単位元は 1+J 加法の単位元は 0+J = J であってるのでしょうか？ 特に質問１はネットで調べてもあまり出てきません。調べ方のコツか何かありましたら、あわせてご教授願います。
- 締切済み
- 数学・算数
- 代数学☆イデアルの問題！！
次の問題について教えてください！！ Ｎ：自然数 Ｒ：環 Ｌ，Ｍ：左イデアル ＬＭ＝｛ｘ１・ｙ１＋ｘ２・ｙ２＋・・・＋ｘｎ・ｙｎ ｜ ｘｉ∈Ｌ，ｙｉ∈Ｍ (ｉ＝１，２，・・・，ｎ)，ｎ∈Ｎ｝ ＬＭがイデアルであることを示せ。 左イデアルであることは示せたんですが、右イデアルであることが示せません。 右イデアルを示すために ａ∈ＬＭ，ｒ∈Ｒに対して ａ＝ｘ１・ｙ１＋ｘ２・ｙ２＋・・・＋ｘｎ・ｙｎ (ｘｉ∈Ｌ，ｙｉ∈Ｍ) とおくと、 ａ・ｒ＝(ｘ１・ｙ１＋ｘ２・ｙ２＋・・・＋ｘｎ・ｙｎ)・ｒ ＝(ｘ１・ｙ１)・ｒ＋(ｘ２・ｙ２)・ｒ＋・・・＋(ｘｎ・ｙｎ)・ｒ ＝ｘ１・(ｙ１・ｒ)＋ｘ２・(ｙ２・ｒ)＋・・・＋ｘｎ・(ｙｎ・ｒ） になって、 ａ・ｒ∈ＬＭを示すのにｙｉ・ｒ∈Ｍを示すのかな、と思ったのですが、 どう示すのか分りません。 やり方自体間違っているのでしょうか、それともｙｉ・ｒ∈Ｍを示す方法があるのでしょうか。教えてください！！
- ベストアンサー
- 数学・算数
- 多項式環の問題です。どなたかよろしくお願いします。
多項式環の問題です。どなたか教えていただければ幸いに存じます。 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ψはわかるのですが… よろしくお願いいたします。
- 締切済み
- 数学・算数
- 基本対称式、イデアル
Ｔ＝ΣＣ[x1,x2,...,xn]ei （←Σはi=1からnまでの和） ＝｛Σfi(x)ei |fi(x)∈Ｃ[x1,...,xn]｝ Ｔをこのようにおきます。 （後半は集合として表しています。） ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 【注意点】 Ｃ[x1,x2,...,xn]はn変数複素係数多項式環 eiは基本対称式を表しています。 （※xnのnは添え字です。） （※ei、fi(x)のiは添え字です。） ￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣ このＴに関して次のようなことが言えるのですが、 どのような意味なのか理解することができません。 どなたか、以下の事をもう少し分かりやすく教えて いただけないでしょうか。 基本対称式｛ei｜１≦ｉ≦ｎ｝を含むようなイデアルはすべてＴを含むので、Ｔは基本対称式を含むような最小のイデアルである。 このようなとき、Ｔは基本対称式によって生成された イデアルといいＴ＝<ei|１≦ｉ≦ｎ>と表す。
- 締切済み
- 数学・算数
- 有限群に関する質問です。
有限群に関する質問です。 ガウスの整数環Z[i]を考えます。 Z[i]から0でない元を1つ取ってきて、それをxとします。 このとき、xが生成するイデアル(x)でZ[i]を割って、剰余環Z[i]/(x)を作ります。 これは特に剰余群ですが、この群が必ず有限群になるのはなぜですか？
- ベストアンサー
- 数学・算数