- 締切済み
代数学の問題なんですが…
(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
- satsuki263
- お礼率0% (0/2)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- koko_u_
- ベストアンサー率18% (459/2509)
>代数学がちょっと苦手なので簡単な問題かもしれませんが ちょっとどころの話ではありません。 大学生なんだからその位は自分で判断して、単位の取得が無理なら諦めるのが賢明です。
関連するQ&A
- 代数の環の分野の問題です
代数の環の分野の問題です 可換環Rが与えられたとき文字Xを不定元とする R係数の多項式は p(X)=a_nX^n＋a_n-1X^n-1＋…＋a_1X＋a_0 =Σ(i=0からｎ)a_iX^i (a_i∈R） なる形のものです Xを不定元とするR係数の多項式全体の集合は可換環をなしこの可換環をR[X} とします R[X_1X_2,…,X_n]=(R[X_1X_2,…,X_n-1])[X_n] が定義され R[X_1X_2,…,X_n]をＲ上のｎ変数多項式環、 その元をＲ係数ｎ変数多項式というとき ｎ変数多項式は整理すると Σ_(0≦i_1,i_2,…,i_n) a_i_1i_2…i_nX_1^i_1X_2^i_2…X_n^i_n (a_i_1…a_i_n∈Ｒで和は有限和）とかける ことを示したいです 教えてください 文章分かりにくくてごめんなさい
- ベストアンサー
- 数学・算数
- 代数（環論）の問題です。 分かる方お願い致します
A＝Z[X]をXを不定元（変数）とする一変数多項式、Bを任意の可換環であるとする。 （１） Zの元１をBの単位元１に対応させることによって、環の準同型写像Z→Bが定まることを示せ。 （２） Bから任意に元bを選ぶ、このときA∋Xをbへ移す準同型写像ｆ：A[X]→Bがただ一つ存在することを示せ。このことにより、「A＝Z[X]からBへの準同型写像全体のなす集合」をHom（A,B)と表すと、集合としての一対一対応 Hom(Z[X],B)≅B が成り立つことを示せ。 （３） F∈Z[X]が生成するイデアル（F）⊂Z[X]について剰余環Z[X]/(F)を考える。準同型写像ｆ：Z[X]/(F)→Bと、 剰余に関する標準全射π：Z[X]→Z[X]/(F)を合成することにより、対応f∘π：Z[X]→Bが得られる。「Z[X]/FからBへの準同型写像全体のなす集合」をHom（Z[X]/(F),B）と表す時、上に述べた対応ｆ→ｆ∘πにより、Hom（Z[X]/(F),B）は、Hom（Z[X],B）の部分集合になること示せ。 (4) 小問(3)の包含関係Hom(Z[X]/(F),B)⊂Hom(Z[X],B)と、小問い(2)で与えた集合としての一対一対応関係Hom(Z[X],B)≅Bから、 Hom(Z[X]/(F),B)≅{b∈B｜F(b)=0} なる一対一対応ができることを示せ。 (5) 次の集合の元の個数をそれぞれ求めよ。 Hom(Z[X]/(X^4-2),Q),Hom(Z[X]/(X^4-2),R),Hom(Z[X]/(x^4-2),C)
- 締切済み
- 数学・算数
- 代数学☆イデアルの問題
Ｎ：自然数 Ａ，Ｂ：イデアル のとき ＡＢ＝｛ａ１・ｂ１＋・・・＋ａｎ・ｂｎ ｜ａｉ∈Ａ，ｂｉ∈Ｂ（ｉ＝１，・・・，ｎ）ｎ∈Ｎ｝ とする。 Ｒ：可換環 Ｍ１，Ｍ２：Ｒのイデアル Ｍ１＋Ｍ２＝Ｒ のとき Ｍ１Ｍ１＋Ｍ２Ｍ２＝Ｒ を示せ。 という問題なんですが、 Ｍ１Ｍ１＝Ｍ１，Ｍ２Ｍ２＝Ｍ２ より Ｍ１Ｍ１＋Ｍ２Ｍ２＝Ｒ と答えたら、間違いでした。 また、 Ｍ１の元とＭ２の元が互いに素であることを使う ということをヒントとしてもらったのですが、わかりません。 アドバイスをください！！よろしくお願いします。
- ベストアンサー
- 数学・算数
- 応用代数の環に関する問題です。
応用代数の環に関する問題です。 Ｒを区間[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) R (2) R[x] (3) Z[x] (4) C[x] 例えば、Rの素イデアルの一例として、 教科書に載っているような Ｒの部分環Z[√10]のイデアルP=(2,√10)などが 素イデアルであることは分かるのですが、 Rの素イデアル全ての集合といわれるとつまってしまいます。 上の他の環についても同様です。 漠然とした疑問ですいませんが、 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 代数学の証明問題について
代数学の証明問題について Sは可換環Rの積閉集合とし、PはSと交わらないイデアルの中で極大なものとする。(すなわち、Pより真に大きいイデアルIを取ると、I∩S≠(空集合) ) このとき、PはRの素イデアルであることを示せ。 上の証明問題がよく分かりません… わかる方、ご教示ください。
- ベストアンサー
- 数学・算数
- 環の準同型と剰余環について
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 であってるのでしょうか？ 特に質問１はネットで調べてもあまり出てきません。調べ方のコツか何かありましたら、あわせてご教授願います。
- 締切済み
- 数学・算数
