बर्नसाइड समस्या

बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक ऋणात्मक उत्तर के रूप में जाना जाता है, क्योंकि 1964 में एवगेनी गोलोड और इगोर शफारेविच ने एक प्रति-उदाहरण प्रदान किया था। समस्या में कई परिशोधन और भिन्नताएं हैं (नीचे बाध्य और प्रतिबंधित देखें) जो समूह तत्वों के अनुक्रम पर लगाए गए अतिरिक्त शर्तों में भिन्न हैं, जिनमें से कुछ अभी भी खुले प्रश्न हैं।

संक्षिप्त इतिहास

प्रारंभिक कार्य धनात्मक उत्तर की ओर संकेत करता है। उदाहरण के लिए, यदि एक समूह G परिमित रूप से उत्पन्न होता है और G के प्रत्येक तत्व का क्रम 4 का एक विभाजक है, तो G परिमित है। इसके अतिरिक्त, ए. आई. कोस्ट्रिकिन 1958 में यह प्रमाणित करने में सक्षम थे कि उत्पादक की दी गई संख्या और दिए गए प्रथम घातांक वाले सीमित समूहों में से एक सबसे बड़ा सम्मिलित है। यह प्रथम घातांक के स्थिति में प्रतिबंधित बर्नसाइड समस्या का समाधान प्रदान करता है। (बाद में, 1989 में, एफिम ज़ेल्मनोव एकपक्षीय रूप से घातांक के लिए प्रतिबंधित बर्नसाइड समस्या को संशोधित करने में सक्षम था।) इस्साई शूर ने 1911 में दिखाया था कि कोई भी अंतिम रूप से उत्पन्न आवधिक समूह जो प्रतीप्य n × n सम्मिश्र आधात्री के समूह का एक उपसमूह था, वह परिमित था, उसने इस प्रमेय का उपयोग जॉर्डन-शूर प्रमेय को प्रमाणित करने के लिए किया था।

हालांकि, बर्नसाइड समस्या का सामान्य उत्तर ऋणात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के अनंत समूह का निर्माण किया, बिना यह मानते हुए कि सभी तत्वों में समान रूप से परिबद्ध क्रम हैं। 1968 में, प्योत्र नोविकोव और सर्गेई एडियन ने 4381 से बड़े सभी विषम घातांकों के लिए परिबद्ध घातांक समस्या का ऋणात्मक समाधान प्रदान किया। 1982 में, ए. यू. ओल'शांस्की ने पर्याप्त रूप से बड़े विषम घातांकों (1010 से अधिक) के लिए कुछ आकर्षक प्रतिउदाहरण प्राप्त किए, और ज्यामितीय विचारों के आधार पर अधिकतम सरल प्रमाण प्रदान किया।

यहां तक ​​​​कि घातांको के स्थिति को संशोधित करना बहुत कठिन हो गया। 1992 में, एस. वी. इवानोव ने 2 की व्यापक रूप से शक्ति से विभाज्य पर्याप्त रूप से बड़े सम घातांकों के लिए ऋणात्मक समाधान की घोषणा की (विस्तृत प्रमाण 1994 में प्रकाशित किए गए थे और लगभग 300 पृष्ठों पर अधिकृत कर लिया था)। बाद में ओल्शांस्की और इवानोव के संयुक्त कार्य ने अतिपरवलयिक समूह के लिए बर्नसाइड समस्या के अनुरूप के लिए ऋणात्मक समाधान स्थापित किया, परंतु घातांक पर्याप्त रूप से बड़ा हो। इसके विपरीत, जब घातांक छोटा होता है और 2, 3, 4 और 6 से भिन्न होता है, तो बहुत कम ज्ञात होता है।

सामान्य बर्नसाइड समस्या

समूह G को आवधिक कहा जाता है यदि प्रत्येक तत्व का दूसरे शब्दों में परिमित क्रम होता है, G में प्रत्येक g के लिए कुछ धनात्मक पूर्णांक n सम्मिलित है जैसे कि gⁿ = 1 स्पष्ट रूप से, प्रत्येक परिमित समूह आवर्ती होता है। आसानी से परिभाषित समूह सम्मिलित हैं जैसे p^∞- समूह जो अनंत आवधिक समूह हैं लेकिन बाद वाले समूह को अंतिम रूप से उत्पन्न नहीं किया जा सकता है।

सामान्य बर्नसाइड समस्या। यदि G निश्चित रूप से उत्पन्न आवधिक समूह है, तो क्या G आवश्यक रूप से परिमित है?

इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत p-समूह का उदाहरण दिया था। जो सूक्ष्म रूप से उत्पन्न होता है (देखें गोलोड-शाफारेविच प्रमेय)। हालाँकि, इस समूह के तत्वों के क्रम एकल स्थिरांक से परिबद्ध अनुभवनिरपेक्ष नहीं हैं।

बाउंडेड बर्नसाइड समस्या

श्रेणी 2 और घातांक 3 के 27-तत्व मुक्त बर्नसाइड समूह का केली ग्राफ।

सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त गुण के साथ विचार करें कि कम से कम पूर्णांक n सम्मिलित है जैसे जी में सभी जी के लिए, जीⁿ = 1. इस गुण वाले समूह को परिबद्ध घातांक n वाला आवधिक कहा जाता है, या केवल घातांक n वाला समूह कहा जाता है। परिबद्ध घातांक वाले समूहों के लिए बर्नसाइड समस्या पूछती है:

'बर्नसाइड प्रॉब्लम I.' यदि G घातांक n वाला अंतिम रूप से उत्पन्न समूह है, तो क्या G आवश्यक रूप से परिमित है?

यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक m और घातांक n का 'फ्री बर्नसाइड ग्रुप', बी (m, n) चिह्नित है, m प्रतिष्ठित उत्पादक एक्स वाला समूह है₁, ..., एक्स_mजिसमें पहचान xⁿ = 1 सभी तत्वों x के लिए मान्य है, और इन आवश्यकताओं को पूरा करने वाला सबसे बड़ा समूह कौन सा है। अधिक सटीक रूप से, बी (m, n) की विशेषता गुण यह है कि, किसी भी समूह जी को m उत्पादक जी के साथ दिया गया है₁, ..., जी_mऔर घातांक n का, B(m, n) से G तक अद्वितीय समरूपता है जो iवें उत्पादक x को मैप करता है_iबी (m, n) के i वें उत्पादक जी में_iजी का। समूह की प्रस्तुति की भाषा में, मुफ्त बर्नसाइड समूह बी (m, n) में m उत्पादक एक्स है₁, ..., एक्स_mऔर संबंध xⁿ = 1 प्रत्येक शब्द x के लिए x में₁, ..., एक्स_m, और किसी भी समूह जी के साथ घातांक n के m उत्पादक को अतिरिक्त संबंधों को लागू करके प्राप्त किया जाता है। मुक्त बर्नसाइड समूह का अस्तित्व और समरूपता तक इसकी विशिष्टता समूह सिद्धांत की मानक तकनीकों द्वारा स्थापित की जाती है। इस प्रकार यदि जी घातांक n का कोई भी अंतिम रूप से जेनरेट किया गया समूह है, तो जी बी (m, n) का समूह समरूपता है, जहां m जी के उत्पादक की संख्या है। बर्नसाइड समस्या को अब निम्नानुसार बहाल किया जा सकता है:

'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?

इस रूप में बर्नसाइड समस्या का पूर्ण समाधान ज्ञात नहीं है। बर्नसाइड ने अपने मूल पेपर में कुछ आसान स्थितियो पर विचार किया:

• B(1, n) क्रम n का चक्रीय समूह है।
• बी(m, 2) क्रम 2 के चक्रीय समूह की m प्रतियों के समूहों का प्रत्यक्ष उत्पाद है और इसलिए परिमित है।

निम्नलिखित अतिरिक्त परिणाम ज्ञात हैं (बर्नसाइड, सनोव, मार्शल हॉल (गणितज्ञ) | m। हॉल):

• B(m, 3), B(m, 4), और B(m, 6) सभी m के लिए परिमित हैं।

B(2, 5) का विशेष स्थिति खुला रहता है: as of 2020 यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं।

बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड घातांक पर बाउंड को 665 तक सुधारा। बाउंड ऑन ऑड घातांक में नवीनतम सुधार 101 है जिसे एडियन ने 2015 में स्वयं प्राप्त किया था। यहां तक ​​कि घातांक का स्थिति काफी अधिक कठिन निकला। केवल 1994 में सर्गेई वासिलीविच इवानोव नोविकोव-एडियन प्रमेय का एनालॉग प्रमाणित करने में सक्षम थे: किसी भी m> 1 और यहां तक ​​​​कि n ≥ 2 के लिए⁴⁸, n 2 से विभाज्य⁹, समूह B(m, n) अनंत है; नोविकोव-एडियन प्रमेय के साथ, यह सभी m> 1 और n ≥ 2 के लिए अनंतता का अर्थ है⁴⁸. यह 1996 में I. G. Lysënok द्वारा m> 1 और n ≥ 8000 में सुधार किया गया था। Novikov-Adian, Ivanov और Lysénok ने मुक्त Burnside समूहों की संरचना पर काफी अधिक सटीक परिणाम स्थापित किए। विषम घातांक के स्थिति में, मुक्त बर्नसाइड समूहों के सभी परिमित उपसमूहों को चक्रीय समूह के रूप में दिखाया गया था। समान घातांक स्थिति में, प्रत्येक परिमित उपसमूह दो डायहेड्रल समूहों के उत्पाद में समाहित है, और गैर-चक्रीय परिमित उपसमूह सम्मिलित हैं। इसके अतिरिक्त, समूहों के लिए शब्द समस्या और संयुग्मन समस्या की समस्या को विषम और सम घातांक n दोनों के लिए B(m, n) में प्रभावी रूप से हल करने योग्य दिखाया गया था।

बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग परिमित रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह परिमित चक्रीय समूह है, तथाकथित टार्स्की राक्षस समूह। ऐसे समूहों का पहला उदाहरण ए यू द्वारा बनाया गया था। Ol'shanskii ने 1979 में ज्यामितीय विधियों का उपयोग करते हुए, इस प्रकार धनात्मक रूप से O. Yu को हल किया। श्मिट की समस्या। 1982 में ओल्शांस्की अस्तित्व स्थापित करने के लिए अपने परिणामों को मजबूत करने में सक्षम था, किसी भी पर्याप्त बड़ी अभाज्य संख्या p के लिए (कोई भी p > 10 ले सकता है)⁷⁵) अंतिम रूप से उत्पन्न अनंत समूह का जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह ऑर्डर p का चक्रीय समूह है। 1996 में प्रकाशित पत्र में, इवानोव और ओल्शांस्की ने पर्याप्त रूप से बड़े घातांकों के लिए अनियंत्रित अतिपरवलयिक समूह में बर्नसाइड समस्या का एनालॉग हल किया।

प्रतिबंधित बर्नसाइड समस्या

1930 के दशक में तैयार किया गया, यह एक अन्य, संबंधित, प्रश्न पूछता है:

प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि m उत्पादक और घातांक n वाला एक समूह G परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि G का क्रम केवल m और n पर निर्भर करते हुए कुछ स्थिरांक से परिबद्ध है? समतुल्य रूप से, क्या समरूपता तक घातांक n के m उत्पादक के साथ ही निश्चित रूप से बहुत से परिमित समूह हैं?

बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'm' उत्पादक और घातांक 'n' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में परिमित सूचकांक के दो उपसमूहों का प्रतिच्छेदन स्वयं परिमित सूचकांक का उपसमूह होता है। माना M मुक्त बर्नसाइड समूह B(m, n) के सभी उपसमूहों का प्रतिच्छेदन है, जिसमें सीमित सूचकांक है, फिर M B (m, n) का एक सामान्य उपसमूह है (अन्यथा, वहां एक उपसमूह g⁻¹Mg सम्मिलित है परिमित सूचकांक के साथ ऐसे तत्व हैं जो M में नहीं हैं)। इसलिए कोई समूह B0(m, n) को कारक समूह B(m, n)/M के रूप में परिभाषित कर सकता है। m उत्पादक के साथ घातांक n का प्रत्येक परिमित समूह B0(m, n) की समरूप प्रतिबिंब है। प्रतिबंधित बर्नसाइड समस्या तब अपेक्षा करती है कि क्या B0(m, n) परिमित समूह है।

प्रमुख घातांक p के स्थिति में, इसइस समस्या का व्यापक रूप से 1950 के दशक के समय सामान्य बर्नसाइड समस्या के नकारात्मक समाधान से पहले एआई कोस्ट्रिकिन द्वारा अध्ययन किया गया था। उसका समाधान, B0(m, p) की परिमितता को स्थापित करते हुए, परिमित विशेषता में स्थित बीजगणित में सर्वसमिका के बारे में गहन प्रश्नों के साथ एक संबंध का उपयोग करता है। एकपक्षीय घातांक का स्थिति एफिम ज़ेलमानोव द्वारा पूरी तरह से सकारात्मक रूप से संशोधित किया गया है, जिन्हें 1994 में उनके कार्य के लिए क्षेत्र पदक से सम्मानित किया गया था।

ग्रन्थसूची

• S. I. Adian (1979) The Burnside problem and identities in groups. Translated from the Russian by John Lennox and James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], 95. Springer-Verlag, Berlin-New York. ISBN 3-540-08728-1.
• S. I. Adian (2015). "New estimates of odd exponents of infinite Burnside groups". Trudy Matematicheskogo Instituta Imeni V. A. Steklova (in русский). 289: 41–82. doi:10.1134/S0371968515020041. Translation in Adian, S. I. (2015). "New estimates of odd exponents of infinite Burnside groups". Proceedings of the Steklov Institute of Mathematics. 289 (1): 33–71. doi:10.1134/S0081543815040045.
• S. V. Ivanov (1994). "The Free Burnside Groups of Sufficiently Large Exponents". International Journal of Algebra and Computation. 04: 1–308. doi:10.1142/S0218196794000026.
• S. V. Ivanov; A. Yu. Ol'Shanskii (1996). "Hyperbolic groups and their quotients of bounded exponents". Transactions of the American Mathematical Society. 348 (6): 2091–2138. doi:10.1090/S0002-9947-96-01510-3.
• A. I. Kostrikin (1990) Around Burnside. Translated from the Russian and with a preface by James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 20. Springer-Verlag, Berlin. ISBN 3-540-50602-0.
• I. G. Lysënok (1996). "Infinite Burnside groups of even exponent" (in русский). 60 (3): 3–224. doi:10.4213/im77. {{cite journal}}: Cite journal requires |journal= (help) Translation in Lysënok, I. G. (1996). "Infinite Burnside groups of even exponent". Izvestiya: Mathematics. 60 (3): 453–654. Bibcode:1996IzMat..60..453L. doi:10.1070/IM1996v060n03ABEH000077. S2CID 250838960.
• A. Yu. Ol'shanskii (1989) Geometry of defining relations in groups. Translated from the 1989 Russian original by Yu. A. Bakhturin (1991) Mathematics and its Applications (Soviet Series), 70. Dordrecht: Kluwer Academic Publishers Group. ISBN 0-7923-1394-1.
• E. Zelmanov (1990). "Solution of the restricted Burnside problem for groups of odd exponent". Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya (in русский). 54 (1): 42–59, 221. Translation in Zel'manov, E I (1991). "Solution of the Restricted Burnside Problem for Groups of Odd Exponent". Mathematics of the USSR-Izvestiya. 36 (1): 41–60. Bibcode:1991IzMat..36...41Z. doi:10.1070/IM1991v036n01ABEH001946. S2CID 39623037.
• E. Zelmanov (1991). "Solution of the restricted Burnside problem for 2-groups". Matematicheskii Sbornik (in русский). 182 (4): 568–592. Translation in Zel'manov, E I (1992). "A Solution of the Restricted Burnside Problem for 2-groups". Mathematics of the USSR-Sbornik. 72 (2): 543–565. Bibcode:1992SbMat..72..543Z. doi:10.1070/SM1992v072n02ABEH001272.

बाहरी संबंध

• History of the Burnside problem at MacTutor History of Mathematics archive