Mathcenter Forum  

Go Back   Mathcenter Forum > คณิตศาสตร์โอลิมปิก และอุดมศึกษา > คณิตศาสตร์อุดมศึกษา
สมัครสมาชิก คู่มือการใช้ รายชื่อสมาชิก ปฏิทิน ค้นหา ข้อความวันนี้ ทำเครื่องหมายอ่านทุกห้องแล้ว

ตั้งหัวข้อใหม่ Reply
 
เครื่องมือของหัวข้อ ค้นหาในหัวข้อนี้
  #1  
Old 12 สิงหาคม 2010, 17:35
khlongez's Avatar
khlongez khlongez ไม่อยู่ในระบบ
จอมยุทธ์หน้าใหม่
 
วันที่สมัครสมาชิก: 21 สิงหาคม 2008
ข้อความ: 72
khlongez is on a distinguished road
Default รบกวนช่วยพิสูจน์เรื่องกรุปวัฏจักรให้หน่อยค่ะ ใกล้สอบแล้ว

1. กำหนดให้ G เป็นกรุปซึ่งมีกรุปย่อยเพียง 2 กรุปย่อยคือ G และ {e} เท่านั้น ( e คือสมาชิกเอกลักษณ์ของ G )
จงพิสูจน์ว่า G เป็นกรุปวัฏจักรและ |G| เป็นจำนวนเฉพาะ

2. กำหนดให้ G เป็นกรุปวัฏจักรที่มี a เป็นตัวก่อกำเนิดและ |G| = n ถ้า m เป็นจำนวนเต็มบวกที่ m|n จงพิสูจน์ว่าจะต้องมีกรุปย่อย H ของ G ที่ |H| = m

3.กำหนดให้ G เป็นกรุป และ a,b เป็นสมาชิกของ G โดยที่ a*b = b*a ถ้า O(a) = m และ O(b) = n โดยที่ห.ร.ม.ของ m และ n เท่ากับ 1 จงพิสูจน์ว่า O(a*b) = mn


ขอบคุณมากๆค่ะ
__________________
Who owns the throne?
ตอบพร้อมอ้างอิงข้อความนี้
  #2  
Old 12 สิงหาคม 2010, 22:21
nooonuii nooonuii ไม่อยู่ในระบบ
ผู้พิทักษ์กฎทั่วไป
 
วันที่สมัครสมาชิก: 25 พฤษภาคม 2001
ข้อความ: 6,408
nooonuii is on a distinguished road
Default

อ้างอิง:
ข้อความเดิมเขียนโดยคุณ khlongez View Post
1. กำหนดให้ G เป็นกรุปซึ่งมีกรุปย่อยเพียง 2 กรุปย่อยคือ G และ {e} เท่านั้น ( e คือสมาชิกเอกลักษณ์ของ G )
จงพิสูจน์ว่า G เป็นกรุปวัฏจักรและ |G| เป็นจำนวนเฉพาะ

2. กำหนดให้ G เป็นกรุปวัฏจักรที่มี a เป็นตัวก่อกำเนิดและ |G| = n ถ้า m เป็นจำนวนเต็มบวกที่ m|n จงพิสูจน์ว่าจะต้องมีกรุปย่อย H ของ G ที่ |H| = m

3.กำหนดให้ G เป็นกรุป และ a,b เป็นสมาชิกของ G โดยที่ a*b = b*a ถ้า O(a) = m และ O(b) = n โดยที่ห.ร.ม.ของ m และ n เท่ากับ 1 จงพิสูจน์ว่า O(a*b) = mn


ขอบคุณมากๆค่ะ
1. ให้ $a\neq e$ จากเงื่อนไขโจทย์ เนื่องจาก $<a>\neq\{e\}$ จะได้ทันทีว่า $<a>=G$

ดังนั้น $G$ เป็น cyclic group แยกพิจารณาเป็นสองกรณี

1. $G$ infinite เป็นไปไม่ได้ เพราะว่า $<a^2>$ จะเป็น proper subgroup

2. $G$ finite สมมติว่า $p$ เป็นตัวประกอบเฉพาะของ $|G|$

โดย Cauchy's Theorem จะมี $x\in G$ ซึ่ง $o(x)=p$

แต่จากเงื่อนไขโจทย์จะได้ทันทีว่า $<x>=G$

ดังนั้น $|G|$ เป็นจำนวนเฉพาะ

2. ให้ $H=<a>$ ก็จบแล้วล่ะลองไปดูนิยามของ $<a>$
__________________
site:mathcenter.net คำค้น
ตอบพร้อมอ้างอิงข้อความนี้
  #3  
Old 13 สิงหาคม 2010, 01:27
khlongez's Avatar
khlongez khlongez ไม่อยู่ในระบบ
จอมยุทธ์หน้าใหม่
 
วันที่สมัครสมาชิก: 21 สิงหาคม 2008
ข้อความ: 72
khlongez is on a distinguished road
Default

ขอรบกวนอีกนิดนึงนะคะ
คือ ไม่เข้าใจข้อ2.เลยค่ะ

ถ้าเราให้ H = <a> จะได้ว่า |H| = n เราก็จะพิสูจน์ได้แค่ว่า มีกรุปย่อย H ที่ |H| หาร n ลงตัว

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

ยังไงก็รบกวนช่วยอธิบายเพิ่มเติมให้หน่อยนะคะ
__________________
Who owns the throne?
ตอบพร้อมอ้างอิงข้อความนี้
  #4  
Old 13 สิงหาคม 2010, 01:50
Onasdi's Avatar
Onasdi Onasdi ไม่อยู่ในระบบ
กระบี่ประสานใจ
 
วันที่สมัครสมาชิก: 12 พฤษภาคม 2005
ข้อความ: 759
Onasdi is on a distinguished road
Default

คุณ nooonuii คงพิมพ์ตกไปครับ

$\displaystyle{H=<a^{\frac{n}{m}}>}$
ตอบพร้อมอ้างอิงข้อความนี้
  #5  
Old 13 สิงหาคม 2010, 02:10
Onasdi's Avatar
Onasdi Onasdi ไม่อยู่ในระบบ
กระบี่ประสานใจ
 
วันที่สมัครสมาชิก: 12 พฤษภาคม 2005
ข้อความ: 759
Onasdi is on a distinguished road
Default

3. สมมติว่า $(ab)^k=e$
รู้ว่า $ab=ba$ ดังนั้น $(ab)^k=abab...ab=a^kb^k$
จึงได้ $a^kb^k=e$

ยกกำลัง $m$ ทั้งสองข้าง $(a^kb^k)^m=e$
ได้ $a^kb^ka^kb^k...a^kb^k=e$ นั่นคือ $a^{km}b^{km}=e$
เนื่องจาก $a^m=e$ ได้ $b^{km}=e$
เพราะฉะนั้น $n|km$ แต่ $(m,n)=1$ ดังนั้น $n|k$
ในทำนองเดียวกัน จะได้่ $m|k$
ดังนั้น $mn|k$ ซึ่งแปลว่า $k\ge mn$

สุดท้ายแสดงว่า $(ab)^{mn}=e$ ก็จบแล้วครับ
ตอบพร้อมอ้างอิงข้อความนี้
  #6  
Old 13 สิงหาคม 2010, 04:45
nooonuii nooonuii ไม่อยู่ในระบบ
ผู้พิทักษ์กฎทั่วไป
 
วันที่สมัครสมาชิก: 25 พฤษภาคม 2001
ข้อความ: 6,408
nooonuii is on a distinguished road
Default

อ้างอิง:
ข้อความเดิมเขียนโดยคุณ Onasdi View Post
คุณ nooonuii คงพิมพ์ตกไปครับ

$\displaystyle{H=<a^{\frac{n}{m}}>}$
ใช่ครับ ตอนนั้นรีบก็เลยคิดว่า $a$ เป็น generator ของ $H$ ไปซะนี่

ขอบคุณมากครับ
__________________
site:mathcenter.net คำค้น
ตอบพร้อมอ้างอิงข้อความนี้
  #7  
Old 16 สิงหาคม 2010, 15:32
khlongez's Avatar
khlongez khlongez ไม่อยู่ในระบบ
จอมยุทธ์หน้าใหม่
 
วันที่สมัครสมาชิก: 21 สิงหาคม 2008
ข้อความ: 72
khlongez is on a distinguished road
Default

ขอบคุณทุกคนมากค่ะ
__________________
Who owns the throne?
ตอบพร้อมอ้างอิงข้อความนี้
  #8  
Old 18 สิงหาคม 2010, 02:06
kongp kongp ไม่อยู่ในระบบ
ลมปราณไร้สภาพ
 
วันที่สมัครสมาชิก: 05 พฤษภาคม 2006
ข้อความ: 1,127
kongp is on a distinguished road
Default

ถ้าโจทย์พิมพ์ไม่ตกละก็ คงต้องตอบอีกแบบใช่มั้ยครับ
ตอบพร้อมอ้างอิงข้อความนี้
ตั้งหัวข้อใหม่ Reply


เครื่องมือของหัวข้อ ค้นหาในหัวข้อนี้
ค้นหาในหัวข้อนี้:

ค้นหาขั้นสูง

กฎการส่งข้อความ
คุณ ไม่สามารถ ตั้งหัวข้อใหม่ได้
คุณ ไม่สามารถ ตอบหัวข้อได้
คุณ ไม่สามารถ แนบไฟล์และเอกสารได้
คุณ ไม่สามารถ แก้ไขข้อความของคุณเองได้

vB code is On
Smilies are On
[IMG] code is On
HTML code is Off
ทางลัดสู่ห้อง


เวลาที่แสดงทั้งหมด เป็นเวลาที่ประเทศไทย (GMT +7) ขณะนี้เป็นเวลา 05:48


Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Modified by Jetsada Karnpracha