分からない問題はここに書いてね268
■ このスレッドは過去ログ倉庫に格納されています
0096132人目の素数さん
2006/12/16(土) 01:09:09∀a∈N1をとる
ψ2:全射より∃b∈N2 s.t.ψ2(b)=g1(a)
g2οg1(a)=0よりg2οψ2(b)=0
可換性よりψ3οf2(b)=0
ψ3:単射よりf2(b)=0
∴b∈ker(f2)=Im(f1)
∴∃c∈M1 s.t.f1(c)=b
∴g1(a)=ψ2(b)=ψ2οf1(c)=g1οψ1(c)
∴g1(a)-g1οψ1(c)=0
g1:準同型よりg1(a-ψ1(c))=0
∴a-ψ1(c)∈ker(g1)
この後どうすればいいんでしょうか?
あるいは途中から変えなければいけませんか?
■ このスレッドは過去ログ倉庫に格納されています