A=Z[X]をXを不定元(変数)とする一変数多項式、Bを任意の可換環であるとする。
(1)Zの元1をBの単位元1に対応させることによって、環の準同型写像Z→Bが定まることを示せ。
(2)Bから任意に元bを選ぶ、このときA∋Xをbへ移す準同型写像f:A[X]→Bがただ一つ存在することを示せ。このことにより、「A=Z[X]からBへの準同型写像全体のなす集合」をHom(A,B)と表すと、集合としての一対一対応
Hom(Z[X],B)≅B
が成り立つことを示せ。
(3)F∈Z[X]が生成するイデアル(F)⊂Z[X]について剰余環Z[X]/(F)を考える。準同型写像f:Z[X]/(F)→Bと、
剰余に関する標準全射π:Z[X]→Z[X]/(F)を合成することにより、対応f∘π:Z[X]→Bが得られる。「Z[X]/FからBへの準同型写像全体のなす集合」をHom(Z[X]/(F),B)と表す時、上に述べた対応f→f∘πにより、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)
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
(1)
f(1)=1
0=f(1-1)=f(1)+f(-1)=1+f(-1)
f(-1)=-1
あるk∈Zについてf(k)=kが成り立つとすると
f(k+1)=f(k)+f(1)=k+1
f(k-1)=f(k)+f(-1)=k-1
∴∀n∈Z→f(n)=n
(2)
b∈B
f:A→B,F∈A→f(F)=F(b)
とすると
f(X)=b
となる。
{F,G}⊂A
とすると
f(F+G)=(F+G)(b)=F(b)+G(b)=f(F)+f(G)
f(FG)=(FG)(b)=F(b)G(b)=f(F)f(G)
だから
fは準同型となる
g(X)=bとなるg準同型とすると
g(F)=F(g(X))=F(b)=f(F)
g=f
となりfがf(X)=bとなるただ1つの準同型となる
h:Hom(A,B)→B,h(f)=f(X)とすると
任意のb∈Bに対して,h(f)=f(X)=bとなる準同型fがただ1つ存在するから
hは全単射となるから
Hom(A,B)~B
(3)
h:Hom(A/(F),B)→Hom(A,B),h(f)=f○πとすると
h(f)=h(g)→f○π=g○π→f=gだからhは単射だから
Hom(A/(F),B)はHom(A,B)の部分集合と同型となる
(4)
π:A→A/(F)
f∈Hom(A/(F),B)
とすると
F((f○π)(X))=(f○π)(F)=0
だから
(f○π)(X)∈{b∈B|F(b)=0}
だから
h:Hom(A/(F),B)→{b∈B|F(b)=0},h(f)=(f○π)(X)とhを定義できて
b∈{b∈B|F(b)=0}→g(X)=bとなるただ1つの準同型gが存在して
g(F)=F(b)=0となるから
g=f○πとなる準同型fがただ1つ存在するから
hは全単射
Hom(A/(F),B)~{b∈B|F(b)=0}
(5)
Q=(全有理数),R=(全実数),C=(全複素数)
とすると
|Hom(A/(X^4-2),Q)|=|{b∈Q|b^4-2=0}|=|φ|=0
|Hom(A/(X^4-2),R)|=|{b∈R|b^4-2=0}|=|{±2^{1/4}}|=2
|Hom(A/(X^4-2),C)|=|{b∈C|b^4-2=0}|=|{±2^{1/4},±2^{1/4}i}|=4
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 有限生成環から体へのC代数準同型写像についての質問 1 2023/03/08 12:15
- Excel(エクセル) IF 関数で「〇〇 という文字を含む場合」の分岐処理で表示された数字はSUMで数字集計できますか? 3 2022/08/02 16:29
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
次の説明は「急速に減少✨️しな...
-
要素と、部分集合の違いを教え...
-
高1数学
-
6以下の自然数全体の集合の要素...
-
数学で、数字の上にある横線の意味
-
1から100までの自然数で、3,4,5...
-
集積点が、まったく分かりませ...
-
数学でのセミコロンについて
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
情報量の定義でなぜ対数を使う...
-
数字は存在するのか
-
A∩BとAかつBは意味が違うのでし...
-
要素数nの集合Aにおける反射律...
-
部分が全体に等しいのが無限で...
-
集合
-
保育園・幼稚園で集合写真を購...
-
数学の集合で閉じているの意味...
-
_ a aの上に書かれている_(ア...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報