代数学総合スレッド Part4
レス数が950を超えています。1000を超えると書き込みができなくなります。
0978１３２人目の素数さん
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として上記のような写像以外にはない事はどうすれば示せますでしょうか?
レス数が950を超えています。1000を超えると書き込みができなくなります。