टोरसन (बीजगणित): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Zero divisors in a module}}
{{Short description|Zero divisors in a module}}
{{Other uses|मरोड़ (बहुविकल्पी)}}
{{Other uses|मरोड़ (बहुविकल्पी)}}
गणित में, विशेष रूप से [[ अंगूठी सिद्धांत |वलय सिद्धांत]] में, एक टोर्सन वाला तत्व एक [[मॉड्यूल (गणित)]] का एक तत्व होता है जो वलय (गणित) के कुछ गैर-शून्य-भाजक द्वारा गुणा किए जाने पर शून्य उत्पन्न करता है। एक मॉड्यूल का टोर्सन [[submodule|सबमॉड्यूल]], टोर्सन तत्वों द्वारा गठित सबमॉड्यूल है। एक टोरसन मॉड्यूल एक मॉड्यूल है जो इसके टोरसन सबमिशन के समान होता है। एक मॉड्यूल टोर्सन-मुक्त मॉड्यूल है। टोर्सन-मुक्त यदि इसके टोर्सन वाले सबमॉड्यूल में केवल शून्य तत्व सम्मिलित है।
गणित में, विशेष रूप से [[ अंगूठी सिद्धांत |वलय सिद्धांत]] में, टोर्सन वाला तत्व [[मॉड्यूल (गणित)]] का तत्व होता है जो वलय (गणित) के कुछ गैर-शून्य-भाजक द्वारा गुणा किए जाने पर शून्य उत्पन्न करता है। मॉड्यूल का टोर्सन [[submodule|सबमॉड्यूल]], टोर्सन तत्वों द्वारा गठित सबमॉड्यूल है। टोरसन मॉड्यूल मॉड्यूल है जो इसके टोरसन सबमिशन के समान होता है। मॉड्यूल टोर्सन-मुक्त मॉड्यूल है। टोर्सन-मुक्त यदि इसके टोर्सन वाले सबमॉड्यूल में केवल शून्य तत्व सम्मिलित है।


यह शब्दावली सामान्यतः एक [[डोमेन (रिंग थ्योरी)|डोमेन (वलय सिद्धांत)]] पर मॉड्यूल के लिए उपयोग की जाती है अर्थात जब वलय के नियमित तत्व इसके सभी गैर-शून्य तत्व होते हैं।
यह शब्दावली सामान्यतः [[डोमेन (रिंग थ्योरी)|डोमेन (वलय सिद्धांत)]] पर मॉड्यूल के लिए उपयोग की जाती है अर्थात जब वलय के नियमित तत्व इसके सभी गैर-शून्य तत्व होते हैं।


यह शब्दावली [[एबेलियन समूह]] पर प्रयुक्त होती है (मॉड्यूल और सबमॉड्यूल के साथ [[समूह (गणित)]] और [[उपसमूह]] द्वारा प्रतिस्थापित) यह इस तथ्य से अनुमत है कि एबेलियन समूह पूर्णांक या बीजगणितीय_गुणों की वलय पर मॉड्यूल हैं (वास्तव में यह शब्दावली का मूल है जिसे एबेलियन समूहों के लिए मॉड्यूल के सामान्यीकृत होने से पहले प्रस्तुत किया गया है)।
यह शब्दावली [[एबेलियन समूह]] पर प्रयुक्त होती है (मॉड्यूल और सबमॉड्यूल के साथ [[समूह (गणित)]] और [[उपसमूह]] द्वारा प्रतिस्थापित) यह इस तथ्य से अनुमत है कि एबेलियन समूह पूर्णांक या बीजगणितीय_गुणों की वलय पर मॉड्यूल हैं (वास्तव में यह शब्दावली का मूल है जिसे एबेलियन समूहों के लिए मॉड्यूल के सामान्यीकृत होने से पहले प्रस्तुत किया गया है)।


समूह (गणित) के स्थिति में जो गैर-अनुक्रमिक हैं एक टोर्सन तत्व परिमित [[आदेश (समूह सिद्धांत)]] का एक तत्व है। एबेलियन समूह के स्थिति के विपरीत टोर्सन वाले तत्व सामान्य रूप से उपसमूह नहीं बनाते हैं।
समूह (गणित) के स्थिति में जो गैर-अनुक्रमिक हैं टोर्सन तत्व परिमित [[आदेश (समूह सिद्धांत)]] का तत्व है। एबेलियन समूह के स्थिति के विपरीत टोर्सन वाले तत्व सामान्य रूप से उपसमूह नहीं बनाते हैं।


== परिभाषा ==
== परिभाषा ==
एक [[मॉड्यूल (बीजगणित)]] एम का एक तत्व एम एक वलय (गणित) आर पर मॉड्यूल का एक टोर्सन तत्व कहा जाता है यदि वलय के नियमित तत्व (वलय सिद्धांत) ''r'' स्थिति है (एक तत्व जो न तो बाएं और न ही दाएं है [[शून्य भाजक]]) जो m को नष्ट कर देता है अर्थात, {{nowrap|1=''r'' ''m'' = 0.}} एक [[अभिन्न डोमेन]] (शून्य विभाजक के बिना एक [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय वलय]] ) मे प्रत्येक गैर-शून्य तत्व नियमित होता है इसलिए एक अभिन्न डोमेन पर एक मॉड्यूल का एक टोर्सन तत्व अभिन्न डोमेन के एक गैर-शून्य तत्व द्वारा विलोपित होता है। कुछ लेखक इसे टोर्सन तत्व की परिभाषा के रूप में उपयोग करते हैं किंतु यह परिभाषा अधिक सामान्य वलयो पर अच्छी तरह से काम नहीं करती है।
[[मॉड्यूल (बीजगणित)]] एम का तत्व एम वलय (गणित) आर पर मॉड्यूल का टोर्सन तत्व कहा जाता है यदि वलय के नियमित तत्व (वलय सिद्धांत) ''r'' स्थिति है ( तत्व जो न तो बाएं और न ही दाएं है [[शून्य भाजक]]) जो m को नष्ट कर देता है अर्थात, {{nowrap|1=''r'' ''m'' = 0.}} [[अभिन्न डोमेन]] (शून्य विभाजक के बिना [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय वलय]] ) मे प्रत्येक गैर-शून्य तत्व नियमित होता है इसलिए अभिन्न डोमेन पर मॉड्यूल का टोर्सन तत्व अभिन्न डोमेन के गैर-शून्य तत्व द्वारा विलोपित होता है। कुछ लेखक इसे टोर्सन तत्व की परिभाषा के रूप में उपयोग करते हैं किंतु यह परिभाषा अधिक सामान्य वलयो पर अच्छी तरह से काम नहीं करती है।


एक वलय R के ऊपर एक मॉड्यूल M को एक टोर्सन मॉड्यूल कहा जाता है यदि इसके सभी तत्व टोर्सन वाले तत्व हैं और टोर्सन-मुक्त मॉड्यूल टोर्सन-मुक्त यदि शून्य केवल टोर्सन वाला तत्व है।<ref>{{harvnb|Roman|2008|loc=p. 115, §4}}</ref> यदि वलय R एक अभिन्न डोमेन है तो सभी टोर्सन तत्वों का सेट M का एक सबमॉड्यूल बनाता है जिसे M का टॉर्सियन सबमॉड्यूल कहा जाता है, जिसे कभी-कभी T (M) कहा जाता है। यदि R क्रमविनिमेय नहीं है तो T(M) एक सबमॉड्यूल हो भी सकता है और नहीं भी में दिखाया गया है {{harv|Lam|2007}} कि आर सही [[अयस्क की स्थिति]] है यदि और केवल यदि T(M) सभी सही आर-मॉड्यूल के लिए एम का सबमॉड्यूल है। चूँकि राइट [[नोथेरियन डोमेन]] ओरे हैं, यह उस स्थिति को कवर करता है जब R एक राइट [[नोथेरियन रिंग|नोथेरियन]] वलय डोमेन (वलय सिद्धांत) है (जो कम्यूटिव नहीं हो सकता है)।
वलय R के ऊपर मॉड्यूल M को टोर्सन मॉड्यूल कहा जाता है यदि इसके सभी तत्व टोर्सन वाले तत्व हैं और टोर्सन-मुक्त मॉड्यूल टोर्सन-मुक्त यदि शून्य केवल टोर्सन वाला तत्व है।<ref>{{harvnb|Roman|2008|loc=p. 115, §4}}</ref> यदि वलय R अभिन्न डोमेन है तो सभी टोर्सन तत्वों का सेट M का सबमॉड्यूल बनाता है जिसे M का टॉर्सियन सबमॉड्यूल कहा जाता है, जिसे कभी-कभी T (M) कहा जाता है। यदि R क्रमविनिमेय नहीं है तो T(M) सबमॉड्यूल हो भी सकता है और नहीं भी में दिखाया गया है {{harv|Lam|2007}} कि आर सही [[अयस्क की स्थिति]] है यदि और केवल यदि T(M) सभी सही आर-मॉड्यूल के लिए एम का सबमॉड्यूल है। चूँकि राइट [[नोथेरियन डोमेन]] ओरे हैं, यह उस स्थिति को कवर करता है जब R राइट [[नोथेरियन रिंग|नोथेरियन]] वलय डोमेन (वलय सिद्धांत) है (जो कम्यूटिव नहीं हो सकता है)।


अधिक सामान्यतः ''M'' को वलय ''R'' पर एक मॉड्यूल होने दें और ''S'', ''R'' का गुणनात्मक रूप से बंद उपसमुच्चय हो ''M'' के एक तत्व ''M'' को ''S''-टोरसन तत्व कहा जाता है यदि ''S'' में एक तत्व उपस्थित है जैसे ''S'' ''m'' को नष्ट कर देता है, जिससे s m = 0. विशेष रूप से, कोई S के लिए वलय R के नियमित तत्वों का सेट ले सकता है और उपरोक्त परिभाषा को पुनर्प्राप्त कर सकता है।
अधिक सामान्यतः ''M'' को वलय ''R'' पर मॉड्यूल होने दें और ''S'', ''R'' का गुणनात्मक रूप से बंद उपसमुच्चय हो ''M'' के तत्व ''M'' को ''S''-टोरसन तत्व कहा जाता है यदि ''S'' में तत्व उपस्थित है जैसे ''S'' ''m'' को नष्ट कर देता है, जिससे s m = 0. विशेष रूप से, कोई S के लिए वलय R के नियमित तत्वों का सेट ले सकता है और उपरोक्त परिभाषा को पुनर्प्राप्त कर सकता है।


समूह (गणित) के एक तत्व g को समूह का टोर्सन वाला तत्व कहा जाता है यदि इसका परिमित क्रम है, अर्थात यदि कोई सकारात्मक पूर्णांक m है जैसे कि g<sup>m</sup> = e, जहां e समूह के [[पहचान तत्व]] को दर्शाता है और g<sup>m</sup> g की m प्रतियों के गुणनफल को दर्शाता है। एक समूह को एक [[मरोड़ समूह|टोर्सन समूह]] कहा जाता है | टोर्सन (या आवधिक) समूह यदि इसके सभी तत्व टोर्सन वाले तत्व हैं, और एक '{{vanchor|टोर्सन मुक्त समूह}} यदि इसका एकमात्र टोर्सन तत्व पहचान तत्व है। किसी भी एबेलियन समूह को पूर्णांक के वलय Z पर एक मॉड्यूल के रूप में देखा जा सकता है, और इस स्थिति में टोर्सन की दो धारणाएँ मेल खाती हैं।
समूह (गणित) के तत्व g को समूह का टोर्सन वाला तत्व कहा जाता है यदि इसका परिमित क्रम है, अर्थात यदि कोई सकारात्मक पूर्णांक m है जैसे कि g<sup>m</sup> = e, जहां e समूह के [[पहचान तत्व]] को दर्शाता है और g<sup>m</sup> g की m प्रतियों के गुणनफल को दर्शाता है। समूह को [[मरोड़ समूह|टोर्सन समूह]] कहा जाता है | टोर्सन (या आवधिक) समूह यदि इसके सभी तत्व टोर्सन वाले तत्व हैं, और '{{vanchor|टोर्सन मुक्त समूह}} यदि इसका एकमात्र टोर्सन तत्व पहचान तत्व है। किसी भी एबेलियन समूह को पूर्णांक के वलय Z पर मॉड्यूल के रूप में देखा जा सकता है, और इस स्थिति में टोर्सन की दो धारणाएँ मेल खाती हैं।


== उदाहरण ==
== उदाहरण ==


# ''M'' को किसी भी वलय ''R'' पर एक मुक्त मॉड्यूल होने दें। फिर यह परिभाषाओं से तुरंत अनुसरण करता है कि ''M'' टोरसन-फ्री है (यदि वलय ''R'' एक डोमेन नहीं है तो टोरसन को गैर-शून्य-विभाजक के सेट एस के संबंध में माना जाता है आर)। विशेष रूप से, कोई भी [[मुक्त एबेलियन समूह]] टोर्सन-मुक्त होता है और [[क्षेत्र (गणित)]] K पर कोई भी सदिश स्थान K के [[मुफ्त मॉड्यूल]] के रूप में देखे जाने पर टोर्सन-मुक्त होता है।
# ''M'' को किसी भी वलय ''R'' पर मुक्त मॉड्यूल होने दें। फिर यह परिभाषाओं से तुरंत अनुसरण करता है कि ''M'' टोरसन-फ्री है (यदि वलय ''R'' डोमेन नहीं है तो टोरसन को गैर-शून्य-विभाजक के सेट एस के संबंध में माना जाता है आर)। विशेष रूप से, कोई भी [[मुक्त एबेलियन समूह]] टोर्सन-मुक्त होता है और [[क्षेत्र (गणित)]] K पर कोई भी सदिश स्थान K के [[मुफ्त मॉड्यूल]] के रूप में देखे जाने पर टोर्सन-मुक्त होता है।
# उदाहरण 1 के विपरीत कोई [[परिमित समूह]] (एबेलियन या नहीं) आवधिक और अंतिम रूप से उत्पन्न समूह है। बर्नसाइड की समस्या इसके विपरीत पूछती है कि क्या कोई भी निश्चित रूप से उत्पन्न आवधिक समूह परिमित होना चाहिए? उत्तर सामान्यतः नहीं है तथापि अवधि निश्चित हो।
# उदाहरण 1 के विपरीत कोई [[परिमित समूह]] (एबेलियन या नहीं) आवधिक और अंतिम रूप से उत्पन्न समूह है। बर्नसाइड की समस्या इसके विपरीत पूछती है कि क्या कोई भी निश्चित रूप से उत्पन्न आवधिक समूह परिमित होना चाहिए? उत्तर सामान्यतः नहीं है तथापि अवधि निश्चित हो।
# एक क्षेत्र के [[गुणक समूह]] के टोर्सन वाले तत्व इसकी [[एकता की जड़]] हैं।
# क्षेत्र के [[गुणक समूह]] के टोर्सन वाले तत्व इसकी [[एकता की जड़]] हैं।
#मॉड्यूलर समूह Γ में 2 × 2 पूर्णांक मैट्रिक्स के समूह एसएल (2, 'Z') से इकाई निर्धारक के साथ इसके केंद्र को फैक्टर करके प्राप्त किया जाता है किसी भी गैर-तुच्छ टोर्सन तत्व में या तो क्रम दो होता है और तत्व एस के [[संयुग्मन (समूह सिद्धांत)|संयुग्मन]] होता है या क्रम तीन होता है और तत्व ST से संयुग्मी है। इस स्थिति में टोर्सन तत्व एक उपसमूह नहीं बनाते हैं, उदाहरण के लिए S · ST = T जिसका अनंत क्रम है।
#मॉड्यूलर समूह Γ में 2 × 2 पूर्णांक मैट्रिक्स के समूह एसएल (2, 'Z') से इकाई निर्धारक के साथ इसके केंद्र को फैक्टर करके प्राप्त किया जाता है किसी भी गैर-तुच्छ टोर्सन तत्व में या तो क्रम दो होता है और तत्व एस के [[संयुग्मन (समूह सिद्धांत)|संयुग्मन]] होता है या क्रम तीन होता है और तत्व ST से संयुग्मी है। इस स्थिति में टोर्सन तत्व उपसमूह नहीं बनाते हैं, उदाहरण के लिए S · ST = T जिसका अनंत क्रम है।
#
#
# एबेलियन समूह 'Q'/'Z', जिसमें परिमेय संख्या मॉड्यूल 1 सम्मिलित या आवधिक है अर्थात प्रत्येक तत्व का परिमित क्रम है। अनुरूप रूप से मॉड्यूल '''K'''(''t'')/'''K'''[''t''] वलय ''R'' = '''K'''[''t''] पर [[बहुपद]] एक चर में शुद्ध टोर्सन है। इन दोनों उदाहरणों को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि R एक अभिन्न डोमेन है और Q इसके [[अंशों का क्षेत्र]] है तो Q/R एक टोर्सन वाला R-मॉड्यूल है।
# एबेलियन समूह 'Q'/'Z', जिसमें परिमेय संख्या मॉड्यूल 1 सम्मिलित या आवधिक है अर्थात प्रत्येक तत्व का परिमित क्रम है। अनुरूप रूप से मॉड्यूल '''K'''(''t'')/'''K'''[''t''] वलय ''R'' = '''K'''[''t''] पर [[बहुपद]] चर में शुद्ध टोर्सन है। इन दोनों उदाहरणों को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि R अभिन्न डोमेन है और Q इसके [[अंशों का क्षेत्र]] है तो Q/R टोर्सन वाला R-मॉड्यूल है।
# ('''R'''/'''Z''', +) का [[मरोड़ उपसमूह|टोर्सन उपसमूह]] ('''Q'''/'''Z''', +) है जबकि समूह ('''R''', +) और ('''Z''', +) टोर्सन मुक्त हैं एक उपसमूह द्वारा टोर्सन-मुक्त एबेलियन समूह का भाग टोर्सन-मुक्त होता है जब उपसमूह एक [[शुद्ध उपसमूह]] होता है।
# ('''R'''/'''Z''', +) का [[मरोड़ उपसमूह|टोर्सन उपसमूह]] ('''Q'''/'''Z''', +) है जबकि समूह ('''R''', +) और ('''Z''', +) टोर्सन मुक्त हैं उपसमूह द्वारा टोर्सन-मुक्त एबेलियन समूह का भाग टोर्सन-मुक्त होता है जब उपसमूह [[शुद्ध उपसमूह]] होता है।
# एक [[आयाम (वेक्टर स्थान)]] पर अभिनय करने वाले एक [[रैखिक ऑपरेटर]] 'L' पर विचार करें। परिमित-आयामी वेक्टर स्थान 'V'। यदि हम 'वी' को ''''F'''['''L''']-मॉड्यूल के रूप में प्राकृतिक विधि से देखते हैं तो (कई चीजों के परिणामस्वरूप या तो परिमित-आयामीता से या केली-हैमिल्टन प्रमेय के परिणामस्वरूप), 'वी' एक टोर्सन ''''F'''['''L'''] -मॉड्यूल है।
# [[आयाम (वेक्टर स्थान)]] पर अभिनय करने वाले [[रैखिक ऑपरेटर]] 'L' पर विचार करें। परिमित-आयामी वेक्टर स्थान 'V'। यदि हम 'वी' को ''''F'''['''L''']-मॉड्यूल के रूप में प्राकृतिक विधि से देखते हैं तो (कई चीजों के परिणामस्वरूप या तो परिमित-आयामीता से या केली-हैमिल्टन प्रमेय के परिणामस्वरूप), 'वी' टोर्सन ''''F'''['''L'''] -मॉड्यूल है।


== एक [[प्रमुख आदर्श डोमेन]] की स्थिति ==
== [[प्रमुख आदर्श डोमेन]] की स्थिति ==


मान लीजिए कि R एक (कम्यूटेटिव) प्रमुख आदर्श डोमेन है और M एक अंतिम रूप से उत्पन्न मॉड्यूल अंतिम रूप से उत्पन्न R-मॉड्यूल है। फिर [[एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय]] मॉड्यूल एम का समरूपता तक विस्तृत विवरण देता है। विशेष रूप से यह प्रमाणित करता है
मान लीजिए कि R (कम्यूटेटिव) प्रमुख आदर्श डोमेन है और M अंतिम रूप से उत्पन्न मॉड्यूल अंतिम रूप से उत्पन्न R-मॉड्यूल है। फिर [[एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय|प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय]] मॉड्यूल एम का समरूपता तक विस्तृत विवरण देता है। विशेष रूप से यह प्रमाणित करता है


: <math>M \simeq F\oplus T(M),</math>
: <math>M \simeq F\oplus T(M),</math>
जहां एफ परिमित मुक्त मॉड्यूल (केवल ''M'' पर निर्भर करता है) का एक मुक्त आर-मॉड्यूल है और T(''M'') ''M'' का टोर्सन सबमॉड्यूल है। एक [[परिणाम]] के रूप में, ''R'' पर कोई भी परिमित रूप से उत्पन्न टोर्सन-मुक्त मॉड्यूल मुफ्त है। यह उपप्रमेय अधिक सामान्य क्रमविनिमेय डोमेन के लिए मान्य नहीं है, यहां तक ​​कि ''R'' = '''K'''[''x'',''y''], दो चरों में बहुपदों की वलय के लिए भी गैर-सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए उपरोक्त प्रत्यक्ष अपघटन सत्य नहीं है। एबेलियन समूह का टोर्सन उपसमूह इसका [[प्रत्यक्ष योग]] नहीं हो सकता है।
जहां एफ परिमित मुक्त मॉड्यूल (केवल ''M'' पर निर्भर करता है) का मुक्त आर-मॉड्यूल है और T(''M'') ''M'' का टोर्सन सबमॉड्यूल है। [[परिणाम]] के रूप में, ''R'' पर कोई भी परिमित रूप से उत्पन्न टोर्सन-मुक्त मॉड्यूल मुफ्त है। यह उपप्रमेय अधिक सामान्य क्रमविनिमेय डोमेन के लिए मान्य नहीं है, यहां तक ​​कि ''R'' = '''K'''[''x'',''y''], दो चरों में बहुपदों की वलय के लिए भी गैर-सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए उपरोक्त प्रत्यक्ष अपघटन सत्य नहीं है। एबेलियन समूह का टोर्सन उपसमूह इसका [[प्रत्यक्ष योग]] नहीं हो सकता है।


== टोर्सन और स्थानीयकरण ==
== टोर्सन और स्थानीयकरण ==


मान लें कि R एक क्रमविनिमेय डोमेन है और M एक R-मॉड्यूल है। Q को वलय R का [[भागफल क्षेत्र]] होने दें। तब कोई Q-मॉड्यूल पर विचार कर सकता है
मान लें कि R क्रमविनिमेय डोमेन है और M R-मॉड्यूल है। Q को वलय R का [[भागफल क्षेत्र]] होने दें। तब कोई Q-मॉड्यूल पर विचार कर सकता है


: <math>M_Q = M \otimes_R Q,</math>
: <math>M_Q = M \otimes_R Q,</math>
स्केलर्स के विस्तार से एम से प्राप्त किया गया। चूंकि ''Q'' एक क्षेत्र है, ''Q'' पर एक मॉड्यूल एक सदिश स्थान है, संभवतः अनंत-आयामी ''M'' से ''M<sub>Q</sub>'' तक एबेलियन समूहों का एक विहित [[समूह समरूपता]] है और इस समरूपता का [[कर्नेल (बीजगणित)]] बिल्कुल टोर्सन वाला सबमॉड्यूल T(M) है। अधिक सामान्यतः यदि S वलय R का गुणात्मक रूप से बंद उपसमुच्चय है, तो हम R-मॉड्यूल M के एक मॉड्यूल के स्थानीयकरण पर विचार कर सकते हैं,
स्केलर्स के विस्तार से एम से प्राप्त किया गया। चूंकि ''Q'' क्षेत्र है, ''Q'' पर मॉड्यूल सदिश स्थान है, संभवतः अनंत-आयामी ''M'' से ''M<sub>Q</sub>'' तक एबेलियन समूहों का विहित [[समूह समरूपता]] है और इस समरूपता का [[कर्नेल (बीजगणित)]] बिल्कुल टोर्सन वाला सबमॉड्यूल T(M) है। अधिक सामान्यतः यदि S वलय R का गुणात्मक रूप से बंद उपसमुच्चय है, तो हम R-मॉड्यूल M के मॉड्यूल के स्थानीयकरण पर विचार कर सकते हैं,


: <math>M_S = M \otimes_R R_S,</math>
: <math>M_S = M \otimes_R R_S,</math>
जो एक वलय ''R<sub>S</sub>'' के स्थानीयकरण पर एक मॉड्यूल है M से ''M<sub>S</sub>'' तक एक विहित मानचित्र है जिसका कर्नेल ठीक M का S- टोर्सन वाला सबमॉड्यूल है।
जो वलय ''R<sub>S</sub>'' के स्थानीयकरण पर मॉड्यूल है M से ''M<sub>S</sub>'' तक विहित मानचित्र है जिसका कर्नेल ठीक M का S- टोर्सन वाला सबमॉड्यूल है।


इस प्रकार M के टोर्सन वाले सबमॉड्यूल की व्याख्या उन तत्वों के समूह के रूप में की जा सकती है जो स्थानीयकरण में विलुप्त हो जाते हैं। अयस्क की स्थिति को संतुष्ट करने वाले वलय के लिए गैर-कम्यूटेटिव सेटिंग में एक ही व्याख्या जारी है या अधिक सामान्यतः किसी भी अयस्क की स्थिति के लिए या गुणक सेट ''S'' और सही ''R''-मॉड्यूल ''M के लिए होती है |''
इस प्रकार M के टोर्सन वाले सबमॉड्यूल की व्याख्या उन तत्वों के समूह के रूप में की जा सकती है जो स्थानीयकरण में विलुप्त हो जाते हैं। अयस्क की स्थिति को संतुष्ट करने वाले वलय के लिए गैर-कम्यूटेटिव सेटिंग में ही व्याख्या जारी है या अधिक सामान्यतः किसी भी अयस्क की स्थिति के लिए या गुणक सेट ''S'' और सही ''R''-मॉड्यूल ''M के लिए होती है |''


== सजातीय बीजगणित में टोर्सन ==
== सजातीय बीजगणित में टोर्सन ==


[[समरूप बीजगणित]] में टोर्सन की अवधारणा एक महत्वपूर्ण भूमिका निभाती है। यदि ''M'' और ''N'' एक कम्यूटेटिव डोमेन आर पर दो मॉड्यूल हैं (उदाहरण के लिए, दो एबेलियन समूह, जब ''R'' = '''Z)''' टोर कारक आर-मॉड्यूल Tor<sub>''i'' </sub>(''M'',''N'') के एक वर्ग का उत्पादन करते हैं। एक ''R''-मॉड्यूल ''M'' का ''S''-टोर्सन, Tor<sup>''R''</sup> के स्पष्ट अनुक्रम द्वारा Tor<sup>''R''</sup><sub>1</sub>(''M'', ''R<sub>S</sub>''/''R'') के लिए कैनोनिक रूप से आइसोमोर्फिक है: [[लघु सटीक अनुक्रम|लघु स्पष्ट अनुक्रम]] <math>0\to R\to R_S \to R_S/R \to 0</math> R-मॉड्यूल एक स्पष्ट अनुक्रम देता है <math>0\to\operatorname{Tor}^R_1(M, R_S/R)\to M\to M_S</math> इसलिए <math>\operatorname{Tor}^R_1(M, R_S/R)</math> M के स्थानीयकरण मानचित्र का कर्नेल है। प्रतीक टोर को दर्शाता है कारक बीजगणितीय टोर्सन के साथ इस संबंध को दर्शाता है। यह वही परिणाम गैर-कम्यूटेटिव वलय के साथ-साथ तब तक रहता है जब तक कि सेट S एक सही भाजक सेट है।
[[समरूप बीजगणित]] में टोर्सन की अवधारणा महत्वपूर्ण भूमिका निभाती है। यदि ''M'' और ''N'' कम्यूटेटिव डोमेन आर पर दो मॉड्यूल हैं (उदाहरण के लिए, दो एबेलियन समूह, जब ''R'' = '''Z)''' टोर कारक आर-मॉड्यूल Tor<sub>''i'' </sub>(''M'',''N'') के वर्ग का उत्पादन करते हैं। ''R''-मॉड्यूल ''M'' का ''S''-टोर्सन, Tor<sup>''R''</sup> के स्पष्ट अनुक्रम द्वारा Tor<sup>''R''</sup><sub>1</sub>(''M'', ''R<sub>S</sub>''/''R'') के लिए कैनोनिक रूप से आइसोमोर्फिक है: [[लघु सटीक अनुक्रम|लघु स्पष्ट अनुक्रम]] <math>0\to R\to R_S \to R_S/R \to 0</math> R-मॉड्यूल स्पष्ट अनुक्रम देता है <math>0\to\operatorname{Tor}^R_1(M, R_S/R)\to M\to M_S</math> इसलिए <math>\operatorname{Tor}^R_1(M, R_S/R)</math> M के स्थानीयकरण मानचित्र का कर्नेल है। प्रतीक टोर को दर्शाता है कारक बीजगणितीय टोर्सन के साथ इस संबंध को दर्शाता है। यह वही परिणाम गैर-कम्यूटेटिव वलय के साथ-साथ तब तक रहता है जब तक कि सेट S सही भाजक सेट है।


== एबेलियन प्रकार ==
== एबेलियन प्रकार ==
[[Image:Lattice torsion points.svg|right|thumb|300px|सम्मिश्र संख्याओं पर दीर्घवृत्तीय वक्र का 4-टोर्सन वाला उपसमूह।]]एक [[एबेलियन किस्म]] के टोर्सन वाले तत्व टोर्सन बिंदु हैं या एक पुरानी शब्दावली में विभाजन बिंदु[[अण्डाकार वक्र]] पर उनकी गणना [[विभाजन बहुपद]] के रूप में की जा सकती है।
[[Image:Lattice torsion points.svg|right|thumb|300px|सम्मिश्र संख्याओं पर दीर्घवृत्तीय वक्र का 4-टोर्सन वाला उपसमूह।]][[एबेलियन किस्म]] के टोर्सन वाले तत्व टोर्सन बिंदु हैं या पुरानी शब्दावली में विभाजन बिंदु[[अण्डाकार वक्र]] पर उनकी गणना [[विभाजन बहुपद]] के रूप में की जा सकती है।
== यह भी देखें                                      ==
== यह भी देखें                                      ==
* [[विश्लेषणात्मक मरोड़|विश्लेषणात्मक टोर्सन]]
* [[विश्लेषणात्मक मरोड़|विश्लेषणात्मक टोर्सन]]
Line 59: Line 59:
* [[फ्लैट मॉड्यूल]]
* [[फ्लैट मॉड्यूल]]
* [[विनाशक (अंगूठी सिद्धांत)|विनाशक (वलय सिद्धांत)]]
* [[विनाशक (अंगूठी सिद्धांत)|विनाशक (वलय सिद्धांत)]]
* एक मॉड्यूल का स्थानीयकरण
* मॉड्यूल का स्थानीयकरण
* [[एक एबेलियन समूह की रैंक]]
* [[एक एबेलियन समूह की रैंक|एबेलियन समूह की रैंक]]
* रे–गायक टोर्सन
* रे–गायक टोर्सन
* टोर्सन मुक्त एबेलियन समूह
* टोर्सन मुक्त एबेलियन समूह
Line 85: Line 85:
श्रेणी:समरूप बीजगणित
श्रेणी:समरूप बीजगणित


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Torsion (Algebra)]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023|Torsion (Algebra)]]
[[Category:Lua-based templates|Torsion (Algebra)]]
[[Category:Machine Translated Page|Torsion (Algebra)]]
[[Category:Pages with script errors|Torsion (Algebra)]]
[[Category:Templates Vigyan Ready|Torsion (Algebra)]]
[[Category:Templates that add a tracking category|Torsion (Algebra)]]
[[Category:Templates that generate short descriptions|Torsion (Algebra)]]
[[Category:Templates using TemplateData|Torsion (Algebra)]]

Latest revision as of 09:50, 12 June 2023

गणित में, विशेष रूप से वलय सिद्धांत में, टोर्सन वाला तत्व मॉड्यूल (गणित) का तत्व होता है जो वलय (गणित) के कुछ गैर-शून्य-भाजक द्वारा गुणा किए जाने पर शून्य उत्पन्न करता है। मॉड्यूल का टोर्सन सबमॉड्यूल, टोर्सन तत्वों द्वारा गठित सबमॉड्यूल है। टोरसन मॉड्यूल मॉड्यूल है जो इसके टोरसन सबमिशन के समान होता है। मॉड्यूल टोर्सन-मुक्त मॉड्यूल है। टोर्सन-मुक्त यदि इसके टोर्सन वाले सबमॉड्यूल में केवल शून्य तत्व सम्मिलित है।

यह शब्दावली सामान्यतः डोमेन (वलय सिद्धांत) पर मॉड्यूल के लिए उपयोग की जाती है अर्थात जब वलय के नियमित तत्व इसके सभी गैर-शून्य तत्व होते हैं।

यह शब्दावली एबेलियन समूह पर प्रयुक्त होती है (मॉड्यूल और सबमॉड्यूल के साथ समूह (गणित) और उपसमूह द्वारा प्रतिस्थापित) यह इस तथ्य से अनुमत है कि एबेलियन समूह पूर्णांक या बीजगणितीय_गुणों की वलय पर मॉड्यूल हैं (वास्तव में यह शब्दावली का मूल है जिसे एबेलियन समूहों के लिए मॉड्यूल के सामान्यीकृत होने से पहले प्रस्तुत किया गया है)।

समूह (गणित) के स्थिति में जो गैर-अनुक्रमिक हैं टोर्सन तत्व परिमित आदेश (समूह सिद्धांत) का तत्व है। एबेलियन समूह के स्थिति के विपरीत टोर्सन वाले तत्व सामान्य रूप से उपसमूह नहीं बनाते हैं।

परिभाषा

मॉड्यूल (बीजगणित) एम का तत्व एम वलय (गणित) आर पर मॉड्यूल का टोर्सन तत्व कहा जाता है यदि वलय के नियमित तत्व (वलय सिद्धांत) r स्थिति है ( तत्व जो न तो बाएं और न ही दाएं है शून्य भाजक) जो m को नष्ट कर देता है अर्थात, rm = 0. अभिन्न डोमेन (शून्य विभाजक के बिना क्रमविनिमेय वलय ) मे प्रत्येक गैर-शून्य तत्व नियमित होता है इसलिए अभिन्न डोमेन पर मॉड्यूल का टोर्सन तत्व अभिन्न डोमेन के गैर-शून्य तत्व द्वारा विलोपित होता है। कुछ लेखक इसे टोर्सन तत्व की परिभाषा के रूप में उपयोग करते हैं किंतु यह परिभाषा अधिक सामान्य वलयो पर अच्छी तरह से काम नहीं करती है।

वलय R के ऊपर मॉड्यूल M को टोर्सन मॉड्यूल कहा जाता है यदि इसके सभी तत्व टोर्सन वाले तत्व हैं और टोर्सन-मुक्त मॉड्यूल टोर्सन-मुक्त यदि शून्य केवल टोर्सन वाला तत्व है।[1] यदि वलय R अभिन्न डोमेन है तो सभी टोर्सन तत्वों का सेट M का सबमॉड्यूल बनाता है जिसे M का टॉर्सियन सबमॉड्यूल कहा जाता है, जिसे कभी-कभी T (M) कहा जाता है। यदि R क्रमविनिमेय नहीं है तो T(M) सबमॉड्यूल हो भी सकता है और नहीं भी में दिखाया गया है (Lam 2007) कि आर सही अयस्क की स्थिति है यदि और केवल यदि T(M) सभी सही आर-मॉड्यूल के लिए एम का सबमॉड्यूल है। चूँकि राइट नोथेरियन डोमेन ओरे हैं, यह उस स्थिति को कवर करता है जब R राइट नोथेरियन वलय डोमेन (वलय सिद्धांत) है (जो कम्यूटिव नहीं हो सकता है)।

अधिक सामान्यतः M को वलय R पर मॉड्यूल होने दें और S, R का गुणनात्मक रूप से बंद उपसमुच्चय हो M के तत्व M को S-टोरसन तत्व कहा जाता है यदि S में तत्व उपस्थित है जैसे S m को नष्ट कर देता है, जिससे s m = 0. विशेष रूप से, कोई S के लिए वलय R के नियमित तत्वों का सेट ले सकता है और उपरोक्त परिभाषा को पुनर्प्राप्त कर सकता है।

समूह (गणित) के तत्व g को समूह का टोर्सन वाला तत्व कहा जाता है यदि इसका परिमित क्रम है, अर्थात यदि कोई सकारात्मक पूर्णांक m है जैसे कि gm = e, जहां e समूह के पहचान तत्व को दर्शाता है और gm g की m प्रतियों के गुणनफल को दर्शाता है। समूह को टोर्सन समूह कहा जाता है | टोर्सन (या आवधिक) समूह यदि इसके सभी तत्व टोर्सन वाले तत्व हैं, और 'टोर्सन मुक्त समूह यदि इसका एकमात्र टोर्सन तत्व पहचान तत्व है। किसी भी एबेलियन समूह को पूर्णांक के वलय Z पर मॉड्यूल के रूप में देखा जा सकता है, और इस स्थिति में टोर्सन की दो धारणाएँ मेल खाती हैं।

उदाहरण

  1. M को किसी भी वलय R पर मुक्त मॉड्यूल होने दें। फिर यह परिभाषाओं से तुरंत अनुसरण करता है कि M टोरसन-फ्री है (यदि वलय R डोमेन नहीं है तो टोरसन को गैर-शून्य-विभाजक के सेट एस के संबंध में माना जाता है आर)। विशेष रूप से, कोई भी मुक्त एबेलियन समूह टोर्सन-मुक्त होता है और क्षेत्र (गणित) K पर कोई भी सदिश स्थान K के मुफ्त मॉड्यूल के रूप में देखे जाने पर टोर्सन-मुक्त होता है।
  2. उदाहरण 1 के विपरीत कोई परिमित समूह (एबेलियन या नहीं) आवधिक और अंतिम रूप से उत्पन्न समूह है। बर्नसाइड की समस्या इसके विपरीत पूछती है कि क्या कोई भी निश्चित रूप से उत्पन्न आवधिक समूह परिमित होना चाहिए? उत्तर सामान्यतः नहीं है तथापि अवधि निश्चित हो।
  3. क्षेत्र के गुणक समूह के टोर्सन वाले तत्व इसकी एकता की जड़ हैं।
  4. मॉड्यूलर समूह Γ में 2 × 2 पूर्णांक मैट्रिक्स के समूह एसएल (2, 'Z') से इकाई निर्धारक के साथ इसके केंद्र को फैक्टर करके प्राप्त किया जाता है किसी भी गैर-तुच्छ टोर्सन तत्व में या तो क्रम दो होता है और तत्व एस के संयुग्मन होता है या क्रम तीन होता है और तत्व ST से संयुग्मी है। इस स्थिति में टोर्सन तत्व उपसमूह नहीं बनाते हैं, उदाहरण के लिए S · ST = T जिसका अनंत क्रम है।
  5. एबेलियन समूह 'Q'/'Z', जिसमें परिमेय संख्या मॉड्यूल 1 सम्मिलित या आवधिक है अर्थात प्रत्येक तत्व का परिमित क्रम है। अनुरूप रूप से मॉड्यूल K(t)/K[t] वलय R = K[t] पर बहुपद चर में शुद्ध टोर्सन है। इन दोनों उदाहरणों को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि R अभिन्न डोमेन है और Q इसके अंशों का क्षेत्र है तो Q/R टोर्सन वाला R-मॉड्यूल है।
  6. (R/Z, +) का टोर्सन उपसमूह (Q/Z, +) है जबकि समूह (R, +) और (Z, +) टोर्सन मुक्त हैं उपसमूह द्वारा टोर्सन-मुक्त एबेलियन समूह का भाग टोर्सन-मुक्त होता है जब उपसमूह शुद्ध उपसमूह होता है।
  7. आयाम (वेक्टर स्थान) पर अभिनय करने वाले रैखिक ऑपरेटर 'L' पर विचार करें। परिमित-आयामी वेक्टर स्थान 'V'। यदि हम 'वी' को 'F[L]-मॉड्यूल के रूप में प्राकृतिक विधि से देखते हैं तो (कई चीजों के परिणामस्वरूप या तो परिमित-आयामीता से या केली-हैमिल्टन प्रमेय के परिणामस्वरूप), 'वी' टोर्सन 'F[L] -मॉड्यूल है।

प्रमुख आदर्श डोमेन की स्थिति

मान लीजिए कि R (कम्यूटेटिव) प्रमुख आदर्श डोमेन है और M अंतिम रूप से उत्पन्न मॉड्यूल अंतिम रूप से उत्पन्न R-मॉड्यूल है। फिर प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय मॉड्यूल एम का समरूपता तक विस्तृत विवरण देता है। विशेष रूप से यह प्रमाणित करता है

जहां एफ परिमित मुक्त मॉड्यूल (केवल M पर निर्भर करता है) का मुक्त आर-मॉड्यूल है और T(M) M का टोर्सन सबमॉड्यूल है। परिणाम के रूप में, R पर कोई भी परिमित रूप से उत्पन्न टोर्सन-मुक्त मॉड्यूल मुफ्त है। यह उपप्रमेय अधिक सामान्य क्रमविनिमेय डोमेन के लिए मान्य नहीं है, यहां तक ​​कि R = K[x,y], दो चरों में बहुपदों की वलय के लिए भी गैर-सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए उपरोक्त प्रत्यक्ष अपघटन सत्य नहीं है। एबेलियन समूह का टोर्सन उपसमूह इसका प्रत्यक्ष योग नहीं हो सकता है।

टोर्सन और स्थानीयकरण

मान लें कि R क्रमविनिमेय डोमेन है और M R-मॉड्यूल है। Q को वलय R का भागफल क्षेत्र होने दें। तब कोई Q-मॉड्यूल पर विचार कर सकता है

स्केलर्स के विस्तार से एम से प्राप्त किया गया। चूंकि Q क्षेत्र है, Q पर मॉड्यूल सदिश स्थान है, संभवतः अनंत-आयामी M से MQ तक एबेलियन समूहों का विहित समूह समरूपता है और इस समरूपता का कर्नेल (बीजगणित) बिल्कुल टोर्सन वाला सबमॉड्यूल T(M) है। अधिक सामान्यतः यदि S वलय R का गुणात्मक रूप से बंद उपसमुच्चय है, तो हम R-मॉड्यूल M के मॉड्यूल के स्थानीयकरण पर विचार कर सकते हैं,

जो वलय RS के स्थानीयकरण पर मॉड्यूल है M से MS तक विहित मानचित्र है जिसका कर्नेल ठीक M का S- टोर्सन वाला सबमॉड्यूल है।

इस प्रकार M के टोर्सन वाले सबमॉड्यूल की व्याख्या उन तत्वों के समूह के रूप में की जा सकती है जो स्थानीयकरण में विलुप्त हो जाते हैं। अयस्क की स्थिति को संतुष्ट करने वाले वलय के लिए गैर-कम्यूटेटिव सेटिंग में ही व्याख्या जारी है या अधिक सामान्यतः किसी भी अयस्क की स्थिति के लिए या गुणक सेट S और सही R-मॉड्यूल M के लिए होती है |

सजातीय बीजगणित में टोर्सन

समरूप बीजगणित में टोर्सन की अवधारणा महत्वपूर्ण भूमिका निभाती है। यदि M और N कम्यूटेटिव डोमेन आर पर दो मॉड्यूल हैं (उदाहरण के लिए, दो एबेलियन समूह, जब R = Z) टोर कारक आर-मॉड्यूल Tori(M,N) के वर्ग का उत्पादन करते हैं। R-मॉड्यूल M का S-टोर्सन, TorR के स्पष्ट अनुक्रम द्वारा TorR1(M, RS/R) के लिए कैनोनिक रूप से आइसोमोर्फिक है: लघु स्पष्ट अनुक्रम R-मॉड्यूल स्पष्ट अनुक्रम देता है इसलिए M के स्थानीयकरण मानचित्र का कर्नेल है। प्रतीक टोर को दर्शाता है कारक बीजगणितीय टोर्सन के साथ इस संबंध को दर्शाता है। यह वही परिणाम गैर-कम्यूटेटिव वलय के साथ-साथ तब तक रहता है जब तक कि सेट S सही भाजक सेट है।

एबेलियन प्रकार

सम्मिश्र संख्याओं पर दीर्घवृत्तीय वक्र का 4-टोर्सन वाला उपसमूह।

एबेलियन किस्म के टोर्सन वाले तत्व टोर्सन बिंदु हैं या पुरानी शब्दावली में विभाजन बिंदुअण्डाकार वक्र पर उनकी गणना विभाजन बहुपद के रूप में की जा सकती है।

यह भी देखें

संदर्भ

  1. Roman 2008, p. 115, §4


स्रोत


श्रेणी:एबेलियन समूह सिद्धांत

श्रेणी:मॉड्यूल सिद्धांत

श्रेणी:समरूप बीजगणित