明白了 是我错了 \phi 的 domain 不能从 S 扩大到 G


【 在 gtgtjing 的大作中提到: 】
: 哦，我当时以为a和b是群G中任意两个元素，那第一段没错
: 这样的话，第二段中你只是证明了当H不正规时，g和gh不能都属于{g1，g2……}这个集合。并没证明或者推翻原题
: 但你证明的这个，是个显然的命题，这样的一组gi如果存在，必然是恰好不重复的遍布所有左陪集，同时也不重复的遍布所有右陪集
--
FROM 188.67.137.*