18/11/18 22:16:33.67 GMEAnghv.net
言いたいことがよくわかりませんが、念のため補足しておくと、正規部分群かどうかは全く関係なくて、そもそもG'/Imψと書いただけで商群を意味するわけではないです。自然な演算が演算が入らないのであくまで「商集合」の意味しか持ちえませんね。
18/11/18 22:16:33.67 GMEAnghv.net
言いたいことがよくわかりませんが、念のため補足しておくと、正規部分群かどうかは全く関係なくて、そもそもG'/Imψと書いただけで商群を意味するわけではないです。自然な演算が演算が入らないのであくまで「商集合」の意味しか持ちえませんね。