भागफल वलय
| Algebraic structure → Ring theory Ring theory |
|---|
| File:Latex integers.svg |
रिंग सिद्धांत में, अमूर्त बीजगणित की एक शाखा एक भागफल वलय, जिसे कारक वलय, अंतर वलय के रूप में भी जाना जाता है[1] या अवशिष्ट वर्ग वलय, समूह सिद्धांत में भागफल समूह और रेखीय बीजगणित में भागफल स्थान (रैखिक बीजगणित) के समान एक निर्माण है।[2][3] यह भागफल (सार्वभौमिक बीजगणित) का एक विशिष्ट उदाहरण है, जैसा कि सार्वभौमिक बीजगणित की सामान्य सेटिंग से देखा जाता है। R में एक वलय R और एक दो तरफा आदर्श I से प्रारंभ होकर, एक नई वलय, भागफल वलय R / I का निर्माण किया जाता है, जिसके तत्व R में I के सहसमुच्चय हैं जो विशेष + और ⋅ संचालन के अधीन हैं। (केवल अंश स्लैश "/" का उपयोग कोयंटेंट रिंग नोटेशन में किया जाता है, क्षैतिज अंश बार नहीं।)
भागफल के वलय एक अभिन्न डोमेन के साथ-साथ एक रिंग के स्थानीयकरण द्वारा प्राप्त उद्धरण के अधिक सामान्य रिंग से तथाकथित भागफल क्षेत्र, या अंशों के क्षेत्र से अलग हैं।
औपचारिक भागफल वलय निर्माण
में एक वलय और दो तरफा आदर्श दिए जाने पर, हम पर एक तुल्यता संबंध को इस प्रकार परिभाषित कर सकते हैं:
- यदि और केवल यदि , में है
आदर्श गुणों का उपयोग करके, यह जाँचना कठिन नहीं है एक संगति संबंध है। के स्थिति में, हम कहते हैं कि और सर्वांगसम मॉड्यूल हैं। में तत्व का तुल्यता वर्ग द्वारा दिया गया है
- .
इस तुल्यता वर्ग को कभी-कभी के रूप में भी लिखा जाता है और इसे "मॉड्यूल का अवशेष वर्ग" कहा जाता है।
ऐसे सभी तुल्यता वर्गों के समुच्चय को द्वारा निरूपित किया जाता है ;यदि कोई परिभाषित करता है तो यह एक वलय, कारक वलय या मोडुलो का भागफल वलय बन जाता है
- ;
- .
(यहाँ किसी को यह जाँचना है कि ये परिभाषाएँ अच्छी तरह से परिभाषित हैं। सहसमुच्चय और भागफल समूह की तुलना करें।) का शून्य-तत्व है, और गुणक तत्समक है .
द्वारा परिभाषित से तक मानचित्र