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

बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 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-तत्व मुक्त बर्नसाइड समूह का केली ग्राफ।

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

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

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

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

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

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

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

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

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

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

बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग सूक्ष्म रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक असामान्य उपयुक्त उपसमूह एक परिमित चक्रीय समूह है जिसे तथाकथित टार्स्की मॉन्स्टर कहा जाता है। ऐसे समूहों के पहले उदाहरण 1979 में ज्यामितीय तरीकों का उपयोग करते हुए ए. यू ओल'शांस्की द्वारा निर्मित किए गए थे, इस प्रकार ओ. यू श्मिट की समस्या को सकारात्मक रूप से हल किया गया। 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