ทฤษฎีมอดูล

ทฤษฎีมอดูลศึกษาเกี่ยวกับมอดูล ซึ่งเป็นการขยายแนวคิดของปริภูมิเวกเตอร์ที่สเกลาร์มาจากริง (ring) แทนที่จะเป็นฟิลด์ (field) โดยเป็นการรวมพีชคณิตเชิงเส้น ทฤษฎีกลุ่มอาบีเลียน และทฤษฎีการเป็นตัวแทนของริงเข้าไว้ด้วยกัน

Definition

มอดูลบนริง R คือกลุ่มอาบีเลียน (abelian group) ที่มีการกระทำของ R ซึ่งเข้ากันได้กับโครงสร้างกลุ่ม โดยเป็นการขยายแนวคิดของปริภูมิเวกเตอร์ (มอดูลบนฟิลด์) และกลุ่มอาบีเลียน (มอดูลบนจำนวนเต็ม) ทฤษฎีมอดูลศึกษาโครงสร้างดังกล่าวและการส่งระหว่างโครงสร้างเหล่านั้น

Scope

สาขาวิชานี้ครอบคลุมถึงมอดูลและสับมอดูล (submodules), มอดูลผลหาร (quotient modules) และโฮโมมอร์ฟิซึม (homomorphisms), มอดูลอิสระ (free modules) และมอดูลโพรเจกทีฟ (projective modules), ผลบวกตรง (direct sums) และผลคูณตรง (products), ลำดับแม่นตรง (exact sequences), ผลคูณเทนเซอร์ (tensor products) และการส่งเชิงเส้นคู่ (bilinear maps) รวมถึงทฤษฎีโครงสร้างสำหรับมอดูลที่ก่อกำเนิดจำกัดบนโดเมนไอดีลหลัก (principal-ideal domain) ซึ่งเป็นพื้นฐานของภาษาโฮโมโลจิคัลที่ใช้ในพีชคณิตสมัยใหม่

Sub-topics

• Free Module
• Module
• Structure Theorem for Finitely Generated Modules
• Tensor Product

Core questions

• มอดูลจะมีฐาน (basis) ได้เมื่อใด และมอดูลอิสระแตกต่างจากปริภูมิเวกเตอร์อย่างไร?
• มอดูลที่ก่อกำเนิดจำกัดบนโดเมนไอดีลหลักถูกจำแนกอย่างไร?
• ผลคูณเทนเซอร์เข้ารหัสการสร้างเชิงเส้นคู่และการเปลี่ยนริงได้อย่างไร?
• ตัวแปรคงที่โฮโมโลจิคัล (projectivity, exactness) วัดความล้มเหลวของมอดูลที่จะประพฤติตัวเหมือนปริภูมิเวกเตอร์ได้อย่างไร?

Key theories

ทฤษฎีโครงสร้างสำหรับมอดูลที่ก่อกำเนิดจำกัดบน PID

มอดูลที่ก่อกำเนิดจำกัดทุกตัวบนโดเมนไอดีลหลักสามารถแยกออกเป็นผลบวกตรงของมอดูลอิสระและมอดูลทอร์ชันวัฏจักร (cyclic torsion modules) โดยมีตัวแปรคงที่ (ตัวหารมูลฐานหรือตัวประกอบไม่แปรผัน) ที่จำแนกมันได้ถึงไอโซมอร์ฟิซึม

คุณสมบัติสากลของผลคูณเทนเซอร์

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

ลำดับอิสระ, โพรเจกทีฟ และแม่นตรง

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

Clinical relevance

ทฤษฎีมอดูลรวมและขยายแนวคิดพื้นฐาน: การจำแนกกลุ่มอาบีเลียนที่ก่อกำเนิดจำกัดและรูปแบบบัญญัติของตัวดำเนินการเชิงเส้น ล้วนเป็นตัวอย่างของทฤษฎีโครงสร้าง PID ในขณะที่มอดูลบนริงกลุ่ม (group rings) คือการเป็นตัวแทน (representations) ซึ่งเชื่อมโยงทฤษฎีมอดูลเข้ากับทฤษฎีการเป็นตัวแทน, โทโพโลยีเชิงพีชคณิต และพีชคณิตสลับที่

History

มอดูลได้ขยายแนวคิดของไอดีล (ideals) ของ Dedekind และกลุ่มอาบีเลียนในพีชคณิตศตวรรษที่ 19 และถูกนำมาเป็นศูนย์กลางของพีชคณิตโดย Emmy Noether ผู้ตระหนักว่าไอดีล, ผลหารของไอดีล และการเป็นตัวแทน ล้วนเป็นมอดูล วิชาดังกล่าวกลายเป็นพื้นฐานธรรมชาติสำหรับพีชคณิตโฮโมโลจิคัล (homological algebra) ที่พัฒนาโดย Cartan, Eilenberg และ Mac Lane

Key figures

• Emmy Noether
• Richard Dedekind
• Wolfgang Krull
• Emil Artin
• Saunders Mac Lane

Seminal works

• lang2002
• dummit2004
• atiyah1969

Frequently asked questions

ทำไมมอดูลทุกตัวจึงไม่เป็นอิสระเหมือนปริภูมิเวกเตอร์?

บนฟิลด์ มอดูลทุกตัวมีฐาน แต่บนริงทั่วไป สมาชิกอาจมีทอร์ชัน (torsion) หรือความสัมพันธ์ที่ฐานไม่สามารถแสดงได้ ตัวอย่างเช่น จำนวนเต็มมอดุโล n เป็นมอดูลบนจำนวนเต็มที่ไม่มีฐาน มอดูลอิสระเป็นมอดูลพิเศษที่มีฐาน

ทฤษฎีมอดูลฟื้นฟูพีชคณิตเชิงเส้นและกลุ่มอาบีเลียนได้อย่างไร?

มอดูลบนฟิลด์คือปริภูมิเวกเตอร์ และมอดูลบนจำนวนเต็มคือกลุ่มอาบีเลียน ดังนั้นทฤษฎีโครงสร้างเดียวบนโดเมนไอดีลหลักจึงให้ทั้งการจำแนกกลุ่มอาบีเลียนที่ก่อกำเนิดจำกัดและรูปแบบบัญญัติของเมทริกซ์