टॉरशन समूह: Difference between revisions
(Created page with "{{short description|Group in which each element has finite order}} {{redirect|Periodic group|groups in the chemical periodic table|Group (periodic table)}} समूह स...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Group in which each element has finite order}} | {{short description|Group in which each element has finite order}} | ||
{{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 | Burnside's problem}} | {{Main | Burnside's problem}} | ||
Revision as of 23:54, 23 July 2023
समूह सिद्धांत में, गणित की एक शाखा, टॉरशन (मरोड़) समूह या आवधिक समूह एक समूह है जिसमें प्रत्येक तत्व का एक सीमित क्रम होता है। ऐसे किसी समूह का प्रतिपादक, यदि मौजूद है, तो तत्वों के क्रम का सबसे छोटा सामान्य गुणक है।
उदाहरण के लिए, लैग्रेंज के प्रमेय से यह पता चलता है कि प्रत्येक परिमित समूह आवर्त है और इसके क्रम को विभाजित करने वाला एक घातांक है।
अनंत उदाहरण
अनंत आवधिक समूहों के उदाहरणों में एक परिमित क्षेत्र पर बहुपद की वलय का योगात्मक समूह, और पूर्णांकों द्वारा परिमेय के भागफल समूह, साथ ही उनके प्रत्यक्ष योग, प्रुफ़र समूह शामिल हैं। एक अन्य उदाहरण सभी डायहेड्रल समूहों का प्रत्यक्ष योग है। इनमें से किसी भी उदाहरण का कोई सीमित जनक समुच्चय नहीं है। अंतिम रूप से उत्पन्न अनंत आवधिक समूहों के स्पष्ट उदाहरण गोलोड द्वारा निर्मित किए गए थे,[1] शफारेविच के साथ संयुक्त कार्य के आधार पर, गोलोड-शफारेविच प्रमेय देखें, और अलेशिन [2] और ग्रिगोरचुक[3] द्वारा ऑटोमेटा का उपयोग करके। इन समूहों के घातांक अनंत हैं; उदाहरण के लिए, ओल्शांस्की द्वारा निर्मित टार्स्की मॉन्स्टर समूहों द्वारा परिमित घातांक वाले उदाहरण दिए गए हैं।[4]
बर्नसाइड की समस्या
बर्नसाइड की समस्या एक शास्त्रीय प्रश्न है जो आवधिक समूहों और परिमित समूहों के बीच संबंधों से संबंधित है, जब केवल परिमित रूप से उत्पन्न समूहों पर विचार किया जाता है: क्या एक घातांक निर्दिष्ट करने से परिमितता पर बल पड़ता है? पिछले पैराग्राफ की तरह अनंत, परिमित रूप से उत्पन्न आवधिक समूहों के अस्तित्व से पता चलता है कि एक मनमाना घातांक के लिए उत्तर नहीं है। हालाँकि इस बारे में बहुत कुछ ज्ञात है कि अनंत रूप से उत्पन्न समूहों के लिए कौन से घातांक हो सकते हैं, फिर भी कुछ ऐसे हैं जिनके लिए समस्या खुली है।
समूहों के कुछ वर्गों के लिए, उदाहरण के लिए रैखिक समूहों के लिए, वर्ग तक सीमित बर्नसाइड की समस्या का उत्तर सकारात्मक है।
गणितीय तर्क
आवधिक समूहों के दिलचस्प गुणों में से एक यह है कि परिभाषा को प्रथम-क्रम तर्क के संदर्भ में औपचारिक रूप नहीं दिया जा सकता है। ऐसा इसलिए है क्योंकि ऐसा करने के लिए प्रपत्र के एक अभिगृहीत की आवश्यकता होगी
- जिसमें एक अनंत तार्किक वियोजन शामिल है और इसलिए यह अस्वीकार्य है: प्रथम क्रम तर्क एक प्रकार से अधिक क्वांटिफायर की अनुमति देता है और उस प्रकार के गुणों या उपसमुच्चय को कैप्चर नहीं कर सकता है।
स्वयंसिद्धों के अनंत सेट का उपयोग करके इस अनंत विच्छेदन से निपटना भी संभव नहीं है: सघनता प्रमेय का तात्पर्य है कि प्रथम-क्रम सूत्रों का कोई भी सेट आवधिक समूहों की विशेषता नहीं बता सकता है।[5]
संबंधित धारणाएँ
एबेलियन समूह ए का मरोड़ उपसमूह ए का उपसमूह है जिसमें परिमित क्रम वाले सभी तत्व शामिल हैं। टोरसन एबेलियन समूह एक एबेलियन समूह है जिसमें प्रत्येक तत्व का एक सीमित क्रम होता है। मरोड़-मुक्त एबेलियन समूह एक एबेलियन समूह है जिसमें पहचान तत्व परिमित क्रम वाला एकमात्र तत्व है।
यह भी देखें
- मरोड़ (बीजगणित)
- जॉर्डन-शूर प्रमेय
संदर्भ
- ↑ 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. |
