กรุป (คณิตศาสตร์)
จากวิกิพีเดีย สารานุกรมเสรี
ในพีชคณิตนามธรรม, กรุป (group) คือ เซตกับการดำเนินการทวิภาค เช่น การคูณหรือการบวก ซึ่งสอดคล้องกับสัจพจน์ ตัวอย่างเช่น เซตของจำนวนเต็มเป็นกรุปภายใต้การดำเนินการการคูณ. สาขาของคณิตที่ศึกษาเกี่ยวกับกรุปเรียกว่า ทฤษฎีกรุป
ต้นกำเนิดของทฤษฎีกรุปนั้นย้อนกลับไปสู่ผลงานของเอวาริสต์ กาลัวส์ (พ.ศ. 2373) เกี่ยวกับปัญหาที่ว่าเมื่อใดสมการเชิงพีชคณิตจึงจะสามารถหาคำตอบได้จากราก ก่อนผลงานของเขาการศึกษากรุปเป็นไปอย่างเป็นรูปธรรม ในรูปแบบการเรียงสับเปลี่ยน หลักเกณฑ์บางข้อของอาบีเลียนกรุป อยู่ในทฤษฎีรูปแบบกำลังสอง
หลายสิ่งที่ศึกษากันในคณิตศาสตร์เป็นกรุป รวมไปถึงระบบจำนวนที่คุ้นเคย เช่น จำนวนเต็ม จำนวนตรรกยะ จำนวนจริง และจำนวนเชิงซ้อน ภายใต้การบวก เช่นเดียวกับจำนวนตรรกยะ จำนวนจริง และจำนวนเชิงซ้อนที่ไม่ใช่ศูนย์ ภายใต้การคูณ ตัวอย่างที่สำคัญอีกตัวอย่างหนึ่งคือ เมทริกซ์ไม่เอกฐาน ภายใต้การคูณ และฟังก์ชันที่หาฟังก์ชันผกผันได้ ภายใต้ การประกอบฟังก์ชัน ทฤษฎีกรุปรองรับคุณสมบัติของระบบเหล่านี้และระบบอื่นๆอีกมากมายในรูปแบบทั่วไป ผลลัพธ์ยังสามารถประยุกต์ได้หลากหลาย ทฤษฎีกรุปยังเต็มไปด้วยทฤษฎีบทในตัวมันเองอีกมากเช่นกัน
ภายใต้กรุปยังมีโครงสร้างเชิงพีชคณิตอีกมาก เช่นฟิลด์ และปริภูมิเวกเตอร์ กรุปยังเป็นเครื่องมือที่สำคัญในการศึกษาสมมาตรในรูปแบบต่างๆ หลักการที่ว่า "สมมาตรของวัตถุใดๆก่อให้เกิดกรุป" เป็นหลักพื้นฐานของคณิตศาสตร์มากมาย ด้วยเหตุผลเหล่านี้ทฤษฎีกรุปจึงเป็นสาขาที่สำคัญในคณิตศาสตร์ยุดใหม่ และยังเป็นหนึ่งในบทประยุกต์ของ ฟิสิกส์เชิงคณิตศาสตร์ อีกด้วย (ตัวอย่างเช่น ฟิสิกส์อนุภาค)
เนื้อหา |
[แก้] นิยามพื้นฐาน
กรุป (G, * ) คือ เซตไม่ว่าง G กับ การดำเนินการทวิภาค * : G × G → G, ซึ่งสอดคล้องกับสัจพจน์ข้างล่าง. "a * b" ใช้แสดงผลลัพธ์ของการใช้ตัวดำเนินการ * กับคู่อันดับ (a, b) ของสมาชิกของ G. สัจพจน์ของกรุปมีดังนี้:
- การเปลี่ยนหมู่: สำหรับ a, b และ c ใน G, (a * b) * c = a * (b * c).
- สมาชิกเอกลักษณ์: มีสมาชิก e ใน G ที่ทำให้สำหรับทุก a ใน G, e * a = a * e = a.
- สมาชิกผกผัน: สำหรับ a ใน G, จะมีสมาชิก b ใน G ที่ทำให้ a * b = b * a = e, เมื่อ e คือสมาชิกเอกลักษณ์จากสัจพจน์ที่ผ่านมา
[แก้] ความคิดพื้นฐานในทฤษฎีกรุป
[แก้] อันดับของกรุปและสมาชิก
อันดับของกรุป G นิยมเขียนเขียนแทนด้วย |G| หรือ o(G) หมายถึงจำนวนสมาชิกในเซต G ถ้าอันดับเป็นจำนวนไม่จำกัด กรุปนั้นเป็นกรุปอนันต์ เขียนว่า |G| = ∞
อันดับของสมาชิก a ในกรุป G คือจำนวนเต็ม n ที่น้อยที่สุดที่ทำให้ an = e โดยที่ an คือ a คูณตัวมันเอง n ครั้ง (หรือองค์ประกอบที่เหมาะสมอื่นๆ ขึ้นอยู่กับตัวดำเนินการของกรุป) ถ้า n ไม่ปรากฏ จะเรียกได้ว่า a มีอันดับเป็นอนันต์
[แก้] กรุปย่อย
เซต H เป็นกรุปย่อยของ กรุป G ถ้ามันเป็นเซตย่อยของ G และใช้ตัวดำเนินการที่นิยามบน G
[แก้] อาบีเลียนกรุป
กรุป G เรียกได้ว่าเป็น อาบีเลียนกรุป (หรือกรุปสลับที่) ถ้าการดำเนินการเป็นแบบสลับที่ได้ คือสำหรับทุกๆ a,b ใน G , a * b = b * a คำว่า อาบีเลียน (Abelian) ตั้งขึ้นเป็นเกียรติแด่นักคณิตศาสตร์ นีลส์ อะเบล (Niels Abel)
[แก้] กรุปวัฏจักร
กรุปวัฏจักร คือกรุปซึ่งสมาชิกของมันอาจถูกก่อกำเนิดโดยการประกอบที่ต่อเนื่องกันของการดำเนินการซึ่งนิยามโดยกรุปจะถูกใช้กับสมาชิกเดี่ยวของ กรุปนั้น สมาชิกเดี่ยวนี้เรียกว่า ตัวก่อกำเนิดหรือสมาชิกปฐมฐานของกรุปนั้น
กรุปวัฏจักรการคูณซึ่ง G เป็นกรุป และ a เป็นตัวก่อกำเนิด
กรุปวัฏจักรการบวก ตัวก่อกำเนิกเป็น a
ถ้าการประกอบที่ต่อเนื่องกันของการดำเนินการซึ่งนิยามโดยกรุปถูกใช้กับสมาชิกไม่ปฐมฐานของกรุป กรุปย่อยวัฏจักรจะถูกก่อกำเนิด อันดับของ กรุปย่อยวัฏจักรแบ่งอันดับของกรุปนั้น ดังนั้นถ้าอันดับของกรุปเป็นจำนวนเฉพาะ สมาชิกทุกตัวยกเว้นสมาชิกเอกลักษณ์จะเป็นสามชิกปฐมฐานของกรุป
ควรระลึกไว้ด้วยว่า กรุปประกอบด้วยกรุปย่อยวัฏจักรซึ่งถูกก่อกำเนิดโดยสมาชิกแต่ละตัวในกรุป อย่างไรก็ตามกรุปซึ่งประกอบขึ้นจากกรุปย่อยวัฏจักรนั้น ตัวมันเองไม่จำเป็นที่จะต้องเป็นกรุปวัฏจักรเสมอไป ตัวอย่างเช่น กรุปไคลน์ไม่เป็นกรุปวัฏจักรแม้ว่าจะประกอบขึ้นมาจากกรุปวัฏจักรที่มีอันดับเป็น 2 ที่เหมือนกันสองกรุปก็ตามที
[แก้] สัญกรณ์สำหรับกรุป
กรุปสามารถใช้สัญกรณ์ต่างๆ กันขึ้นอยู่กับบริบทและการดำเนินการ
- กรุปการบวก ใช้ + เพื่อแสดงถึงการบวก และเครื่องหมายลบ - แสดงถึงสมาชิกผกผัน เช่น a + (-a) = 0 ใน Z
- กรุปการคูณ ใช้ *,. หรือสัญลักษณ์ทั่วไป เพื่อแสดงถึงการคูณ และตัวยก -1 เพื่อแสดงสมาชิกผกผัน เช่น a*a-1 = 1 เป็นเรื่องธรรมดาที่จะไม่เขียน * และเขียนเป็น aa-1 แทน
- กรุปแบบฟังก์ชัน ใช้ • เพื่อแสดงการประกอบฟังก์ชัน และตัวยก -1 เพื่อแสดงสมาชิกผกผัน เช่น g • g-1 = e เป็นเรื่องทั่วไปที่จะไม่เขียน • และเขียนเป็นgg-1 แทน
การละเลยตัวดำเนินการเป็นเรื่องทั่วไปที่ยอมรับได้ และทิ้งให้ผู้อ่านรู้บริบทและการดำเนินการเอาเอง
เมื่อจะนิยามกรุป มีสัญกรณ์มาตรฐานที่ใช้วงเล็บในการนิยามกรุปและการดำเนินการของมัน ตัวอย่างเช่น (H, +) แสดงว่าเซต H เป็น กรุปภายใต้การบวก
สมาชิกเอกลักษณ์ e หรือบางครั้งก็เรียกว่า สมาขิกกลาง และบางครั้งก็ถูกแสดงโดยใช้สัญลักษณ์อืนๆ ขึ้นอยู่กับกรุปนั้นๆ :
- ในกรุปการคูณ สมาชิกเอกลักษณ์คือ 1
- ในกรุปเมทริกซ์หาตัวผกผันได้ สมาชิกเอกลักษณ์มักแทนด้วย I
- ในกรุปการบวก สมาชิกเอกลักษณ์อาจเขียนเป็น 0
- ในกรุปแบบฟังก์ชัน สมาชิกเอกลักษณ์มักใช้เป็น f0
[แก้] ตัวอย่างของกรุป
[แก้] อาบีเลียนกรุป : จำนวนเต็มภายใต้การบวก
กรุปที่คุ้นเคยกันก็คือกรุปของจำนวนเต็มภายใต้การบวก ให้ Z เป็นเซตของจำนวนเต็ม {..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...} และให้สัญลักษณ์ + แสดงการดำเนินการบวก แล้ว (Z,+) เป็นกรุป
พิสูจน์ :
- สมบัติปิด ถ้า a และ b เป็นจำนวนเต็ม แล้ว a+b ก็เป็นจำนวนเต็ม
- สมบัติการเปลี่ยนหมู่ ถ้า a b และ c เป็นจำนวนเต็มแล้ว (a + b) + c = a + (b + c)
- สมาชิกเอกลักษณ์ 0 เป็นจำนวนเต็ม สำหรับจำนวนเต็ม a ใดๆ 0 + a = a + 0 = a
- สมาชิกผกผัน ถ้า a เป็นจำนวนเต็มแล้ว -a สอดคล้องกับกฏการผกผัน a + (−a) = (−a) + a = 0
กรุปนี้เป็นอาบีเลียนกรุปด้วยเพราะ a + b = b + a
กรุป (คณิตศาสตร์) เป็นบทความเกี่ยวกับ คณิตศาสตร์ ที่ยังไม่สมบูรณ์ ต้องการตรวจสอบ เพิ่มเนื้อหา หรือเพิ่มแหล่งอ้างอิง คุณสามารถช่วยเพิ่มเติมหรือแก้ไข เพื่อให้สมบูรณ์มากขึ้น ข้อมูลเกี่ยวกับ กรุป (คณิตศาสตร์) ในภาษาอื่น อาจสามารถหาอ่านได้จากเมนู ภาษาอื่น ด้านซ้ายมือ หรือ ดูเพิ่มที่ สถานีย่อย:คณิตศาสตร์ |