ขอรบกวนอีกนิดนึงนะคะ
คือ ไม่เข้าใจข้อ2.เลยค่ะ
ถ้าเราให้ H = <a> จะได้ว่า |H| = n เราก็จะพิสูจน์ได้แค่ว่า มีกรุปย่อย H ที่ |H| หาร n ลงตัว
แต่จากโจทย์เขาน่าจะให้เราพิสูจน์ว่า
ทุกจำนวนเต็มบวก m ใดๆก็ตามที่หาร n ลงตัว จะต้องมีกรุปย่อย H ของ G ที่ |H| = m เสมอ ไม่ใช่หรอคะ
หรือว่าเราเข้าใจอะไรผิดไป
ยังไงก็รบกวนช่วยอธิบายเพิ่มเติมให้หน่อยนะคะ