เครื่องคำนวณลำดับทฤษฎีกรุป

เกี่ยวกับ เครื่องคำนวณลำดับทฤษฎีกรุป

เครื่องคำนวณลำดับทฤษฎีกรุป เป็นเครื่องมือแบบโต้ตอบสำหรับการศึกษากรุปจำกัด: โดยสามารถคำนวณลำดับของสมาชิกทุกตัว, ตรวจสอบว่ากรุปเป็น อาบีเลียน และเป็น วัฏจักร หรือไม่, แสดง ตารางการคูณ Cayley เป็นแผนภูมิสีตามลำดับสมาชิก และวาด โครงสร้างกรุปย่อย ทั้งหมดเป็นแผนภาพ Hasse เครื่องมือนี้รองรับตระกูลกรุปสี่แบบที่พบบ่อยที่สุดในวิชาพีชคณิตเบื้องต้น: กรุปวัฏจักร Z_n, ผลคูณตรง Z_m × Z_n, กรุปไดฮีดรัล D_n และกรุปสลับเปลี่ยน S_n

ลำดับของสมาชิกคืออะไร?

สำหรับกรุปจำกัด G ที่มีเอกลักษณ์ e ลำดับ (order) ของสมาชิก g ∈ G เขียนแทนด้วย |g| หรือ ord(g) คือจำนวนเต็มบวก k ที่น้อยที่สุดที่ทำให้

ในอีกทางหนึ่ง ลำดับของ g คือขนาดของกรุปย่อยวัฏจักรที่มันสร้างขึ้น: |⟨g⟩| = ord(g) ทฤษฎีบทของลากรานจ์รับประกันว่า ord(g) จะต้องหาร |G| ลงตัวเสมอ ดังนั้นสำหรับกรุปที่มีลำดับ 12 ลำดับของสมาชิกที่เป็นไปได้คือ 1, 2, 3, 4, 6 และ 12

สูตรสำเร็จสำหรับกรุปทั่วไป

กรุปวัฏจักร Z_n

ภายใต้การบวกมอดุโล n ลำดับของสมาชิก k คือ

กรุปประเภทนี้จะเป็นวัฏจักร เสมอ (สร้างโดย 1) และจำนวนตัวกำเนิดจะเท่ากับฟังก์ชันโทเชียนต์ของออยเลอร์ φ(n)

ผลคูณตรง Z_m × Z_n

ผลคูณจะเป็นวัฏจักร — และสมสัณฐานกับ Z_mn — ก็ต่อเมื่อ gcd(m, n) = 1 นี่คือ ทฤษฎีบทเศษเหลือของจีน (Chinese Remainder Theorem) ที่กล่าวในบริบทของกรุป เช่น Z₃ × Z₅ ≅ Z₁₅ แต่ Z₂ × Z₄ ≇ Z₈

กรุปไดฮีดรัล D_n

D_n มีสมาชิก 2n ตัว: การหมุน n แบบ r^k และการสะท้อน n แบบ s·r^k ลำดับของสมาชิกจะเป็นไปตามรูปแบบดังนี้:

การสะท้อนทุกแบบคืออินโวลูชัน (ลำดับ 2) โดยที่ D_n จะไม่เป็นอาบีเลียนสำหรับ n ≥ 3

กรุปสลับเปลี่ยน S_n

ลำดับของการสลับเปลี่ยนจะเท่ากับ ตัวคูณร่วมน้อย (lcm) ของความยาวของวัฏจักร ในรูปแบบวัฏจักรที่แยกจากกัน (disjoint-cycle notation):

S_n มีลำดับเป็น n! และไม่เป็นอาบีเลียนสำหรับ n ≥ 3

ตาราง Cayley บอกอะไรเราบ้าง

ตาราง Cayley คือตารางการคูณของกรุป: ค่าในแถว a คอลัมน์ b คือผลคูณ a · b คุณสมบัติที่สำคัญสามประการที่ได้จากสัจพจน์ของกรุปคือ:

• จัตุรัสละติน (Latin square) — ทุกแถวและทุกคอลัมน์คือการสลับเปลี่ยนของสมาชิกกรุป (สมาชิกแต่ละตัวปรากฏเพียงครั้งเดียว)
• ความสมมาตรตามแนวทแยง หมายความว่ากรุปนั้นเป็นอาบีเลียน
• แนวทแยงของเอกลักษณ์ — ค่าในแนวทแยง A[i][i] จะเท่ากับเอกลักษณ์ก็ต่อเมื่อสมาชิกในแถว i มีลำดับ 1 หรือ 2

ในเครื่องคำนวณนี้ เซลล์จะถูกใส่สีตามลำดับของสมาชิกที่เกิดขึ้น เพื่อให้คุณเห็นรูปแบบโครงสร้างได้อย่างรวดเร็ว ตัวอย่างเช่น ในกรุปวัฏจักร แถวต่างๆ จะเป็นการเลื่อนวัฏจักรของกันและกัน ทำให้เกิดสีรุ้งที่สวยงาม

โครงสร้างกรุปย่อย (Subgroup Lattice)

เซตของกรุปย่อยทั้งหมดของ G ที่จัดอันดับตามการเป็นสับเซต จะประกอบกันเป็น แลตทิซ (lattice) เราวาดมันเป็นแผนภาพ Hasse: โดยมีกรุปย่อยเอกลักษณ์ {e} อยู่ที่ด้านล่างสุด กรุปทั้งหมด G อยู่ที่ด้านบนสุด และมีเส้นเชื่อม H → K เมื่อ K ⊂ H เป็นความสัมพันธ์แบบครอบคลุม ข้อเท็จจริงสำคัญที่พบได้จากโครงสร้างนี้:

ตัวอย่างการทำงาน — D₄ ของรูปสี่เหลี่ยม

กรุปไดฮีดรัลลำดับ 8 ของรูปสี่เหลี่ยมจัตุรัสมีสมาชิกแปดตัว: e, r, r², r³ (การหมุน) และ s, sr, sr², sr³ (การสะท้อน) เครื่องมือจะวิเคราะห์ได้ว่า:

• ลำดับของสมาชิก: 1, 4, 2, 4, 2, 2, 2, 2 — ศูนย์กลางการหมุน r² เป็นสมาชิกศูนย์กลางตัวเดียวที่ไม่ใช่เอกลักษณ์
• ไม่ใช่อาบีเลียน: s · r ≠ r · s
• ไม่ใช่กรุปวัฏจักร: ไม่มีสมาชิกตัวใดที่มีลำดับ 8
• 10 กรุปย่อย จัดเรียงในโครงสร้าง "D₄ lattice" ที่โดดเด่น: หนึ่งตัวลำดับ 1, ห้าตัวลำดับ 2, สามตัวลำดับ 4 (หนึ่งตัวเป็นวัฏจักร ⟨r⟩, สองตัวเป็น Klein four-groups), หนึ่งตัวลำดับ 8
• กรุปย่อยปกติสามตัว: {e, r²}, ⟨r⟩ และกรุปย่อย Klein four ทั้งสอง ส่วนกรุปย่อยการสะท้อนลำดับ 2 ทั้งสาม ไม่ใช่ กรุปย่อยปกติ

วิธีใช้งานเครื่องคำนวณนี้

1. เลือกตระกูลของกรุป โดยใช้แท็บ: วัฏจักร, ผลคูณ, ไดฮีดรัล หรือ สลับเปลี่ยน
2. กรอกพารามิเตอร์ จำนวนเต็ม n หนึ่งตัวสำหรับ Z_n, D_n และ S_n; กรอกทั้ง m และ n สำหรับผลคูณตรง
3. เลือกเน้นสมาชิก (ไม่บังคับ) โดยพิมพ์สมาชิกในช่อง Highlight — เช่น 8 สำหรับ Z₁₂, (1,2) สำหรับผลคูณ, r^2 หรือ s·r^3 สำหรับ D_n หรือ (1 2 3) สำหรับ S_n เครื่องมือจะแสดงลำดับและกรุปย่อยวัฏจักรที่มันสร้างขึ้น
4. คลิก วิเคราะห์กรุป คุณจะได้รับตาราง Cayley (แยกสีตามลำดับ), แผนภูมิแท่งการกระจายลำดับ, รายการสมาชิกทุกตัวพร้อมลำดับ และโครงสร้างกรุปย่อยเป็นแผนภาพ Hasse ที่สามารถวางเมาส์เพื่อดูรายละเอียดได้
5. วางเมาส์เหนือโหนดโครงสร้าง เพื่อดูสมาชิก, ตัวกำเนิด และตรวจสอบว่าเป็นกรุปย่อยปกติหรือไม่ วางเมาส์เหนือเซลล์ตาราง Cayley เพื่อดูว่าเกิดจากแถวและคอลัมน์ใด

ข้อจำกัดในเวอร์ชันนี้

• วัฏจักร Z_n: n ≤ 120
• ผลคูณ Z_m × Z_n: m · n ≤ 144
• ไดฮีดรัล D_n: n ≤ 20 (|D_n| ≤ 40)
• สลับเปลี่ยน S_n: n ≤ 5 (|S₅| = 120)
• ตาราง Cayley จะแสดงสำหรับกรุปที่มีลำดับ ≤ 24
• โครงสร้างกรุปย่อยฉบับเต็มคำนวณสำหรับกรุปที่มีลำดับ ≤ 60

การประยุกต์ใช้งานทั่วไป

• การเรียนพีชคณิตนามธรรม — ตรวจสอบการบ้านเรื่องลำดับสมาชิก, ทฤษฎีบทลากรานจ์ และการแจงกรุปย่อย
• วิทยาการรหัสลับ (Cryptography) — กรุปการคูณมอดุโลจำนวนเฉพาะเป็นกรุปวัฏจักร โดยที่ ord(g) เป็นตัวกำหนดความปลอดภัยของ Diffie–Hellman
• ผลึกศาสตร์และเคมี — กรุปไดฮีดรัลใช้อธิบายความสมมาตรของการหมุนในโมเลกุลและหน้าผลึก
• วิชาการจัดหมู่ (Combinatorics) — กรุปสลับเปลี่ยนใช้ในการนับการจัดหมู่ ซึ่งใช้ในบทแทรกของเบิร์นไซด์ (Burnside's lemma) และการนับของพอลยา (Pólya counting)
• ฟิสิกส์ — Point groups, Lie groups และการโต้แย้งเรื่องความสมมาตรในกลศาสตร์ควอนตัม ล้วนเริ่มต้นจากสัญชาตญาณเรื่องกรุปจำกัดที่เครื่องคำนวณนี้ทำให้เห็นภาพได้ชัดเจน

คำถามที่พบบ่อย

ลำดับของสมาชิกในกรุปคืออะไร?

ลำดับของสมาชิก g ในกรุปจำกัด G คือจำนวนเต็มบวก k ที่น้อยที่สุดที่ทำให้ g^k เท่ากับเอกลักษณ์ ตามทฤษฎีบทของลากรานจ์ ลำดับของทุกสมาชิกจะหารลำดับของกรุปได้ลงตัว

จะคำนวณลำดับของสมาชิกของ Z_n ได้อย่างไร?

สำหรับกรุปวัฏจักร Z_n ภายใต้การบวกมอดุโล n ลำดับของสมาชิก k คือ n / gcd(n, k) ตัวอย่างเช่น ใน Z₁₂ สมาชิก 8 มีลำดับ 12 / gcd(12, 8) = 12 / 4 = 3

กรุปเป็นวัฏจักรเมื่อใด?

กรุปจำกัดจะเป็นวัฏจักรก็ต่อเมื่อมันมีสมาชิกที่มีลำดับเท่ากับลำดับของกรุป ทุกกรุปวัฏจักรลำดับ n จะสมสัณฐานกับ Z_n ส่วนผลคูณตรง Z_m × Z_n จะเป็นวัฏจักรก็ต่อเมื่อ gcd(m, n) = 1

ตาราง Cayley คืออะไร?

ตาราง Cayley คือตารางการคูณรูปสี่เหลี่ยมจัตุรัสที่แสดงรายการผลคูณของสมาชิกกรุปทุกคู่ ค่าในแถว a คอลัมน์ b คือผลคูณ a · b แถวและคอลัมน์ของตาราง Cayley แต่ละแถวจะเป็นการสลับเปลี่ยนของสมาชิกกรุป — ซึ่งเป็นคุณสมบัติที่เรียกว่า จัตุรัสละติน (Latin-square property)

โครงสร้างกรุปย่อยคืออะไร?

โครงสร้างกรุปย่อยของกรุปจำกัด G คือเซตอันดับบางส่วนของกรุปย่อยทั้งหมดของ G ตามความสัมพันธ์การเป็นสับเซต เมื่อวาดเป็นแผนภาพ Hasse จะช่วยให้เห็นได้ง่ายว่ากรุปย่อยใดบรรจุอยู่ในกรุปย่อยใด และช่วยระบุกรุปย่อยปกติหรือลำดับชั้นที่สำคัญ

ทำไม S₃ ถึงสมสัณฐานกับ D₃?

กรุปทั้งสองมีลำดับ 6 และมีชุดลำดับสมาชิกเหมือนกัน (ลำดับ 1 หนึ่งตัว, ลำดับ 3 สองตัว และลำดับ 2 สามตัว) ความสมมาตรทั้งหกของรูปสามเหลี่ยมด้านเท่า — การหมุนสามแบบและการสะท้อนสามแบบ — สอดคล้องกับการสลับเปลี่ยนจุดยอดทั้งสามในหกแบบพอดี ดังนั้นในเชิงนามธรรมกรุปทั้งสองจึงเป็นกรุปเดียวกัน ลองสร้างทั้งสองกรุปในเครื่องคำนวณนี้ แล้วคุณจะเห็นว่าโครงสร้างกรุปย่อยเหมือนกันทุกประการ

อ่านเพิ่มเติม

• Order (group theory) — Wikipedia
• Cayley table — Wikipedia
• Lattice of subgroups — Wikipedia
• Dihedral group — Wikipedia
• Symmetric group — Wikipedia