• ベストアンサー
  • 困ってます

環準同型

代数の勉強をしていてわからないことがあります。 Rを環とし、Rの単位元を1とする。このとき、整数環ZからRへの環準同型 ｆ：Z→R が唯１つ存在する。 f(n)=n・１（nはZの元）で与えられるf：Z→Rは環準同型である。これが唯１つの環準同型である。 と、あるのですがこれが環準同型であることは、定義にしたがってあてはめればわかったのですが、 唯１つであるということがわかりません。 なぜこのように結論付けられるのか教えていただけないでしょうか。

noname#203125
noname#203125

共感・応援の気持ちを伝えよう！

質問者が選んだベストアンサー

  • ベストアンサー
  • 回答No.1

勝手な環準同型 f ; Z → R を取ります．すると定義より f(1) = 1, f(2) = f(1 + 1) = f(1) + f(1) = 2, … と整数環 Z 上の値は自動的に決まってしまうからです．

共感・感謝の気持ちを伝えよう！

質問者からのお礼

なるほど！ 単位元も移っていくというのがポイントなんですね 的確な解説ありがとうございます。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 同型であることの示し方を教えてください。

    整数Ｚと有理数Ｑが加法群として同型であるかどうかを示したいのですが、 同型であることを示す証明がいまいちできません。 写像をどのように定義すればいいのですか？ 写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して 全射であることを示せばいいと思うのですが・・ 写像がいまいちわかりません。 あと、R　→　R*=R-{0} の時の写像もどのように考えればいいのでしょうか？

  • 環の準同型と剰余環について

    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 であってるのでしょうか？ 特に質問１はネットで調べてもあまり出てきません。調べ方のコツか何かありましたら、あわせてご教授願います。

  • 準同型写像

    m,n∈Nにおいて f:Z → Z/mZ + Z/nZ a → (a+mZ,b+nZ) とするとき、fは準同型写像であることを示せといわれましたが何を示せば良いかわかりません！あとKerfをmとnの言葉で答えよというものや、fが全射となる条件というのもさっぱりなのでヒントでもよいですから教えてもらえるとうれしいです！

  • ある３元の代数系で 0^0=1 とすることについて

    体と言われる代数系においては、0に逆元0^-1はありません。 従って、0^0=0^-1*0^1=1 とはされていません。 逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。 この質問では、以前の質問の回答を踏まえて、３元で考えます。 http://okwave.jp/qa/q7989312.html 次のような代数系を定義します。 -- ここから -- 集合X = {0, 1, Z} とする。 加法を次のように定義する。 0+0=0, 0+1=1, 0+Z=Z 1+0=1, 1+1=0, 1+Z=Z Z+0=Z, Z+1=Z, Z+Z=Z 乗法を次のように定義する。 0*0=0, 0*1=0, 0*Z=1 1*0=0, 1*1=1, 1*Z=Z Z*0=1, Z*1=Z, Z*Z=Z この代数系では、体での基本法則は以下のようになる。 ・加法において、交換法則と結合法則は成立する。 ・加法単位元は0で、Z以外は逆元 -0=0, -1=1 が存在する。 ・乗法において、交換法則は成立する。 ・乗法において、Zを除いた0, 1で結合法則は成立する。 ・乗法単位元は1で、逆元 1/0=Z, 1/1=1, 1/Z=0 が存在する。 ・Zを除いた0, 1で分配法則は成立する。 ・0≠1。 つまり、Zを除けば、この代数系は体になる。 -- ここまで -- この代数系で、べき乗を定義します。 べき乗：a^1=a, a^(n+1)=a^n*a より 0^1=0, 0^2=0, 0^3=0, … 1^1=1, 1^2=1, 1^3=1, … Z^1=Z, Z^2=Z, Z^3=Z, … さらに a^-1=1/a, a^-n=(a^-1)^n より 0^-1=Z, 0^-2=Z, 0^-3=Z, … 1^-1=1, 1^-2=1, 1^-3=1, … Z^-1=0, Z^-2=0, Z^-3=0, … そして a^0=a^-1*a より 0^0=1 1^0=1 Z^0=1 となります。 以上の結果から、次のことが分かります。 加法の単位元を０で表し、乗法の単位元を１で表すとき、０＾０＝１となる。 …という例が存在する。 つまり、体に０の逆元を添加し、分配法則が成立しない代数系では、０＾０＝１となることがある。 ここまでの計算とこの結論は妥当ですか？

  • 体の準同型について

    複数の本でガロア理論について学んでいるのですが、 「K自己同型」という言葉の定義が複数あって困っています。 （１）K,Aを体とする。KからAへの準同型があるとき、AをK代数という。 K,A,Bを体、φ：K→A、ψ：K→Bを準同型とし、φ,ψにより、A,BをK代数とみなす。このとき、準同型f：A→Bが、f◦φ＝ψという条件を満たすとき、fをK準同型という。K準同型が体の同型のときK同型という。 AがK代数である時、AからAへのK同型全体の集合は写像の合成により群になる。これをK自己同型群といい、Aut_k (A)とかく。 （２）Aを一つの体とする。Aの自己同型全体をAut(A)で表し、自己同型群と呼ぶ。 Aの一つの部分体Kが与えられたとする。σ∈Aut(A)がKのすべての元を固定するとき、σはAのK上の自己同型と呼ばれる。K上の自己同型の全体はAut(A)の部分群をなすので、この部分群をAのK上の自己同型群という。 （２）の定義の方は理解できたのですが、（１）のK代数の扱いがよくわかりません。この二つの定義は本質的には同じことを定義しているのでしょうか。（よろしければ、そうなる理由も書いていただけると嬉しいです。）

  • (Z,+,×,<)と同型になる環を示す。

    任意の順序環(M,+,×,<)は(Z,+,×,<)と同型な部分環をもつことを示せ。という問題です。Mに含まれるLをもってきて,(L,+,×,<)と(Z,+,×,<)が同型となることを示していきます。ZからMへの関数を考えて、それが全単射であることと順序が保存されることが順序同型の定義だと思いますが、構造(M,+,×,<)が一体どういったものなのかという根本的なところのイメージがわからなく、証明の方針がつかない状態です。どなたか回答お願いします。

  • 環の準同型写像について

    R,R'を環とします． 写像Φ:R→R'が任意のRの元x,yに対して Φ(x+y)=Φ(x)Φ(y) Φ(xy)=Φ(x)Φ(y) を満たすとき，Φを環における準同型写像といいますが，具体的にはどのような写像が考えられるのでしょうか? 出来ればΦが全単射になるもの，すなわちRとR'が環として同型となるようなものを教えていただけると助かります． これが分からないために上手い例を考えられず困っています． 詳しい方よろしくお願いします．

  • 代数の環の分野の問題です

    代数の環の分野の問題です 環Ｒが与えられたときＭｎ（Ｒ）をＲの元を成分にもつｎ字正方行列全体の集合とし、 行列の加法、乗法を通常のように定義すると Ｍｎ（Ｒ）はまた環でありｎ≧2のとき非可換であること を示したいです 教えてください お願いします

  • 加群の同型を示す。

    問題：次の同型を示せ。 1.Hom(Z,Z/n)とZ/n(nはZ) 2.Hom(Z/n,Z)と{0}(nは0じゃない) 3.Hom(Z/n,Z/m)とZ/d ただしm,nは0じゃない　d=(m,n)はm,nの最大公約数 同型写像をf→f(1)のように定めるのはわかるのですが、これが同型写像である証明(全単射など)がうまくできません＞＜ 詳しく教えてくれる方、お願いします。

  • ある代数系で 0^0=1 とすることについて

    体と言われる代数系においては、0に逆元0^-1はありません。 従って、0^0=0^-1*0^1=1 とはされていません。 逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。 次のような代数系を定義します。 -- ここから -- 集合X = {0, 1} とする。 加法を以下のように定義する。 0+0=0, 0+1=1 1+0=1, 1+1=0 乗法を以下のように定義する。 0*0=1, 0*1=0 1*0=0, 1*1=1 この代数系では、体での基本法則は以下のようになる。 ・交換法則と結合法則は、加法と乗法で成立する。 ・加法単位元は0で、-0=0, -1=1 となる。 ・乗法単位元は1で、1/0=0, 1/1=1 となる。 ・0≠1。 ・分配法則は成立しない。 -- ここまで -- この代数系で、べき乗を定義します。 べき乗：a^1=a, a^(n+1)=a^n*a より 0^1=0, 0^2=1, 0^3=0, … 1^1=1, 1^2=1, 1^3=1, … さらに a^-1=1/a, a^-n=(a^-1)^n より 0^-1=0, 0^-2=1, 0^-3=0, … 1^-1=1, 1^-2=1, 1^-3=1, … そして a^0=a^-1*a より 0^0=1 1^0=1 となります。 以上の結果から、次のことが分かります。 加法の単位元を０で表し、乗法の単位元を１で表すとき、０＾０＝１となる。 …という例が存在する。 つまり、０＾０が未定義なのは、体に固有の問題であり、 分配法則が成立しない代数系では、０＾０＝１となることがある。 ここまでの計算とこの結論は妥当ですか？

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する
質問する