设 [tex=2.357x1.357]UUkkq/4sba5XaZmmtvg8AhAglR9UOUTMq0iA7HXWgvM=[/tex] 是群[tex=19.357x1.286]O57s6imxbXKLv0cUCD1XIxoBlCnmWxTf+TUnp3u64H+FZLU2MLgMdYQukPoSfcvQTFfWjCYS1XhKiHYD2CMVzn28Dky5Wt/m6N6bk+4JSdABi9v0o+A+945A90jH3dHyi55u2ZvrrKMejMOxhyySbw==[/tex]证明: [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 上的等价关系。

证明: 在由群 [tex=2.357x1.357]UUkkq/4sba5XaZmmtvg8AhAglR9UOUTMq0iA7HXWgvM=[/tex]的子群[tex=2.429x1.357]lcK2MsYwPKwwTd6cXiLZKdfidaZHgGUsT0qw/oavhp4=[/tex]所确定的左陪集中，只有一个陪集是子群。