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

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

เครื่องคำนวณลำดับทฤษฎีกรุป เป็นเครื่องมือแบบโต้ตอบสำหรับการศึกษากรุปจำกัด: โดยสามารถคำนวณลำดับของสมาชิกทุกตัว, ตรวจสอบว่ากรุปเป็น อาบีเลียน และเป็น วัฏจักร หรือไม่, แสดง ตารางการคูณ 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

การดำเนินการทางคณิตศาสตร์ขั้นสูง:

• เครื่องคิดเลข Antilog
• เครื่องคิดเลขฟังก์ชันเบต้า
• เครื่องคิดเลขสัมประสิทธิ์ทวินาม
• เครื่องคำนวณการแจกแจงแบบทวินาม
• เครื่องคิดเลขบิต
• เครื่องคำนวณทฤษฎีบทขีดจำกัดกลาง
• เครื่องคิดเลขรวม
• เครื่องคิดเลขฟังก์ชันข้อผิดพลาดเสริม
• เครื่องคิดเลขจำนวนเชิงซ้อน
• เครื่องคำนวณเอนโทรปี
• เครื่องคิดเลขฟังก์ชันผิดพลาด
• เครื่องคำนวณการสลายตัวแบบเอกซ์โพเนนเชียล
• เครื่องคำนวณการเติบโตแบบทวีคูณ ความแม่นยำสูง
• เครื่องคิดเลขเอกซ์โพเนนเชียลอินทิกรัล
• เครื่องคำนวณเลขยกกำลัง-ความแม่นยำสูง แนะนำ
• เครื่องคำนวณแฟกทอเรียล
• เครื่องคิดเลขฟังก์ชันแกมมา
• เครื่องคำนวณอัตราส่วนทองคำ
• เครื่องคิดเลขครึ่งชีวิต
• เครื่องคำนวณอัตราการเติบโตเป็นเปอร์เซ็นต์
• เครื่องคิดเลขเรียงสับเปลี่ยน
• เครื่องคิดเลขการแจกแจงแบบปัวซง
• เครื่องคำนวณรากของพหุนามพร้อมขั้นตอนละเอียด
• เครื่องคิดเลขความน่าจะเป็น
• เครื่องคิดเลขการแจกแจงความน่าจะเป็น
• เครื่องคำนวณสัดส่วน
• เครื่องคิดเลขสูตรกำลังสอง
• เครื่องคำนวณวิทยาศาสตร์
• เครื่องคิดเลขสัญกรณ์วิทยาศาสตร์
• เครื่องคำนวณเลขนัยสำคัญ ใหม่
• เครื่องคำนวณผลรวมของลูกบาศก์
• เครื่องคิดเลขหาผลรวมของจำนวนเต็มบวก
• ผลรวมของเครองคดเลขกำลงสอง
• เครื่องสร้างตารางค่าความจริง
• เครื่องคิดเลขทฤษฎีเซต
• เครื่องสร้างแผนภาพเวนน์3เซต
• เครื่องคิดเลขทฤษฎีเศษเหลือจีน
• เครื่องคิดเลขฟังก์ชันโทเชียนต์ออยเลอร์
• เครื่องคำนวณอัลกอริทึมยูคลิดขยาย
• เครื่องคำนวณอินเวอร์สการคูณแบบโมดูลาร์
• เครื่องคำนวณเศษส่วนต่อเนื่อง
• เครื่องคำนวณเส้นทางสั้นสุดของไดค์สตรา
• เครื่องคำนวณต้นไม้แผ่ทั่วน้อยสุด
• เครื่องตรวจสอบลำดับดีกรีของกราฟ
• เครื่องคำนวณดีเรนจ์เมนต์ ซับแฟกทอเรียล
• เครื่องคำนวณจำนวนสเตอร์ลิง
• เครื่องคำนวณหลักรังนกพิราบ
• เครื่องคำนวณการแจกแจงนิ่งโซ่มาร์คอฟ
• เครื่องคำนวณการปัดเศษ ใหม่
• เครื่องคำนวณการแจกแจงทวินามลบ ใหม่
• เครื่องคำนวณการเรียงสับเปลี่ยนแบบซ้ำได้ ใหม่
• เครื่องคำนวณเลขชี้กำลังมอดุลาร์ ใหม่
• เครื่องคำนวณรากดั้งเดิม
• ตัวลดรูปพีชคณิตบูลีน ใหม่
• ตัวแก้แผนผังคาร์นอฟ (K-Map Solver) ใหม่
• เครื่องคำนวณการระบายสีกราฟ ใหม่
• เครื่องคำนวณการเรียงลำดับทอพอโลยี ใหม่
• เครื่องคำนวณเมทริกซ์ประชิด ใหม่
• เครื่องคำนวณหลักการรวม-แยก ใหม่
• ตัวแก้ปัญหาโปรแกรมเชิงเส้น ใหม่
• เครื่องแก้ปัญหาพนักงานขายเดินทาง (TSP) ใหม่
• เครื่องตรวจสอบเส้นทางฮามิลตัน ใหม่
• เครื่องตรวจสอบกราฟระนาบ ใหม่
• เครื่องคำนวณการไหลในเครือข่าย (การไหลสูงสุด) ใหม่
• ตัวแก้ปัญหาการจับคู่แต่งงานที่เสถียร ใหม่
• เครื่องคำนวณลำดับทฤษฎีกรุป ใหม่
• เครื่องคำนวณริงและฟิลด์ ใหม่