शून्य-भाजक ग्राफ: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Graph of zero divisors of a commutative ring}} File:Zero-divisor graph of Z2xZ4.svg|thumb|:en:शून्य-भाजक ग्राफ|शून्...")
 
No edit summary
Line 1: Line 1:
{{Short description|Graph of zero divisors of a commutative ring}}
{{Short description|Graph of zero divisors of a commutative ring}}
[[File:Zero-divisor graph of Z2xZ4.svg|thumb|:en:शून्य-भाजक ग्राफ|शून्य-भाजक ग्राफ <math>\mathbb{Z}_2\times\mathbb{Z}_4</math>, एकमात्र संभावित शून्य-भाजक ग्राफ जो एक पेड़ है लेकिन एक तारा नहीं है]]गणित में, और विशेष रूप से संयोजक क्रमविनिमेय बीजगणित में, एक शून्य-भाजक ग्राफ एक [[अप्रत्यक्ष ग्राफ]] है जो [[क्रमविनिमेय वलय]] के [[शून्य भाजक]] का प्रतिनिधित्व करता है। इसमें वलय के तत्व इसके [[शीर्ष (ग्राफ़ सिद्धांत)]] के रूप में हैं, और तत्वों के जोड़े जिनका उत्पाद शून्य है, इसके किनारे (ग्राफ़ सिद्धांत) के रूप में हैं।{{r|aas}}
[[File:Zero-divisor graph of Z2xZ4.svg|thumb|शून्य-भाजक ग्राफ <math>\mathbb{Z}_2\times\mathbb{Z}_4</math>, एकमात्र संभावित शून्य-भाजक ग्राफ जो पेड़ है लेकिन तारा नहीं है]]गणित में, और विशेष रूप से संयोजक क्रमविनिमेय बीजगणित में, शून्य-भाजक ग्राफ [[अप्रत्यक्ष ग्राफ]] है जो [[क्रमविनिमेय वलय]] के [[शून्य भाजक]] का प्रतिनिधित्व करता है। इसमें वलय के तत्व इसके [[शीर्ष (ग्राफ़ सिद्धांत)]] के रूप में हैं, और तत्वों के जोड़े जिनका उत्पाद शून्य है, इसके किनारे (ग्राफ़ सिद्धांत) के रूप में हैं।{{r|aas}}


==परिभाषा==
==परिभाषा==
Line 7: Line 7:


==उदाहरण==
==उदाहरण==
अगर <math>n</math> एक [[अर्ध [[अभाज्य संख्या]]]] है (दो अभाज्य संख्याओं का गुणनफल)
अगर <math>n</math> [[अर्ध [[अभाज्य संख्या]]]] है (दो अभाज्य संख्याओं का गुणनफल)
फिर पूर्णांक मॉड्यूलो की रिंग का शून्य-भाजक ग्राफ <math>n</math> (इसके शीर्षों के रूप में केवल शून्य भाजक के साथ) या तो एक पूर्ण ग्राफ़ या [[पूर्ण द्विदलीय ग्राफ]]़ है।
फिर पूर्णांक मॉड्यूलो की रिंग का शून्य-भाजक ग्राफ <math>n</math> (इसके शीर्षों के रूप में केवल शून्य भाजक के साथ) या तो पूर्ण ग्राफ़ या [[पूर्ण द्विदलीय ग्राफ]]़ है।
यह एक संपूर्ण ग्राफ़ है <math>K_{p-1}</math> उस मामले में <math>n=p^2</math> कुछ अभाज्य संख्या के लिए <math>p</math>. इस मामले में शीर्ष सभी शून्येतर गुणज हैं <math>p</math>, और इनमें से किन्हीं दो संख्याओं का गुणनफल 0 मॉड्यूलो है <math>p^2</math>.{{r|al}}
यह संपूर्ण ग्राफ़ है <math>K_{p-1}</math> उस मामले में <math>n=p^2</math> कुछ अभाज्य संख्या के लिए <math>p</math>. इस मामले में शीर्ष सभी शून्येतर गुणज हैं <math>p</math>, और इनमें से किन्हीं दो संख्याओं का गुणनफल 0 मॉड्यूलो है <math>p^2</math>.{{r|al}}


यह एक पूर्ण द्विदलीय ग्राफ है <math>K_{p-1,q-1}</math> उस मामले में <math>n=pq</math> दो अलग-अलग अभाज्य संख्याओं के लिए <math>p</math> और <math>q</math>. द्विविभाजन के दो पक्ष हैं <math>p-1</math> के शून्येतर गुणज <math>q</math> और यह <math>q-1</math> के शून्येतर गुणज <math>p</math>, क्रमश। दो संख्याएँ (जो स्वयं शून्य मॉड्यूलो नहीं हैं <math>n</math>) शून्य मॉड्यूलो से गुणा करें <math>n</math> यदि और केवल यदि एक का गुणज है <math>p</math> और दूसरा का गुणज है <math>q</math>, इसलिए इस ग्राफ़ में द्विविभाजन के विपरीत पक्षों पर शीर्षों की प्रत्येक जोड़ी के बीच एक किनारा है, और कोई अन्य किनारा नहीं है। अधिक सामान्यतः, शून्य-भाजक ग्राफ किसी भी रिंग के लिए एक पूर्ण द्विदलीय ग्राफ है जो दो [[अभिन्न डोमेन]] का उत्पाद रिंग है।{{r|al}}
यह पूर्ण द्विदलीय ग्राफ है <math>K_{p-1,q-1}</math> उस मामले में <math>n=pq</math> दो अलग-अलग अभाज्य संख्याओं के लिए <math>p</math> और <math>q</math>. द्विविभाजन के दो पक्ष हैं <math>p-1</math> के शून्येतर गुणज <math>q</math> और यह <math>q-1</math> के शून्येतर गुणज <math>p</math>, क्रमश। दो संख्याएँ (जो स्वयं शून्य मॉड्यूलो नहीं हैं <math>n</math>) शून्य मॉड्यूलो से गुणा करें <math>n</math> यदि और केवल यदि का गुणज है <math>p</math> और दूसरा का गुणज है <math>q</math>, इसलिए इस ग्राफ़ में द्विविभाजन के विपरीत पक्षों पर शीर्षों की प्रत्येक जोड़ी के बीच किनारा है, और कोई अन्य किनारा नहीं है। अधिक सामान्यतः, शून्य-भाजक ग्राफ किसी भी रिंग के लिए पूर्ण द्विदलीय ग्राफ है जो दो [[अभिन्न डोमेन]] का उत्पाद रिंग है।{{r|al}}


एकमात्र [[चक्र ग्राफ]]़ जिन्हें शून्य-उत्पाद ग्राफ़ (शीर्ष के रूप में शून्य विभाजक के साथ) के रूप में महसूस किया जा सकता है, लंबाई 3 या 4 के चक्र हैं।{{r|al}}
एकमात्र [[चक्र ग्राफ]]़ जिन्हें शून्य-उत्पाद ग्राफ़ (शीर्ष के रूप में शून्य विभाजक के साथ) के रूप में महसूस किया जा सकता है, लंबाई 3 या 4 के चक्र हैं।{{r|al}}
Line 17: Line 17:


==गुण==
==गुण==
ग्राफ़ के उस संस्करण में जिसमें सभी तत्व शामिल हैं, 0 एक [[सार्वभौमिक शीर्ष]] है, और शून्य विभाजक को उन शीर्षों के रूप में पहचाना जा सकता है जिनका 0 के अलावा कोई पड़ोसी है।
ग्राफ़ के उस संस्करण में जिसमें सभी तत्व शामिल हैं, 0 [[सार्वभौमिक शीर्ष]] है, और शून्य विभाजक को उन शीर्षों के रूप में पहचाना जा सकता है जिनका 0 के अलावा कोई पड़ोसी है।
क्योंकि इसमें एक सार्वभौमिक शीर्ष है, सभी रिंग तत्वों का ग्राफ़ हमेशा जुड़ा रहता है और इसका व्यास अधिकतम दो होता है। सभी शून्य विभाजकों का ग्राफ प्रत्येक रिंग के लिए गैर-रिक्त है जो एक अभिन्न डोमेन नहीं है। यह जुड़ा रहता है, इसका व्यास अधिकतम तीन है,{{r|al}} और (यदि इसमें एक चक्र है) अधिकतम चार पर [[परिधि (ग्राफ़ सिद्धांत)]] है।{{r|mulay|ds}}
क्योंकि इसमें सार्वभौमिक शीर्ष है, सभी रिंग तत्वों का ग्राफ़ हमेशा जुड़ा रहता है और इसका व्यास अधिकतम दो होता है। सभी शून्य विभाजकों का ग्राफ प्रत्येक रिंग के लिए गैर-रिक्त है जो अभिन्न डोमेन नहीं है। यह जुड़ा रहता है, इसका व्यास अधिकतम तीन है,{{r|al}} और (यदि इसमें चक्र है) अधिकतम चार पर [[परिधि (ग्राफ़ सिद्धांत)]] है।{{r|mulay|ds}}


एक वलय का शून्य-भाजक ग्राफ जो एक अभिन्न डोमेन नहीं है, परिमित है यदि और केवल यदि वलय परिमित है।{{r|al}} अधिक ठोस रूप से, यदि ग्राफ़ में अधिकतम डिग्री है <math>d</math>, अंगूठी अधिक से अधिक है <math>(d^2-2d+2)^2</math> तत्व.
एक वलय का शून्य-भाजक ग्राफ जो अभिन्न डोमेन नहीं है, परिमित है यदि और केवल यदि वलय परिमित है।{{r|al}} अधिक ठोस रूप से, यदि ग्राफ़ में अधिकतम डिग्री है <math>d</math>, अंगूठी अधिक से अधिक है <math>(d^2-2d+2)^2</math> तत्व.
यदि वलय और ग्राफ अनंत हैं, तो प्रत्येक किनारे का एक समापन बिंदु होता है जिसमें अनंत कई पड़ोसी होते हैं।{{r|aas}}
यदि वलय और ग्राफ अनंत हैं, तो प्रत्येक किनारे का समापन बिंदु होता है जिसमें अनंत कई पड़ोसी होते हैं।{{r|aas}}


{{harvtxt|Beck|1988}} अनुमान लगाया गया कि (पूर्ण ग्राफ़ की तरह) शून्य-भाजक ग्राफ़ में हमेशा समान क्लिक संख्या और [[रंगीन संख्या]] होती है। वैसे यह सत्य नहीं है; द्वारा एक प्रतिउदाहरण की खोज की गई थी {{harvtxt|Anderson|Naseer|1993}}.{{r|an}}
{{harvtxt|Beck|1988}} अनुमान लगाया गया कि (पूर्ण ग्राफ़ की तरह) शून्य-भाजक ग्राफ़ में हमेशा समान क्लिक संख्या और [[रंगीन संख्या]] होती है। वैसे यह सत्य नहीं है; द्वारा प्रतिउदाहरण की खोज की गई थी {{harvtxt|Anderson|Naseer|1993}}.{{r|an}}


==संदर्भ==
==संदर्भ==

Revision as of 13:15, 23 July 2023

शून्य-भाजक ग्राफ , एकमात्र संभावित शून्य-भाजक ग्राफ जो पेड़ है लेकिन तारा नहीं है

गणित में, और विशेष रूप से संयोजक क्रमविनिमेय बीजगणित में, शून्य-भाजक ग्राफ अप्रत्यक्ष ग्राफ है जो क्रमविनिमेय वलय के शून्य भाजक का प्रतिनिधित्व करता है। इसमें वलय के तत्व इसके शीर्ष (ग्राफ़ सिद्धांत) के रूप में हैं, और तत्वों के जोड़े जिनका उत्पाद शून्य है, इसके किनारे (ग्राफ़ सिद्धांत) के रूप में हैं।[1]

परिभाषा

आमतौर पर उपयोग किए जाने वाले शून्य-भाजक ग्राफ के दो रूप हैं। की मूल परिभाषा में Beck (1988), शीर्ष वलय के सभी तत्वों का प्रतिनिधित्व करते हैं।[2] बाद के संस्करण में अध्ययन किया गया Anderson & Livingston (1999), शीर्ष दिए गए रिंग के केवल शून्य विभाजक का प्रतिनिधित्व करते हैं।[3]

उदाहरण

अगर [[अर्ध अभाज्य संख्या]] है (दो अभाज्य संख्याओं का गुणनफल) फिर पूर्णांक मॉड्यूलो की रिंग का शून्य-भाजक ग्राफ (इसके शीर्षों के रूप में केवल शून्य भाजक के साथ) या तो पूर्ण ग्राफ़ या पूर्ण द्विदलीय ग्राफ़ है। यह संपूर्ण ग्राफ़ है उस मामले में कुछ अभाज्य संख्या के लिए . इस मामले में शीर्ष सभी शून्येतर गुणज हैं , और इनमें से किन्हीं दो संख्याओं का गुणनफल 0 मॉड्यूलो है .[3]

यह पूर्ण द्विदलीय ग्राफ है उस मामले में दो अलग-अलग अभाज्य संख्याओं के लिए और . द्विविभाजन के दो पक्ष हैं के शून्येतर गुणज और यह के शून्येतर गुणज , क्रमश। दो संख्याएँ (जो स्वयं शून्य मॉड्यूलो नहीं हैं ) शून्य मॉड्यूलो से गुणा करें यदि और केवल यदि का गुणज है और दूसरा का गुणज है , इसलिए इस ग्राफ़ में द्विविभाजन के विपरीत पक्षों पर शीर्षों की प्रत्येक जोड़ी के बीच किनारा है, और कोई अन्य किनारा नहीं है। अधिक सामान्यतः, शून्य-भाजक ग्राफ किसी भी रिंग के लिए पूर्ण द्विदलीय ग्राफ है जो दो अभिन्न डोमेन का उत्पाद रिंग है।[3]

एकमात्र चक्र ग्राफ़ जिन्हें शून्य-उत्पाद ग्राफ़ (शीर्ष के रूप में शून्य विभाजक के साथ) के रूप में महसूस किया जा सकता है, लंबाई 3 या 4 के चक्र हैं।[3] एकमात्र वृक्ष (ग्राफ़ सिद्धांत) जिसे शून्य-विभाजक ग्राफ़ के रूप में महसूस किया जा सकता है, वह है तारा (ग्राफ़ सिद्धांत) (पूर्ण द्विदलीय ग्राफ़ जो कि पेड़ हैं) और शून्य-भाजक ग्राफ़ के रूप में गठित पांच-शीर्ष वृक्ष हैं .[1][3]

गुण

ग्राफ़ के उस संस्करण में जिसमें सभी तत्व शामिल हैं, 0 सार्वभौमिक शीर्ष है, और शून्य विभाजक को उन शीर्षों के रूप में पहचाना जा सकता है जिनका 0 के अलावा कोई पड़ोसी है। क्योंकि इसमें सार्वभौमिक शीर्ष है, सभी रिंग तत्वों का ग्राफ़ हमेशा जुड़ा रहता है और इसका व्यास अधिकतम दो होता है। सभी शून्य विभाजकों का ग्राफ प्रत्येक रिंग के लिए गैर-रिक्त है जो अभिन्न डोमेन नहीं है। यह जुड़ा रहता है, इसका व्यास अधिकतम तीन है,[3] और (यदि इसमें चक्र है) अधिकतम चार पर परिधि (ग्राफ़ सिद्धांत) है।[4][5]

एक वलय का शून्य-भाजक ग्राफ जो अभिन्न डोमेन नहीं है, परिमित है यदि और केवल यदि वलय परिमित है।[3] अधिक ठोस रूप से, यदि ग्राफ़ में अधिकतम डिग्री है , अंगूठी अधिक से अधिक है तत्व. यदि वलय और ग्राफ अनंत हैं, तो प्रत्येक किनारे का समापन बिंदु होता है जिसमें अनंत कई पड़ोसी होते हैं।[1]

Beck (1988) अनुमान लगाया गया कि (पूर्ण ग्राफ़ की तरह) शून्य-भाजक ग्राफ़ में हमेशा समान क्लिक संख्या और रंगीन संख्या होती है। वैसे यह सत्य नहीं है; द्वारा प्रतिउदाहरण की खोज की गई थी Anderson & Naseer (1993).[6]

संदर्भ

  1. 1.0 1.1 1.2 Anderson, David F.; Axtell, Michael C.; Stickles, Joe A., Jr. (2011), "Zero-divisor graphs in commutative rings", Commutative algebra—Noetherian and non-Noetherian perspectives, Springer, New York, pp. 23–45, doi:10.1007/978-1-4419-6990-3_2, MR 2762487{{citation}}: CS1 maint: multiple names: authors list (link)
  2. Beck, István (1988), "Coloring of commutative rings", Journal of Algebra, 116 (1): 208–226, doi:10.1016/0021-8693(88)90202-5, MR 0944156
  3. 3.0 3.1 3.2 3.3 3.4 3.5 3.6 Anderson, David F.; Livingston, Philip S. (1999), "The zero-divisor graph of a commutative ring", Journal of Algebra, 217 (2): 434–447, doi:10.1006/jabr.1998.7840, MR 1700509
  4. Mulay, S. B. (2002), "Cycles and symmetries of zero-divisors", Communications in Algebra, 30 (7): 3533–3558, doi:10.1081/AGB-120004502, MR 1915011
  5. DeMeyer, Frank; Schneider, Kim (2002), "Automorphisms and zero divisor graphs of commutative rings", Commutative rings, Hauppauge, NY: Nova Science, pp. 25–37, MR 2037656
  6. Anderson, D. D.; Naseer, M. (1993), "Beck's coloring of a commutative ring", Journal of Algebra, 159 (2): 500–514, doi:10.1006/jabr.1993.1171, MR 1231228