टॉरशन समूह: Difference between revisions
| Line 2: | Line 2: | ||
{{redirect|आवधिक समूह|रासायनिक आवधिक सारणी में समूह|समूह (आवधिक तालिका)}} | {{redirect|आवधिक समूह|रासायनिक आवधिक सारणी में समूह|समूह (आवधिक तालिका)}} | ||
[[समूह सिद्धांत]] में, गणित की एक शाखा, '''टॉरशन (मरोड़) समूह''' या '''आवधिक समूह''' एक समूह है जिसमें प्रत्येक | [[समूह सिद्धांत]] में, गणित की एक शाखा, '''टॉरशन (मरोड़) समूह''' या '''आवधिक समूह''' एक समूह है जिसमें प्रत्येक अवयव का एक सीमित क्रम होता है। ऐसे किसी समूह का प्रतिपादक, यदि उपस्थित है, तो अवयवों के क्रम का सबसे छोटा सामान्य गुणक है। | ||
उदाहरण के लिए, लैग्रेंज के प्रमेय से यह पता चलता है कि प्रत्येक परिमित समूह आवर्त है और इसके क्रम को विभाजित करने वाला | उदाहरण के लिए, लैग्रेंज के प्रमेय से यह पता चलता है कि प्रत्येक परिमित समूह आवर्त है और इसके क्रम को विभाजित करने वाला घातांक है। | ||
== अनंत उदाहरण == | == अनंत उदाहरण == | ||
अनंत आवधिक समूहों के उदाहरणों में एक परिमित क्षेत्र पर बहुपद की वलय का योगात्मक समूह, और पूर्णांकों द्वारा परिमेय के भागफल समूह, साथ ही उनके प्रत्यक्ष योग, प्रुफ़र समूह | अनंत आवधिक समूहों के उदाहरणों में एक परिमित क्षेत्र पर बहुपद की वलय का योगात्मक समूह, और पूर्णांकों द्वारा परिमेय के भागफल समूह, साथ ही उनके प्रत्यक्ष योग, प्रुफ़र समूह सम्मिलित हैं। एक अन्य उदाहरण सभी [[डायहेड्रल समूह|डायहेड्रल]] समूहों का प्रत्यक्ष योग है। इनमें से किसी भी उदाहरण का कोई सीमित जनक समुच्चय नहीं है। अंतिम रूप से उत्पन्न अनंत आवधिक समूहों के स्पष्ट उदाहरण गोलोड द्वारा निर्मित किए गए थे,<ref>E. S. Golod, ''On nil-algebras and finitely approximable p-groups,'' Izv. Akad. Nauk SSSR Ser. Mat. '''28''' (1964) 273–276.</ref> शफारेविच के साथ संयुक्त कार्य के आधार पर, गोलोड-शफारेविच प्रमेय देखें, और अलेशिन <ref> S. V. Aleshin, ''Finite automata and the Burnside problem for periodic groups,'' (Russian) Mat. Zametki '''11''' (1972), 319–328.</ref> और ग्रिगोरचुक<ref>R. I. Grigorchuk, ''On Burnside's problem on periodic groups,'' Functional Anal. Appl. '''14''' (1980), no. 1, 41–43.</ref> द्वारा [[ऑटोमेटा सिद्धांत|ऑटोमेटा]] का उपयोग करके। इन समूहों के घातांक अनंत हैं; उदाहरण के लिए, ओल्शांस्की द्वारा निर्मित [[टार्स्की राक्षस समूह|टार्स्की]] मॉन्स्टर समूहों द्वारा परिमित घातांक वाले उदाहरण दिए गए हैं।<ref>[[Aleksandr Olshansky|A. Yu. Olshanskii]], An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321</ref> | ||
== बर्नसाइड की समस्या == | == बर्नसाइड की समस्या == | ||
{{Main | | {{Main |बर्नसाइड की समस्या}} | ||
बर्नसाइड की समस्या एक चिरसम्मत प्रश्न है जो आवधिक समूहों और [[परिमित समूह|परिमित]] समूहों के बीच संबंधों से संबंधित है, जब केवल परिमित रूप से उत्पन्न समूहों पर विचार किया जाता है: क्या एक घातांक को निर्दिष्ट करने से परिमितता पर बल पड़ता है? पिछले पैराग्राफ की तरह अनंत, परिमित रूप से उत्पन्न आवधिक समूहों का अस्तित्व दर्शाता है कि एक मनमाना घातांक के लिए उत्तर "नहीं" है। यद्यपि इस बारे में बहुत कुछ ज्ञात है कि कौन से घातांक अनंत रूप से उत्पन्न समूहों के लिए हो सकते हैं, फिर भी कुछ ऐसे हैं जिनके लिए समस्या विवृत है। | बर्नसाइड की समस्या एक चिरसम्मत प्रश्न है जो आवधिक समूहों और [[परिमित समूह|परिमित]] समूहों के बीच संबंधों से संबंधित है, जब केवल परिमित रूप से उत्पन्न समूहों पर विचार किया जाता है: क्या एक घातांक को निर्दिष्ट करने से परिमितता पर बल पड़ता है? पिछले पैराग्राफ की तरह अनंत, परिमित रूप से उत्पन्न आवधिक समूहों का अस्तित्व दर्शाता है कि एक मनमाना घातांक के लिए उत्तर "नहीं" है। यद्यपि इस बारे में बहुत कुछ ज्ञात है कि कौन से घातांक अनंत रूप से उत्पन्न समूहों के लिए हो सकते हैं, फिर भी कुछ ऐसे हैं जिनके लिए समस्या विवृत है। | ||
| Line 17: | Line 17: | ||
आवधिक समूहों का एक रोचक गुण यह है कि परिभाषा को प्रथम-क्रम तर्क के संदर्भ में औपचारिक रूप नहीं दिया जा सकता है। ऐसा इसलिए है क्योंकि ऐसा करने के लिए फॉर्म के एक स्वयंसिद्ध की आवश्यकता होगी। | आवधिक समूहों का एक रोचक गुण यह है कि परिभाषा को प्रथम-क्रम तर्क के संदर्भ में औपचारिक रूप नहीं दिया जा सकता है। ऐसा इसलिए है क्योंकि ऐसा करने के लिए फॉर्म के एक स्वयंसिद्ध की आवश्यकता होगी। | ||
:<math>\forall x,\big((x = e) \lor (x\circ x=e) \lor ((x\circ x)\circ x=e) \lor \cdots\big)</math> | :<math>\forall x,\big((x = e) \lor (x\circ x=e) \lor ((x\circ x)\circ x=e) \lor \cdots\big)</math> | ||
जिसमें एक अनंत विच्छेदन होता है और इसलिए यह अस्वीकार्य है: प्रथम-क्रम तर्क एक प्रकार से अधिक परिमाणक की अनुमति देता है और उस प्रकार के गुणों या उपसमुच्चय को कैप्चर नहीं कर सकता है। स्वयंसिद्धों के अनंत | जिसमें एक अनंत विच्छेदन होता है और इसलिए यह अस्वीकार्य है: प्रथम-क्रम तर्क एक प्रकार से अधिक परिमाणक की अनुमति देता है और उस प्रकार के गुणों या उपसमुच्चय को कैप्चर नहीं कर सकता है। स्वयंसिद्धों के अनंत समुच्चय का उपयोग करके इस अनंत विच्छेदन से निपटना भी संभव नहीं है: कॉम्पैक्टनेस प्रमेय का तात्पर्य है कि प्रथम-क्रम सूत्रों का कोई भी समुच्चय आवधिक समूहों की विशेषता नहीं बता सकता है।<ref>{{cite book|last1=Ebbinghaus|first1=H.-D.|last2=Flum|first2=J.|last3=Thomas|first3=W.|title=गणितीय तर्क|year=1994|publisher=Springer|location=New York [u.a.]|isbn=978-0-387-94258-2|pages=[https://archive.org/details/mathematicallogi1996ebbi/page/50 50]|url=https://archive.org/details/mathematicallogi1996ebbi/page/50|edition=2. ed., 4. pr.|accessdate=18 July 2012|quote=However, in first-order logic we may not form infinitely long disjunctions. Indeed, we shall later show that there is no set of first-order formulas whose models are precisely the periodic groups.}}</ref> | ||
==संबंधित धारणाएँ== | ==संबंधित धारणाएँ== | ||
[[एबेलियन समूह]] ''A'' का मरोड़ [[मरोड़ उपसमूह|उपसमूह]] ''A'' का उपसमूह है जिसमें सभी | [[एबेलियन समूह]] ''A'' का मरोड़ [[मरोड़ उपसमूह|उपसमूह]] ''A'' का उपसमूह है जिसमें सभी अवयव सम्मिलित होते हैं जिनका क्रम सीमित होता है। टॉर्सियन एबेलियन समूह एक एबेलियन समूह है जिसमें प्रत्येक अवयव का सीमित क्रम होता है। टॉरशन-रहित एबेलियन समूह एक एबेलियन समूह है जिसमें पहचान अवयव परिमित क्रम वाला एकमात्र अवयव है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 00:07, 24 July 2023
समूह सिद्धांत में, गणित की एक शाखा, टॉरशन (मरोड़) समूह या आवधिक समूह एक समूह है जिसमें प्रत्येक अवयव का एक सीमित क्रम होता है। ऐसे किसी समूह का प्रतिपादक, यदि उपस्थित है, तो अवयवों के क्रम का सबसे छोटा सामान्य गुणक है।
उदाहरण के लिए, लैग्रेंज के प्रमेय से यह पता चलता है कि प्रत्येक परिमित समूह आवर्त है और इसके क्रम को विभाजित करने वाला घातांक है।
अनंत उदाहरण
अनंत आवधिक समूहों के उदाहरणों में एक परिमित क्षेत्र पर बहुपद की वलय का योगात्मक समूह, और पूर्णांकों द्वारा परिमेय के भागफल समूह, साथ ही उनके प्रत्यक्ष योग, प्रुफ़र समूह सम्मिलित हैं। एक अन्य उदाहरण सभी डायहेड्रल समूहों का प्रत्यक्ष योग है। इनमें से किसी भी उदाहरण का कोई सीमित जनक समुच्चय नहीं है। अंतिम रूप से उत्पन्न अनंत आवधिक समूहों के स्पष्ट उदाहरण गोलोड द्वारा निर्मित किए गए थे,[1] शफारेविच के साथ संयुक्त कार्य के आधार पर, गोलोड-शफारेविच प्रमेय देखें, और अलेशिन [2] और ग्रिगोरचुक[3] द्वारा ऑटोमेटा का उपयोग करके। इन समूहों के घातांक अनंत हैं; उदाहरण के लिए, ओल्शांस्की द्वारा निर्मित टार्स्की मॉन्स्टर समूहों द्वारा परिमित घातांक वाले उदाहरण दिए गए हैं।[4]
बर्नसाइड की समस्या
बर्नसाइड की समस्या एक चिरसम्मत प्रश्न है जो आवधिक समूहों और परिमित समूहों के बीच संबंधों से संबंधित है, जब केवल परिमित रूप से उत्पन्न समूहों पर विचार किया जाता है: क्या एक घातांक को निर्दिष्ट करने से परिमितता पर बल पड़ता है? पिछले पैराग्राफ की तरह अनंत, परिमित रूप से उत्पन्न आवधिक समूहों का अस्तित्व दर्शाता है कि एक मनमाना घातांक के लिए उत्तर "नहीं" है। यद्यपि इस बारे में बहुत कुछ ज्ञात है कि कौन से घातांक अनंत रूप से उत्पन्न समूहों के लिए हो सकते हैं, फिर भी कुछ ऐसे हैं जिनके लिए समस्या विवृत है।
समूहों के कुछ वर्गों के लिए, उदाहरण के लिए, रैखिक समूहों के लिए, वर्ग तक ही सीमित बर्नसाइड की समस्या का उत्तर धनात्मक है।
गणितीय तर्क
आवधिक समूहों का एक रोचक गुण यह है कि परिभाषा को प्रथम-क्रम तर्क के संदर्भ में औपचारिक रूप नहीं दिया जा सकता है। ऐसा इसलिए है क्योंकि ऐसा करने के लिए फॉर्म के एक स्वयंसिद्ध की आवश्यकता होगी।
जिसमें एक अनंत विच्छेदन होता है और इसलिए यह अस्वीकार्य है: प्रथम-क्रम तर्क एक प्रकार से अधिक परिमाणक की अनुमति देता है और उस प्रकार के गुणों या उपसमुच्चय को कैप्चर नहीं कर सकता है। स्वयंसिद्धों के अनंत समुच्चय का उपयोग करके इस अनंत विच्छेदन से निपटना भी संभव नहीं है: कॉम्पैक्टनेस प्रमेय का तात्पर्य है कि प्रथम-क्रम सूत्रों का कोई भी समुच्चय आवधिक समूहों की विशेषता नहीं बता सकता है।[5]
संबंधित धारणाएँ
एबेलियन समूह A का मरोड़ उपसमूह A का उपसमूह है जिसमें सभी अवयव सम्मिलित होते हैं जिनका क्रम सीमित होता है। टॉर्सियन एबेलियन समूह एक एबेलियन समूह है जिसमें प्रत्येक अवयव का सीमित क्रम होता है। टॉरशन-रहित एबेलियन समूह एक एबेलियन समूह है जिसमें पहचान अवयव परिमित क्रम वाला एकमात्र अवयव है।
यह भी देखें
- टॉरशन (बीजगणित)
- जॉर्डन-शूर प्रमेय
संदर्भ
- ↑ E. S. Golod, On nil-algebras and finitely approximable p-groups, Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964) 273–276.
- ↑ S. V. Aleshin, Finite automata and the Burnside problem for periodic groups, (Russian) Mat. Zametki 11 (1972), 319–328.
- ↑ R. I. Grigorchuk, On Burnside's problem on periodic groups, Functional Anal. Appl. 14 (1980), no. 1, 41–43.
- ↑ A. Yu. Olshanskii, An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321
- ↑ Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994). गणितीय तर्क (2. ed., 4. pr. ed.). New York [u.a.]: Springer. pp. 50. ISBN 978-0-387-94258-2. Retrieved 18 July 2012.
However, in first-order logic we may not form infinitely long disjunctions. Indeed, we shall later show that there is no set of first-order formulas whose models are precisely the periodic groups.
- R. I. Grigorchuk, Degrees of growth of finitely generated groups and the theory of invariant means., Izv. Akad. Nauk SSSR Ser. Mat. 48:5 (1984), 939–985 (Russian).
 | This abstract algebra-related article is a stub. You can help Wikipedia by expanding it. |
