15/03/08 00:15:28.80 AXAfK1QO.net
>>438
>well-defined を知らないんだったら
全く知らないわけじゃないが、well-defined は、多義性があると思うんだ
人によって（というか本とか場面で）微妙にね
で、共通認識として、>>423を出した。この線でやってみようと
>>417(3)で、一般に剰余類が、右剰余類が１通り、左剰余類が１通り、計２通り。正規部分群なら、１通り。
それで、>>423の「(2) 定義がもともとの対象から複数定まる対象を経由して行われる場合、結果がもともとの対象にのみ依存する。」に合うだろうと
正規部分群の性質を強く使えば、１通りはすぐ言えそうだが
右剰余類が１通り・・辺りが、うまく言えない・・