विभाज्य समूह: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व ''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 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> | ||
| 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) विभाज्य है। इसके अलावा, यह [[मरोड़ (बीजगणित)]] | विभाज्य समूह के भागफल के रूप में, 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 36: | Line 36: | ||
:<math>(\mathrm{Tor}(G))_p = \bigoplus_{i \in I_p} \mathbb Z[p^\infty] = \mathbb Z[p^\infty]^{(I_p)},</math> | :<math>(\mathrm{Tor}(G))_p = \bigoplus_{i \in I_p} \mathbb Z[p^\infty] = \mathbb Z[p^\infty]^{(I_p)},</math> | ||
कहाँ <math>(\mathrm{Tor}(G))_p</math> टोर ( | कहाँ <math>(\mathrm{Tor}(G))_p</math> टोर (G) का P-प्राथमिक घटक है। | ||
इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है, | इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है, | ||
| Line 60: | Line 60: | ||
# हर प्रमुख बाएं आइडियल (रिंग थ्योरी) Ra के लिए, Ra से M में कोई भी [[मॉड्यूल समरूपता]] R से M में होमोमोर्फिज्म तक फैला हुआ है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif | # हर प्रमुख बाएं आइडियल (रिंग थ्योरी) Ra के लिए, Ra से M में कोई भी [[मॉड्यूल समरूपता]] R से M में होमोमोर्फिज्म तक फैला हुआ है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif | ||
|2003}} (इस प्रकार के विभाज्य मॉड्यूल को मुख्य रूप से इंजेक्टिव मॉड्यूल भी कहा जाता है।) | |2003}} (इस प्रकार के विभाज्य मॉड्यूल को मुख्य रूप से इंजेक्टिव मॉड्यूल भी कहा जाता है।) | ||
# हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] के लिए R के आदर्श L को छोड़ दें, L से M में कोई भी समरूपता R से M में समरूपता तक फैली हुई है। | # हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] के लिए R के आदर्श L को छोड़ दें, L से M में कोई भी समरूपता R से M में समरूपता तक फैली हुई है। | ||
अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि अंतःक्षेपी बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, अंतःक्षेपी मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं। | अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि अंतःक्षेपी बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, अंतःक्षेपी मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं। | ||
Revision as of 00:30, 16 March 2023
गणित में, विशेष रूप से समूह सिद्धांत के क्षेत्र में, विभाज्य समूह एबेलियन समूह होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व n गुणक होता है प्रत्येक धनात्मक पूर्णांक n एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे इंजेक्शन मॉड्यूल एबेलियन समूह हैं। या अधिक सही रूप से, प्रत्येक तत्व एक n गुणक होता है प्रत्येक धनात्मक पूर्णांक n. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे इंजेक्शन मॉड्यूल एबेलियन समूह हैं
परिभाषा
एबेलियन समूह विभाज्य है अगर, हर सकारात्मक पूर्णांक के लिए और हर , वहां उपस्थित ऐसा है कि .[1] समतुल्य स्थिति है किसी भी सकारात्मक पूर्णांक के लिए , , के अस्तित्व के बाद से हर एक के लिए और इसका आशय है , और दूसरी दिशा प्रत्येक समूह के लिए सत्य है। तीसरी समान स्थिति यह है कि एबेलियन समूह विभाज्य है अगर और केवल अगर एबेलियन समूहों की श्रेणी में इंजेक्शन वस्तु है; इस कारण से, विभाज्य समूह को कभी-कभी अंतः क्षेपी समूह कहा जाता है।
एबेलियन समूह है - अभाज्य संख्या के लिए विभाज्य यदि प्रत्येक के लिए , वहां उपस्थित ऐसा है कि . समतुल्य रूप से, एबेलियन समूह है -विभाज्य अगर और केवल अगर .
उदाहरण
- परिमेय संख्याएँ योग के तहत विभाज्य समूह बनाएं।
- अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह विभाज्य है।
- विभाज्य समूह का प्रत्येक भागफल समूह विभाज्य है। इस प्रकार, विभाज्य है।
- पी-प्राथमिक घटक का , जो पी-क्वैसीसाइक्लिक समूह के लिए समूह समरूपता है , विभाज्य है।
- सम्मिश्र संख्याओं का गुणक समूह विभाज्य है।
- प्रत्येक अस्तित्वगत रूप से बंद एबेलियन समूह (मॉडल सिद्धांत के अर्थ में) विभाज्य है।
गुण
- यदि विभाज्य समूह एबेलियन समूह का उपसमूह है तो यह उस एबेलियन समूह का प्रत्यक्ष योग है।[2]
- प्रत्येक एबेलियन समूह को विभाज्य समूह में एम्बेडिंग किया जा सकता है।[3]
- गैर-तुच्छ विभाज्य समूह अंतिम रूप से उत्पन्न एबेलियन समूह नहीं हैं।
- इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय तरीके से एम्बेड किया जा सकता है।[4]
- एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
- एक अँगूठी अगर विभाज्य समूह है, तो की श्रेणी (गणित) में इंजेक्शन है और -मॉड्यूल (गणित) है।[5]
विभाज्य समूहों की संरचना प्रमेय
माना G विभाज्य समूह है। तब G का मरोड़ उपसमूह Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G. का सीधा योग है
विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अलावा, यह मरोड़ (बीजगणित) मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय का का अस्तित्व है
मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है[6][7] कि सभी अभाज्य संख्याओं p का अस्तित्व है