टॉरशन समूह: Difference between revisions
No edit summary |
|||
| Line 10: | Line 10: | ||
== बर्नसाइड की समस्या == | == बर्नसाइड की समस्या == | ||
{{Main | Burnside's problem}} | {{Main | Burnside's problem}} | ||
बर्नसाइड की समस्या एक | बर्नसाइड की समस्या एक चिरसम्मत प्रश्न है जो आवधिक समूहों और [[परिमित समूह|परिमित]] समूहों के बीच संबंधों से संबंधित है, जब केवल परिमित रूप से उत्पन्न समूहों पर विचार किया जाता है: क्या एक घातांक को निर्दिष्ट करने से परिमितता पर बल पड़ता है? पिछले पैराग्राफ की तरह अनंत, परिमित रूप से उत्पन्न आवधिक समूहों का अस्तित्व दर्शाता है कि एक मनमाना घातांक के लिए उत्तर "नहीं" है। यद्यपि इस बारे में बहुत कुछ ज्ञात है कि कौन से घातांक अनंत रूप से उत्पन्न समूहों के लिए हो सकते हैं, फिर भी कुछ ऐसे हैं जिनके लिए समस्या विवृत है। | ||
समूहों के कुछ वर्गों के लिए, उदाहरण के लिए [[रैखिक समूह]] | समूहों के कुछ वर्गों के लिए, उदाहरण के लिए, [[रैखिक समूह|रैखिक]] समूहों के लिए, वर्ग तक ही सीमित बर्नसाइड की समस्या का उत्तर धनात्मक है। | ||
==गणितीय तर्क== | ==गणितीय तर्क== | ||
आवधिक समूहों | आवधिक समूहों का एक रोचक गुण यह है कि परिभाषा को प्रथम-क्रम तर्क के संदर्भ में औपचारिक रूप नहीं दिया जा सकता है। ऐसा इसलिए है क्योंकि ऐसा करने के लिए फॉर्म के एक स्वयंसिद्ध की आवश्यकता होगी। | ||
:<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'' का उपसमूह है जिसमें सभी तत्व शामिल होते हैं जिनका क्रम सीमित होता है। टॉर्सियन एबेलियन समूह एक एबेलियन समूह है जिसमें प्रत्येक तत्व का एक सीमित क्रम होता है। टॉरशन-रहित एबेलियन समूह एक एबेलियन समूह है जिसमें पहचान तत्व परिमित क्रम वाला एकमात्र तत्व है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
*[[मरोड़ (बीजगणित)]] | *[[मरोड़ (बीजगणित)|टॉरशन (बीजगणित)]] | ||
*जॉर्डन-शूर प्रमेय | *जॉर्डन-शूर प्रमेय | ||
Revision as of 00:01, 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. |
