代数学総合スレッド Part4
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
2007/08/25(土) 09:00:00代数学総合スレッド
http://science.2ch.net/test/read.cgi/math/1011536232/
代数学総合スレッド Part2
http://science3.2ch.net/test/read.cgi/math/1045779496/
代数学総合スレッド part3
http://science6.2ch.net/test/read.cgi/math/1116279106/
0978132人目の素数さん
2009/01/29(木) 13:27:15Aut(Z)={f:Z→Z;fは群同型}でZが群をなすにはその演算は+しかないと思います。
そこでfが全単射になる為にはf(z)=z+aの形しかないと思うのですが
これが群準同型を満たすにはf(z+z')=f(z)+f(z')を満たさねばならないと思います。
(左辺)=z+z'+a
(右辺)=z+z'+2a
a=2aでなければならないのでa=0.
よってf(z)=zすなわち,f=idしかないのかと思いますがZが群をなすにはその演算は+以外はない事はどうすれば示せますでしょうか?
そして演算が+以外にはない場合には,fとして上記のような写像以外にはない事はどうすれば示せますでしょうか?
0979132人目の素数さん
2009/01/29(木) 14:35:41「群」「演算」「準同型」などの定義からもう一度勉強しなおすことを勧める。
0980132人目の素数さん
2009/01/29(木) 14:40:37「Gal(Q(ζ)/Q)」という記号を使ってるからには、Q(ζ)/Qがガロア拡大だと知っていることになるわけだけど、
あなたは「ガロア拡大」のどういう定義を使ってますか?
流儀によっては、その命題は「ガロア拡大」の定義そのもの。
0981132人目の素数さん
2009/01/29(木) 21:35:510982132人目の素数さん
2009/01/30(金) 09:00:000983132人目の素数さん
2009/01/31(土) 11:00:000984132人目の素数さん
2009/02/01(日) 09:00:000985132人目の素数さん
2009/02/01(日) 10:10:00http://science6.2ch.net/test/read.cgi/math/1233450000/
0986132人目の素数さん
2009/02/01(日) 13:34:050987132人目の素数さん
2009/02/02(月) 11:00:000988132人目の素数さん
2009/02/02(月) 21:48:490989132人目の素数さん
2009/02/03(火) 06:04:22>そこでfが全単射になる為にはf(z)=z+aの形しかないと思うのですが
これが間違ってる。
f(0)とf(1)を考えて見なさい。
0990132人目の素数さん
2009/02/03(火) 09:00:010991132人目の素数さん
2009/02/04(水) 10:00:000992132人目の素数さん
2009/02/05(木) 09:00:000993132人目の素数さん
2009/02/05(木) 14:14:40ひまだな、BH…
0994132人目の素数さん
2009/02/05(木) 19:18:400995132人目の素数さん
2009/02/05(木) 19:35:44になるのか教えて下さい。
0996132人目の素数さん
2009/02/05(木) 19:45:10マルチ
0997132人目の素数さん
2009/02/05(木) 19:49:090998132人目の素数さん
2009/02/05(木) 19:49:210999132人目の素数さん
2009/02/05(木) 19:50:281000132人目の素数さん
2009/02/05(木) 19:51:0110011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。