推 linshihhua :1-1 ONTO? 07/22 21:02
推 znmkhxrw :你那個"=>"要是"<=>"才是證畢 07/22 21:04
推 armopen :證集合元素個數相等,證1-1,onto,課本證1-1,onto顯然 07/22 21:11
→ armopen :事實上,1-1和onto都用到了群的運算具有消去律 07/22 21:12
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