- 締切済み
数学 環
環[√-2]={a+b√-2|a,b€Z}を考えるとき、(Z[√-2])^× ={1,-1}であることの示し方を教えて頂きたいです。
- rsyfivo3587
- お礼率33% (35/105)
- 数学・算数
- 回答数2
- ありがとう数0
- みんなの回答 (2)
- 専門家の回答
みんなの回答
- tmppassenger
- ベストアンサー率76% (285/372)
質問にきちんと答えてください。「(Z[√-2])^× という記号は、環Z[√-2]) の単元群を指している、ということでいいのか」という事をあなたにたずねている。
- tmppassenger
- ベストアンサー率76% (285/372)
別のところでも書きましたが、(Z[√-2])^×というのは環の単元群でいいのですか?
関連するQ&A
- 環の準同型と剰余環について
Zを整数環、AとBを可換環、Hom(A,B)をAからBへの環の準同型写像の全体の集合とします。 A ~= BをAとBが同型だという記号とします。 質問1 f(x,y)∈Z[x,y]とするとき、I=(f(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} でよいでしょうか?間違いなら、なにが同型でしょうか?(できれば証明付きで) 質問2 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 であってるのでしょうか? 特に質問1はネットで調べてもあまり出てきません。調べ方のコツか何かありましたら、あわせてご教授願います。
- 締切済み
- 数学・算数
- 代数学の環の問題です
有理整数環Zにおいて、a,b,cはZに属するとする。このとき、((a)+(b))共通((a)+(c))=(a)+((b)共通(c))が成り立つことを示せ。 という問題です。 教科書を見てもどのように証明を進めていけばよいのかわかりません。 文系の学生でもわかるように教えてください。
- 締切済み
- 数学・算数
- 数学(ベクトル)の問題
http://okwave.jp/qa/q8022847.html のNO.7の回答より、 さらに途中式を書いたのですが、 L^2 = m(t-n(s))^2-(a1^2+b1^2+c1^2 ) {(c1(z2-z1)+b1(y2-y1)+a1(x2-x1)+(a1a2+b1b2+c1c2)s)/(a1^2+b1^2+c1^2 )}^2+(a2^2+b2^2+c2^2 ){(s^2 )+2s{c2(z2-z1)+b2(y2-y1)+a2(x2-x1)}/{(a2^2+b2^2+c2^2 )} }+{(x2-x1)^2 }+{(y2-y1)^2 }+{(z2-z1)^2 } n(s)={c1(z2-z1)+b1(y2-y1)+a1(x2-x1)+(a1a2+b1b2+c1c2)s}/(a1^2+b1^2+c1^2 ) = m(t-n(s))^2-{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)+(a1a2+b1b2+c1c2)s}^2/(a1^2+b1^2+c1^2 )+(a2^2+b2^2+c2^2 ){(s^2 )+2s{c2(z2-z1)+b2(y2-y1)+a2(x2-x1)}/{(a2^2+b2^2+c2^2 )} }+{(x2-x1)^2 }+{(y2-y1)^2 }+{(z2-z1)^2 } = m(t-n(s))^2-{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)+(a1a2+b1b2+c1c2)s}^2/(a1^2+b1^2+c1^2 )+(a2^2+b2^2+c2^2 )(s^2 )+2s{c2(z2-z1)+b2(y2-y1)+a2(x2-x1)}+{(x2-x1)^2 }+{(y2-y1)^2 }+{(z2-z1)^2 } ところで {c1(z2-z1)+b1(y2-y1)+a1(x2-x1)+(a1a2+b1b2+c1c2)s}^2 = {c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}^2 +2{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}(a1a2+b1b2+c1c2)s +{(a1a2+b1b2+c1c2)s}^2 = {c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}^2 +2{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}(a1a2+b1b2+c1c2)s +(a1a2+b1b2+c1c2)^2 (*s)^2 これより、 L^2= m(t-n(s))^2+s^2 {(a2^2+b2^2+c2^2 )-(a1a2+b1b2+c1c2)^2/(a1^2+b1^2+c1^2 )} +s[2{(c2(z2-z1)+b2(y2-y1)+a2(x2-x1))-{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}(a1a2+b1b2+c1c2)s/(a1^2+b1^2+c1^2 )}] +{(x2-x1)^2 }+{(y2-y1)^2 }+{(z2-z1)^2 }-{c1(z2-z1)+b1(y2-y1)+a1(x2-x1)}^2/(a1^2+b1^2+c1^2 ) 簡単、 L^2 =m(t-n(s))^2+ps^2+p1s+p2 =m(t-n(s))^2+p(s^2+p1s/p)+p2 =m(t-n(s))^2+p(s^2+p1s/p+(p1/p)^2-(p1/p)^2 )+p2 =m(t-n(s))^2+p(s^2+p1s/p+(p1/p)^2 )-(p1)^2/p+p2 まで、計算したのですが(間違っていたら申し訳ありません)、 ここから、どのように q=-p1/2p が導出できるのかがわからないです。 (rは導出できました。) 数式だらけで分かりづらいと思いますが、計算ミスを指摘しつつ、導出過程も分かりやすくお願いします。
- 締切済み
- 数学・算数
- 数学の問題を教えていただきたいです
a11x+a12y+a13z=b1 a21x+a22y+a23z=b2 という連立方程式があるとき、x,yをzを用いて表せ、ただしa11a22-a12a21≠0とする という問題があるのですがどうやって解いたらいいのかわかりません。 わかる方がいたら教えていただきたいです。 よろしくお願いします。
- 締切済み
- 数学・算数
補足
お願いします