作者mqazz1 (无法显示)
看板Math
标题[代数] coset
时间Fri Jul 22 20:34:53 2011
if H is a subgroup of a finite group G
then for any a,b 属於G
|aH| = |H|
我看证明这样写
let hi, hj 属於H
hi 不等於 hj
=> ahi 不等於 ahj
所以 |aH| = |H|
请问为什麽这样就证完了?
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.228.28.232
1F：推 linshihhua :1-1 ONTO? 07/22 21:02
2F：推 znmkhxrw :你那个"=>"要是"<=>"才是证毕 07/22 21:04
3F：推 armopen :证集合元素个数相等,证1-1,onto,课本证1-1,onto显然 07/22 21:11
4F：→ armopen :事实上,1-1和onto都用到了群的运算具有消去律 07/22 21:12