2015/7/16 CAS訂正・注釈事項③
群論: ひたすら解くⅢ
02:28 準同型φ:<(1,0)>→Z/4Zの像が群にならない ⇒ この(1,0)で生成された部分群に関して言えば実際にはなる。準同型は元の位数の約数を位数とする元に写す(位数2の元は位数2か1の元に移る)ので、φ((1,0))=2は問題ないがφ((0,1))をZ/4Zの位数2の別の元に割り当てることができない。
23:50 HによるGの剰余群の位数2の部分群 ⇒ HによるGの剰余群の部分群
群論: ひたすら解くⅢ
02:28 準同型φ:<(1,0)>→Z/4Zの像が群にならない ⇒ この(1,0)で生成された部分群に関して言えば実際にはなる。準同型は元の位数の約数を位数とする元に写す(位数2の元は位数2か1の元に移る)ので、φ((1,0))=2は問題ないがφ((0,1))をZ/4Zの位数2の別の元に割り当てることができない。
23:50 HによるGの剰余群の位数2の部分群 ⇒ HによるGの剰余群の部分群