विभाज्य समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व ''n'' गुणक होता है प्रत्येक धनात्मक पूर्णांक ''n''. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे [[इंजेक्शन मॉड्यूल]] एबेलियन समूह हैं। '''या अधिक सही रूप से, प्रत्येक तत्व एक ''n'' गुणक होता है प्रत्येक धनात्मक पूर्णांक ''n''. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे [[इंजेक्शन मॉड्यूल]] एबेलियन समूह हैं'''
गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व ''n'' गुणक होता है प्रत्येक धनात्मक पूर्णांक ''n''. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे [[इंजेक्शन मॉड्यूल]] एबेलियन समूह हैं। '''या अधिक सही रूप से, प्रत्येक तत्व एक ''n'' गुणक होता है प्रत्येक धनात्मक पूर्णांक ''n''. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे [[इंजेक्शन मॉड्यूल]] एबेलियन समूह हैं'''


== परिभाषा ==
== परिभाषा ==


एबेलियन समूह <math>(G, +)</math> विभाज्य है अगर, हर सकारात्मक पूर्णांक के लिए <math>n</math> और हर <math>g \in G</math>, वहां उपस्थित <math>y \in G</math> ऐसा है कि <math>ny=g</math>.<ref>Griffith, p.6</ref> समतुल्य स्थिति है किसी भी सकारात्मक पूर्णांक के लिए <math>n</math>, <math>nG=G</math>, के अस्तित्व के बाद से <math>y</math> हर एक के लिए <math>n</math> और <math>g</math> इसका आशय है <math>n G\supseteq G</math>, और दूसरी दिशा <math>n G\subseteq G</math> प्रत्येक समूह के लिए सत्य है। तीसरी समान स्थिति यह है कि एबेलियन समूह <math>G</math> विभाज्य है अगर और केवल अगर <math>G</math> [[एबेलियन समूहों की श्रेणी]] में [[इंजेक्शन वस्तु]] है; इस कारण से, विभाज्य समूह को कभी-कभी अंतःक्षेपी समूह कहा जाता है।
एबेलियन समूह <math>(G, +)</math> विभाज्य है अगर, हर सकारात्मक पूर्णांक के लिए <math>n</math> और हर <math>g \in G</math>, वहां उपस्थित <math>y \in G</math> ऐसा है कि <math>ny=g</math>.<ref>Griffith, p.6</ref> समतुल्य स्थिति है किसी भी सकारात्मक पूर्णांक के लिए <math>n</math>, <math>nG=G</math>, के अस्तित्व के बाद से <math>y</math> हर एक के लिए <math>n</math> और <math>g</math> इसका आशय है <math>n G\supseteq G</math>, और दूसरी दिशा <math>n G\subseteq G</math> प्रत्येक समूह के लिए सत्य है। तीसरी समान स्थिति यह है कि एबेलियन समूह <math>G</math> विभाज्य है अगर और केवल अगर <math>G</math> [[एबेलियन समूहों की श्रेणी]] में [[इंजेक्शन वस्तु]] है; इस कारण से, विभाज्य समूह को कभी-कभी अंतःक्षेपी समूह कहा जाता है।


एबेलियन समूह है <math>p</math>- [[अभाज्य संख्या]] के लिए विभाज्य <math>p</math> यदि प्रत्येक के लिए <math>g \in G</math>, वहां उपस्थित <math>y \in G</math> ऐसा है कि <math>py=g</math>. समतुल्य रूप से, एबेलियन समूह है <math>p</math>-विभाज्य अगर और केवल अगर <math>pG=G</math>.
एबेलियन समूह है <math>p</math>- [[अभाज्य संख्या]] के लिए विभाज्य <math>p</math> यदि प्रत्येक के लिए <math>g \in G</math>, वहां उपस्थित <math>y \in G</math> ऐसा है कि <math>py=g</math>. समतुल्य रूप से, एबेलियन समूह है <math>p</math>-विभाज्य अगर और केवल अगर <math>pG=G</math>.
Line 9: Line 9:
== उदाहरण ==
== उदाहरण ==


* परिमेय संख्याएँ <math>\mathbb Q</math> योग के तहत विभाज्य समूह बनाएं।
* परिमेय संख्याएँ <math>\mathbb Q</math> योग के तहत विभाज्य समूह बनाएं।
* अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह <math>\mathbb Q</math> विभाज्य है।
* अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह <math>\mathbb Q</math> विभाज्य है।
* विभाज्य समूह का प्रत्येक [[भागफल समूह]] विभाज्य है। इस प्रकार, <math>\mathbb Q/\mathbb Z</math> विभाज्य है।
* विभाज्य समूह का प्रत्येक [[भागफल समूह]] विभाज्य है। इस प्रकार, <math>\mathbb Q/\mathbb Z</math> विभाज्य है।
Line 22: Line 22:
* इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय तरीके से एम्बेड किया जा सकता है।<ref>Griffith, p.19</ref>
* इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय तरीके से एम्बेड किया जा सकता है।<ref>Griffith, p.19</ref>
* एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
* एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
* होने देना <math>A</math> अँगूठी बनो (गणित) अगर <math>T</math> विभाज्य समूह है, तो <math>\mathrm{Hom}_{\mathbf{Z}\text{-Mod}} (A,T)</math> की [[श्रेणी (गणित)]] में इंजेक्शन है <math>A</math>-[[मॉड्यूल (गणित)]]।<ref>Lang, p. 106</ref>
* होने देना <math>A</math> अँगूठी बनो (गणित) अगर <math>T</math> विभाज्य समूह है, तो <math>\mathrm{Hom}_{\mathbf{Z}\text{-Mod}} (A,T)</math> की [[श्रेणी (गणित)]] में इंजेक्शन है <math>A</math>-[[मॉड्यूल (गणित)]]।<ref>Lang, p. 106</ref>




Line 30: Line 30:


:<math>G = \mathrm{Tor}(G) \oplus  G/\mathrm{Tor}(G).</math>
:<math>G = \mathrm{Tor}(G) \oplus  G/\mathrm{Tor}(G).</math>
विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अलावा, यह [[मरोड़ (बीजगणित)]] | मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय का का अस्तित्व है
विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अलावा, यह [[मरोड़ (बीजगणित)]] | मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय का का अस्तित्व है


:<math>G/\mathrm{Tor}(G) = \bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}.</math>
:<math>G/\mathrm{Tor}(G) = \bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}.</math>
Line 56: Line 56:
== सामान्यीकरण ==
== सामान्यीकरण ==


कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। रिंग (गणित) R पर विभाज्य मॉड्यूल (गणित) ''M'' को परिभाषित करने के लिए साहित्य में निम्नलिखित परिभाषाओं का उपयोग किया गया है:
कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। रिंग (गणित) R पर विभाज्य मॉड्यूल (गणित) ''M'' को परिभाषित करने के लिए साहित्य में निम्नलिखित परिभाषाओं का उपयोग किया गया है:
# ''rM'' = ''M'' सभी अशून्य ''r'' के लिए ''R'' में।{{sfn|Feigelstock|2006}} (यह कभी-कभी आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखक हैं{{sfn|Cartan|Eilenberg|1999}} के लिए आवश्यक है कि R [[डोमेन (रिंग थ्योरी)]] हो।)
# ''rM'' = ''M'' सभी अशून्य ''r'' के लिए ''R'' में।{{sfn|Feigelstock|2006}} (यह कभी-कभी आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखक हैं{{sfn|Cartan|Eilenberg|1999}} के लिए आवश्यक है कि R [[डोमेन (रिंग थ्योरी)]] हो।)
# हर प्रमुख बाएं आइडियल (रिंग थ्योरी) Ra के लिए, Ra से M में कोई भी [[मॉड्यूल समरूपता]] R से M में होमोमोर्फिज्म तक फैला हुआ है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif
# हर प्रमुख बाएं आइडियल (रिंग थ्योरी) Ra के लिए, Ra से M में कोई भी [[मॉड्यूल समरूपता]] R से M में होमोमोर्फिज्म तक फैला हुआ है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif
Line 64: Line 64:
अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि अंतःक्षेपी बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, अंतःक्षेपी मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं।
अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि अंतःक्षेपी बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, अंतःक्षेपी मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं।


यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक जेड की अंगूठी के स्थितियों में, जो प्रमुख आदर्श डोमेन है, जेड-मॉड्यूल (जो वास्तव में एबेलियन समूह है) विभाज्य है अगर और केवल अगर यह इंजेक्शन है।
यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक जेड की अंगूठी के स्थितियों में, जो प्रमुख आदर्श डोमेन है, जेड-मॉड्यूल (जो वास्तव में एबेलियन समूह है) विभाज्य है अगर और केवल अगर यह इंजेक्शन है।


यदि R [[ क्रमविनिमेय अंगूठी ]] डोमेन है, तो इंजेक्टिव R मॉड्यूल विभाज्य R मॉड्यूल के साथ मेल खाता है अगर और केवल अगर R [[ डेडेकिंड डोमेन ]] है।{{sfn|Lam|1999|loc=p.70—73}}
यदि R [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय अंगूठी]] डोमेन है, तो इंजेक्टिव R मॉड्यूल विभाज्य R मॉड्यूल के साथ मेल खाता है अगर और केवल अगर R [[ डेडेकिंड डोमेन |डेडेकिंड डोमेन]] है।{{sfn|Lam|1999|loc=p.70—73}}


== यह भी देखें ==
== यह भी देखें ==
Line 81: Line 81:
*{{citation |last=Feigelstock |first=Shalom |title=Divisible is injective |journal=Soochow J. Math. |volume=32 |year=2006 |number=2|pages=241–243 |issn=0250-3255 |mr=2238765}}
*{{citation |last=Feigelstock |first=Shalom |title=Divisible is injective |journal=Soochow J. Math. |volume=32 |year=2006 |number=2|pages=241–243 |issn=0250-3255 |mr=2238765}}
* {{cite book | last=Griffith|first=Phillip A. | title=Infinite Abelian group theory | series=Chicago Lectures in Mathematics | publisher=University of Chicago Press | year=1970 | isbn=0-226-30870-7 }}
* {{cite book | last=Griffith|first=Phillip A. | title=Infinite Abelian group theory | series=Chicago Lectures in Mathematics | publisher=University of Chicago Press | year=1970 | isbn=0-226-30870-7 }}
* {{cite book | title=The theory of groups |last=Hall|first=Marshall, jr | authorlink=Marshall Hall (mathematician) | location=New York | publisher=Macmillan | year=1959 }} Chapter 13.3.
* {{cite book | title=The theory of groups |last=Hall|first=Marshall, jr | authorlink=Marshall Hall (mathematician) | location=New York | publisher=Macmillan | year=1959 }} Chapter 13.3.
* {{cite book | title=Infinite Abelian Groups|last=Kaplansky|first=Irving | authorlink=Irving Kaplansky | publisher=University of Michigan Press | year=1965 }}
* {{cite book | title=Infinite Abelian Groups|last=Kaplansky|first=Irving | authorlink=Irving Kaplansky | publisher=University of Michigan Press | year=1965 }}
* {{cite book | title=Infinite Abelian Groups Vol 1|last=Fuchs|first=László | authorlink=László Fuchs | publisher=Academic Press | year=1970 }}
* {{cite book | title=Infinite Abelian Groups Vol 1|last=Fuchs|first=László | authorlink=László Fuchs | publisher=Academic Press | year=1970 }}

Revision as of 00:25, 16 March 2023

गणित में, विशेष रूप से समूह सिद्धांत के क्षेत्र में, विभाज्य समूह एबेलियन समूह होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व n गुणक होता है प्रत्येक धनात्मक पूर्णांक n. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे इंजेक्शन मॉड्यूल एबेलियन समूह हैं। या अधिक सही रूप से, प्रत्येक तत्व एक n गुणक होता है प्रत्येक धनात्मक पूर्णांक n. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे इंजेक्शन मॉड्यूल एबेलियन समूह हैं

परिभाषा

एबेलियन समूह विभाज्य है अगर, हर सकारात्मक पूर्णांक के लिए और हर , वहां उपस्थित ऐसा है कि .[1] समतुल्य स्थिति है किसी भी सकारात्मक पूर्णांक के लिए , , के अस्तित्व के बाद से हर एक के लिए और इसका आशय है , और दूसरी दिशा प्रत्येक समूह के लिए सत्य है। तीसरी समान स्थिति यह है कि एबेलियन समूह विभाज्य है अगर और केवल अगर एबेलियन समूहों की श्रेणी में इंजेक्शन वस्तु है; इस कारण से, विभाज्य समूह को कभी-कभी अंतःक्षेपी समूह कहा जाता है।

एबेलियन समूह है - अभाज्य संख्या के लिए विभाज्य यदि प्रत्येक के लिए , वहां उपस्थित ऐसा है कि . समतुल्य रूप से, एबेलियन समूह है -विभाज्य अगर और केवल अगर .

उदाहरण

  • परिमेय संख्याएँ योग के तहत विभाज्य समूह बनाएं।
  • अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह विभाज्य है।
  • विभाज्य समूह का प्रत्येक भागफल समूह विभाज्य है। इस प्रकार, विभाज्य है।
  • पी-प्राथमिक घटक का , जो पी-क्वैसीसाइक्लिक समूह के लिए समूह समरूपता है , विभाज्य है।
  • सम्मिश्र संख्याओं का गुणक समूह विभाज्य है।
  • प्रत्येक अस्तित्वगत रूप से बंद एबेलियन समूह (मॉडल सिद्धांत के अर्थ में) विभाज्य है।

गुण

  • यदि विभाज्य समूह एबेलियन समूह का उपसमूह है तो यह उस एबेलियन समूह का प्रत्यक्ष योग है।[2]
  • प्रत्येक एबेलियन समूह को विभाज्य समूह में एम्बेडिंग किया जा सकता है।[3]
  • गैर-तुच्छ विभाज्य समूह अंतिम रूप से उत्पन्न एबेलियन समूह नहीं हैं।
  • इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय तरीके से एम्बेड किया जा सकता है।[4]
  • एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
  • होने देना अँगूठी बनो (गणित) अगर विभाज्य समूह है, तो की श्रेणी (गणित) में इंजेक्शन है -मॉड्यूल (गणित)।[5]


विभाज्य समूहों की संरचना प्रमेय

माना G विभाज्य समूह है। तब G का मरोड़ उपसमूह Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G. का सीधा योग है

विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इ