15/03/28 19:44:17.98 XpA6GK50.net
>>713
「H と aHa-1 は同型である」を使えば、良いと思うんだ
>>439>>443でKer(f) が 群を成すことは、先に証明しているから（>>681に同じ）
なので、同型から全単射の存在が言える
それは、gやg'毎に考えるべきで、そうすれば、全てのg毎に全単射の存在が言える（gとg'とを混在させるとまずいが）
それで今回の問題には十分だろう
15/03/28 19:44:17.98 XpA6GK50.net
>>713
「H と aHa-1 は同型である」を使えば、良いと思うんだ
>>439>>443でKer(f) が 群を成すことは、先に証明しているから（>>681に同じ）
なので、同型から全単射の存在が言える
それは、gやg'毎に考えるべきで、そうすれば、全てのg毎に全単射の存在が言える（gとg'とを混在させるとまずいが）
それで今回の問題には十分だろう