哦，我当时以为a和b是群G中任意两个元素，那第一段没错

这样的话，第二段中你只是证明了当H不正规时，g和gh不能都属于{g1，g2……}这个集合。并没证明或者推翻原题

但你证明的这个，是个显然的命题，这样的一组gi如果存在，必然是恰好不重复的遍布所有左陪集，同时也不重复的遍布所有右陪集
【 在 philbloo 的大作中提到: 】
: 请教一下为什么这句是错的？
:
: >>存在G的一系列元素g1，g2，……，使得g1H，g2H……互不相等，并且恰好是H在G中的所有左陪集
: ...................
--
修改:gtgtjing FROM 123.113.80.*
FROM 123.113.80.*