15/03/07 20:54:15.35 Pt6N2tUG.net
>>425
定義は
＞剰余群 G/Nの積を、giN*gjN＝gi*gjNで表す
までで十分。
そのあとの
＞∵giN*gjN＝gi*(N*gj)*N＝gi*(gj*N)*N＝gi*gjN
これは集合としての計算だと思えば N*N=N は一般には成り立たないので×
剰余類としての計算だと思えば gi*(N*gj)*N などが出てくるはずがないのでやはり×
それから、単位元とか逆元とかは well-defined の証明の後にするべき。
そもそも演算になってるかどうかわからないのに単位元も何もない。