बर्नसाइड समस्या: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Group theory sidebar}} | {{Group theory sidebar}} | ||
बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक | बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक ऋणात्मक उत्तर के रूप में जाना जाता है, क्योंकि 1964 में एवगेनी गोलोड और इगोर शफारेविच ने एक प्रति-उदाहरण प्रदान किया था। समस्या में कई परिशोधन और भिन्नताएं हैं (नीचे बाध्य और प्रतिबंधित देखें) जो समूह तत्वों के अनुक्रम पर लगाए गए अतिरिक्त शर्तों में भिन्न हैं, जिनमें से कुछ अभी भी खुले प्रश्न हैं। | ||
== संक्षिप्त इतिहास == | == संक्षिप्त इतिहास == | ||
प्रारंभिक कार्य | प्रारंभिक कार्य धनात्मक उत्तर की ओर संकेत करता है। उदाहरण के लिए, यदि एक समूह G परिमित रूप से उत्पन्न होता है और G के प्रत्येक तत्व का क्रम 4 का एक विभाजक है, तो G परिमित है। इसके अतिरिक्त, ए. आई. कोस्ट्रिकिन 1958 में यह प्रमाणित करने में सक्षम थे कि उत्पादक की दी गई संख्या और दिए गए प्रथम घातांक वाले सीमित समूहों में से एक सबसे बड़ा सम्मिलित है। यह प्रथम घातांक के स्थिति में प्रतिबंधित बर्नसाइड समस्या का समाधान प्रदान करता है। (बाद में, 1989 में, [[Efim Zelmanov|एफिम ज़ेल्मनोव]] एकपक्षीय रूप से घातांक के लिए प्रतिबंधित बर्नसाइड समस्या को संशोधित करने में सक्षम था।) इस्साई शूर ने 1911 में दिखाया था कि कोई भी अंतिम रूप से उत्पन्न आवधिक समूह जो प्रतीप्य n × n सम्मिश्र आधात्री के समूह का एक उपसमूह था, वह परिमित था, उसने इस प्रमेय का उपयोग जॉर्डन-शूर प्रमेय को प्रमाणित करने के लिए किया था।<ref name="Curtis">{{cite book |title=Representation Theory of Finite Groups and Associated Algebras |last=Curtis |first=Charles |author2=Reiner, Irving |year=1962 |publisher=John Wiley & Sons |pages=256–262}}</ref> | ||
यहां तक कि | हालांकि, बर्नसाइड समस्या का सामान्य उत्तर ऋणात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के अनंत समूह का निर्माण किया, बिना यह मानते हुए कि सभी तत्वों में समान रूप से परिबद्ध क्रम हैं। 1968 में, प्योत्र नोविकोव और सर्गेई एडियन ने 4381 से बड़े सभी विषम घातांकों के लिए परिबद्ध घातांक समस्या का ऋणात्मक समाधान प्रदान किया। 1982 में, ए. यू. ओल'शांस्की ने पर्याप्त रूप से बड़े विषम घातांकों (1010 से अधिक) के लिए कुछ आकर्षक प्रतिउदाहरण प्राप्त किए, और ज्यामितीय विचारों के आधार पर अधिकतम सरल प्रमाण प्रदान किया। | ||
यहां तक कि घातांको के स्थिति को संशोधित करना बहुत कठिन हो गया। 1992 में, एस. वी. इवानोव ने 2 की व्यापक रूप से शक्ति से विभाज्य पर्याप्त रूप से बड़े सम घातांकों के लिए ऋणात्मक समाधान की घोषणा की (विस्तृत प्रमाण 1994 में प्रकाशित किए गए थे और लगभग 300 पृष्ठों पर अधिकृत कर लिया था)। बाद में ओल्शांस्की और इवानोव के संयुक्त कार्य ने [[अतिशयोक्तिपूर्ण समूह|अतिपरवलयिक समूह]] के लिए बर्नसाइड समस्या के अनुरूप के लिए ऋणात्मक समाधान स्थापित किया, परंतु घातांक पर्याप्त रूप से बड़ा हो। इसके विपरीत, जब घातांक छोटा होता है और 2, 3, 4 और 6 से भिन्न होता है, तो बहुत कम ज्ञात होता है। | |||
== सामान्य बर्नसाइड समस्या == | == सामान्य बर्नसाइड समस्या == | ||
समूह G को | समूह G को आवधिक कहा जाता है यदि प्रत्येक तत्व का दूसरे शब्दों में परिमित क्रम होता है, G में प्रत्येक g के लिए कुछ धनात्मक पूर्णांक n सम्मिलित है जैसे कि g<sup>n</sup> = 1 स्पष्ट रूप से, प्रत्येक परिमित समूह आवर्ती होता है। आसानी से परिभाषित समूह सम्मिलित हैं जैसे p<sup>∞</sup>- समूह जो अनंत आवधिक समूह हैं लेकिन बाद वाले समूह को अंतिम रूप से उत्पन्न नहीं किया जा सकता है। | ||
<blockquote>सामान्य बर्नसाइड समस्या। यदि ''G'' | <blockquote>सामान्य बर्नसाइड समस्या। यदि ''G'' निश्चित रूप से उत्पन्न आवधिक समूह है, तो क्या ''G'' आवश्यक रूप से परिमित है?</blockquote> | ||
इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत | इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत p-समूह का उदाहरण दिया था। जो सूक्ष्म रूप से उत्पन्न होता है (देखें गोलोड-शाफारेविच प्रमेय)। हालाँकि, इस समूह के तत्वों के क्रम एकल स्थिरांक से परिबद्ध अनुभवनिरपेक्ष नहीं हैं। | ||
== बाउंडेड बर्नसाइड समस्या == | == बाउंडेड बर्नसाइड समस्या == | ||
[[File:FreeBurnsideGroupExp3Gens2.png|thumb|350px|right|श्रेणी 2 और घातांक 3 के 27-तत्व मुक्त बर्नसाइड समूह का [[केली ग्राफ]]।]]सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त | [[File:FreeBurnsideGroupExp3Gens2.png|thumb|350px|right|श्रेणी 2 और घातांक 3 के 27-तत्व मुक्त बर्नसाइड समूह का [[केली ग्राफ]]।]]सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त गुण के साथ विचार करें कि कम से कम पूर्णांक एन सम्मिलित है जैसे जी में सभी जी के लिए, जी<sup>n</sup> = 1. इस गुण वाले समूह को परिबद्ध घातांक n वाला आवधिक कहा जाता है, या केवल घातांक n वाला समूह कहा जाता है। परिबद्ध घातांक वाले समूहों के लिए बर्नसाइड समस्या पूछती है: | ||
<blockquote>'बर्नसाइड प्रॉब्लम I.' यदि G | <blockquote>'बर्नसाइड प्रॉब्लम I.' यदि G घातांक n वाला अंतिम रूप से उत्पन्न समूह है, तो क्या G आवश्यक रूप से परिमित है?</blockquote> | ||
यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक एम और | यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक एम और घातांक एन का 'फ्री बर्नसाइड ग्रुप', बी (एम, एन) चिह्नित है, एम प्रतिष्ठित जेनरेटर एक्स वाला समूह है<sub>1</sub>, ..., एक्स<sub>m</sub>जिसमें पहचान x<sup>n</sup> = 1 सभी तत्वों x के लिए मान्य है, और इन आवश्यकताओं को पूरा करने वाला सबसे बड़ा समूह कौन सा है। अधिक सटीक रूप से, बी (एम, एन) की विशेषता गुण यह है कि, किसी भी समूह जी को एम जेनरेटर जी के साथ दिया गया है<sub>1</sub>, ..., जी<sub>m</sub>और घातांक n का, B(m, n) से G तक अद्वितीय समरूपता है जो iवें उत्पादक x को मैप करता है<sub>i</sub>बी (एम, एन) के i वें उत्पादक जी में<sub>i</sub>जी का। [[एक समूह की प्रस्तुति|समूह की प्रस्तुति]] की भाषा में, मुफ्त बर्नसाइड समूह बी (एम, एन) में एम जेनरेटर एक्स है<sub>1</sub>, ..., एक्स<sub>m</sub>और संबंध x<sup>n</sup> = 1 प्रत्येक शब्द x के लिए x में<sub>1</sub>, ..., एक्स<sub>m</sub>, और किसी भी समूह जी के साथ घातांक एन के एम जेनरेटर को अतिरिक्त संबंधों को लागू करके प्राप्त किया जाता है। मुक्त बर्नसाइड समूह का अस्तित्व और समरूपता तक इसकी विशिष्टता समूह सिद्धांत की मानक तकनीकों द्वारा स्थापित की जाती है। इस प्रकार यदि जी घातांक एन का कोई भी अंतिम रूप से जेनरेट किया गया समूह है, तो जी बी (एम, एन) का [[समूह समरूपता]] है, जहां एम जी के जेनरेटर की संख्या है। बर्नसाइड समस्या को अब निम्नानुसार बहाल किया जा सकता है: | ||
<blockquote>'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?</blockquote> | <blockquote>'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?</blockquote> | ||
| Line 35: | Line 36: | ||
B(2, 5) का विशेष स्थिति खुला रहता है: {{as of|2020|lc=on}} यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं। | B(2, 5) का विशेष स्थिति खुला रहता है: {{as of|2020|lc=on}} यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं। | ||
बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड | बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड घातांक पर बाउंड को 665 तक सुधारा।<ref>[[John Britton (mathematician)|John Britton]] proposed a nearly 300 page alternative proof to the Burnside problem in 1973; however, Adian ultimately pointed out a flaw in that proof.</ref> बाउंड ऑन ऑड घातांक में नवीनतम सुधार 101 है जिसे एडियन ने 2015 में स्वयं प्राप्त किया था। यहां तक कि घातांक का स्थिति काफी अधिक कठिन निकला। केवल 1994 में सर्गेई वासिलीविच इवानोव नोविकोव-एडियन प्रमेय का एनालॉग प्रमाणित करने में सक्षम थे: किसी भी एम> 1 और यहां तक कि एन ≥ 2 के लिए<sup>48</sup>, n 2 से विभाज्य<sup>9</sup>, समूह B(m, n) अनंत है; नोविकोव-एडियन प्रमेय के साथ, यह सभी m> 1 और n ≥ 2 के लिए अनंतता का अर्थ है<sup>48</sup>. यह 1996 में I. G. Lysënok द्वारा m> 1 और n ≥ 8000 में सुधार किया गया था। Novikov-Adian, Ivanov और Lysénok ने मुक्त Burnside समूहों की संरचना पर काफी अधिक सटीक परिणाम स्थापित किए। विषम घातांक के स्थिति में, मुक्त बर्नसाइड समूहों के सभी परिमित उपसमूहों को चक्रीय समूह के रूप में दिखाया गया था। समान घातांक स्थिति में, प्रत्येक परिमित उपसमूह दो [[डायहेड्रल समूह]]ों के उत्पाद में समाहित है, और गैर-चक्रीय परिमित उपसमूह सम्मिलित हैं। इसके अतिरिक्त, [[समूहों के लिए शब्द समस्या]] और [[संयुग्मन समस्या]] की समस्या को विषम और सम घातांक n दोनों के लिए B(m, n) में प्रभावी रूप से हल करने योग्य दिखाया गया था। | ||
बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग परिमित रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह परिमित चक्रीय समूह है, तथाकथित टार्स्की राक्षस समूह। ऐसे समूहों का पहला उदाहरण ए यू द्वारा बनाया गया था। Ol'shanskii ने 1979 में ज्यामितीय विधियों का उपयोग करते हुए, इस प्रकार | बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग परिमित रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह परिमित चक्रीय समूह है, तथाकथित टार्स्की राक्षस समूह। ऐसे समूहों का पहला उदाहरण ए यू द्वारा बनाया गया था। Ol'shanskii ने 1979 में ज्यामितीय विधियों का उपयोग करते हुए, इस प्रकार धनात्मक रूप से O. Yu को हल किया। श्मिट की समस्या। 1982 में ओल्शांस्की अस्तित्व स्थापित करने के लिए अपने परिणामों को मजबूत करने में सक्षम था, किसी भी पर्याप्त बड़ी [[अभाज्य संख्या]] p के लिए (कोई भी p > 10 ले सकता है)<sup>75</sup>) अंतिम रूप से उत्पन्न अनंत समूह का जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह ऑर्डर p का चक्रीय समूह है। 1996 में प्रकाशित पत्र में, इवानोव और ओल्शांस्की ने पर्याप्त रूप से बड़े घातांकों के लिए अनियंत्रित अतिपरवलयिक समूह में बर्नसाइड समस्या का एनालॉग हल किया। | ||
== प्रतिबंधित बर्नसाइड समस्या == | == प्रतिबंधित बर्नसाइड समस्या == | ||
1930 के दशक में तैयार किया गया, यह और, संबंधित, प्रश्न पूछता है: | 1930 के दशक में तैयार किया गया, यह और, संबंधित, प्रश्न पूछता है: | ||
<blockquote>प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और | <blockquote>प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और घातांक 'एन' वाला समूह 'जी' परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि 'जी' का क्रम केवल 'पर निर्भर करते हुए कुछ स्थिरांक से घिरा है' 'एम' और 'एन'? समतुल्य रूप से, क्या [[समूह समरूपता]] तक ''m'' घातांक ''n'' के उत्पादक के साथ केवल बहुत से ''परिमित'' समूह हैं?</blockquote> | ||
बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' | बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' उत्पादक और घातांक 'एन' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में उपसमूह के परिमित सूचकांक के दो उपसमूहों का प्रतिच्छेदन स्वयं परिमित सूचकांक का उपसमूह है। चलो ''M'' मुक्त बर्नसाइड समूह B(''m'', ''n'') के सभी उपसमूहों का चौराहा है, जिसमें परिमित सूचकांक है, फिर ''M'' B(' का [[सामान्य उपसमूह]] है 'm'', ''n'') (अन्यथा, उपसमूह ''g'' सम्मिलित है<sup>−1</sup>Mg परिमित सूचकांक के साथ ऐसे तत्व हैं जो M में नहीं हैं)। इसलिए कोई समूह बी को परिभाषित कर सकता है<sub>0</sub>(एम, एन) कारक समूह बी (एम, एन) / एम होने के लिए। एम उत्पादक के साथ घातांक एन का प्रत्येक परिमित समूह बी की समरूप छवि है<sub>0</sub>(एम, एन)।'' | ||
प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी<sub>0</sub>(एम, एन) परिमित समूह है। | प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी<sub>0</sub>(एम, एन) परिमित समूह है। | ||
प्रमुख | प्रमुख घातांक पी के स्थिति में, इस समस्या का व्यापक अध्ययन 1950 के दशक के समय ए.आई. कोस्ट्रिकिन द्वारा किया गया था, सामान्य बर्नसाइड समस्या के ऋणात्मक समाधान से पहले। उसका समाधान, बी की परिमितता स्थापित करना<sub>0</sub>(एम, पी), परिमित विशेषता में ले बीजगणित में पहचान के बारे में गहरे प्रश्नों के साथ संबंध का उपयोग किया। मनमाना घातांक का स्थिति एफिम ज़ेलमानोव द्वारा पूरी तरह से धनात्मक रूप से सुलझाया गया है, जिन्हें 1994 में उनके काम के लिए [[फील्ड मेडल]] से सम्मानित किया गया था। | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Revision as of 18:34, 14 February 2023
| बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
|---|
 |
|
बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक ऋणात्मक उत्तर के रूप में जाना जाता है, क्योंकि 1964 में एवगेनी गोलोड और इगोर शफारेविच ने एक प्रति-उदाहरण प्रदान किया था। समस्या में कई परिशोधन और भिन्नताएं हैं (नीचे बाध्य और प्रतिबंधित देखें) जो समूह तत्वों के अनुक्रम पर लगाए गए अतिरिक्त शर्तों में भिन्न हैं, जिनमें से कुछ अभी भी खुले प्रश्न हैं।
संक्षिप्त इतिहास
प्रारंभिक कार्य धनात्मक उत्तर की ओर संकेत करता है। उदाहरण के लिए, यदि एक समूह G परिमित रूप से उत्पन्न होता है और G के प्रत्येक तत्व का क्रम 4 का एक विभाजक है, तो G परिमित है। इसके अतिरिक्त, ए. आई. कोस्ट्रिकिन 1958 में यह प्रमाणित करने में सक्षम थे कि उत्पादक की दी गई संख्या और दिए गए प्रथम घातांक वाले सीमित समूहों में से एक सबसे बड़ा सम्मिलित है। यह प्रथम घातांक के स्थिति में प्रतिबंधित बर्नसाइड समस्या का समाधान प्रदान करता है। (बाद में, 1989 में, एफिम ज़ेल्मनोव एकपक्षीय रूप से घातांक के लिए प्रतिबंधित बर्नसाइड समस्या को संशोधित करने में सक्षम था।) इस्साई शूर ने 1911 में दिखाया था कि कोई भी अंतिम रूप से उत्पन्न आवधिक समूह जो प्रतीप्य n × n सम्मिश्र आधात्री के समूह का एक उपसमूह था, वह परिमित था, उसने इस प्रमेय का उपयोग जॉर्डन-शूर प्रमेय को प्रमाणित करने के लिए किया था।[1]
हालांकि, बर्नसाइड समस्या का सामान्य उत्तर ऋणात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के अनंत समूह का निर्माण किया, बिना यह मानते हुए कि सभी तत्वों में समान रूप से परिबद्ध क्रम हैं। 1968 में, प्योत्र नोविकोव और सर्गेई एडियन ने 4381 से बड़े सभी विषम घातांकों के लिए परिबद्ध घातांक समस्या का ऋणात्मक समाधान प्रदान किया। 1982 में, ए. यू. ओल'शांस्की ने पर्याप्त रूप से बड़े विषम घातांकों (1010 से अधिक) के लिए कुछ आकर्षक प्रतिउदाहरण प्राप्त किए, और ज्यामितीय विचारों के आधार पर अधिकतम सरल प्रमाण प्रदान किया।
यहां तक कि घातांको के स्थिति को संशोधित करना बहुत कठिन हो गया। 1992 में, एस. वी. इवानोव ने 2 की व्यापक रूप से शक्ति से विभाज्य पर्याप्त रूप से बड़े सम घातांकों के लिए ऋणात्मक समाधान की घोषणा की (विस्तृत प्रमाण 1994 में प्रकाशित किए गए थे और लगभग 300 पृष्ठों पर अधिकृत कर लिया था)। बाद में ओल्शांस्की और इवानोव के संयुक्त कार्य ने अतिपरवलयिक समूह के लिए बर्नसाइड समस्या के अनुरूप के लिए ऋणात्मक समाधान स्थापित किया, परंतु घातांक पर्याप्त रूप से बड़ा हो। इसके विपरीत, जब घातांक छोटा होता है और 2, 3, 4 और 6 से भिन्न होता है, तो बहुत कम ज्ञात होता है।
सामान्य बर्नसाइड समस्या
समूह G को आवधिक कहा जाता है यदि प्रत्येक तत्व का दूसरे शब्दों में परिमित क्रम होता है, G में प्रत्येक g के लिए कुछ धनात्मक पूर्णांक n सम्मिलित है जैसे कि gn = 1 स्पष्ट रूप से, प्रत्येक परिमित समूह आवर्ती होता है। आसानी से परिभाषित समूह सम्मिलित हैं जैसे p∞- समूह जो अनंत आवधिक समूह हैं लेकिन बाद वाले समूह को अंतिम रूप से उत्पन्न नहीं किया जा सकता है।
सामान्य बर्नसाइड समस्या। यदि G निश्चित रूप से उत्पन्न आवधिक समूह है, तो क्या G आवश्यक रूप से परिमित है?
इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत p-समूह का उदाहरण दिया था। जो सूक्ष्म रूप से उत्पन्न होता है (देखें गोलोड-शाफारेविच प्रमेय)। हालाँकि, इस समूह के तत्वों के क्रम एकल स्थिरांक से परिबद्ध अनुभवनिरपेक्ष नहीं हैं।
बाउंडेड बर्नसाइड समस्या
सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त गुण के साथ विचार करें कि कम से कम पूर्णांक एन सम्मिलित है जैसे जी में सभी जी के लिए, जीn = 1. इस गुण वाले समूह को परिबद्ध घातांक n वाला आवधिक कहा जाता है, या केवल घातांक n वाला समूह कहा जाता है। परिबद्ध घातांक वाले समूहों के लिए बर्नसाइड समस्या पूछती है:
'बर्नसाइड प्रॉब्लम I.' यदि G घातांक n वाला अंतिम रूप से उत्पन्न समूह है, तो क्या G आवश्यक रूप से परिमित है?
यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक एम और घातांक एन का 'फ्री बर्नसाइड ग्रुप', बी (एम, एन) चिह्नित है, एम प्रतिष्ठित जेनरेटर एक्स वाला समूह है1, ..., एक्सmजिसमें पहचान xn = 1 सभी तत्वों x के लिए मान्य है, और इन आवश्यकताओं को पूरा करने वाला सबसे बड़ा समूह कौन सा है। अधिक सटीक रूप से, बी (एम, एन) की विशेषता गुण यह है कि, किसी भी समूह जी को एम जेनरेटर जी के साथ दिया गया है1, ..., जीmऔर घातांक n का, B(m, n) से G तक अद्वितीय समरूपता है जो iवें उत्पादक x को मैप करता हैiबी (एम, एन) के i वें उत्पादक जी मेंiजी का। समूह की प्रस्तुति की भाषा में, मुफ्त बर्नसाइड समूह बी (एम, एन) में एम जेनरेटर एक्स है1, ..., एक्सmऔर संबंध xn = 1 प्रत्येक शब्द x के लिए x में1, ..., एक्सm, और किसी भी समूह जी के साथ घातांक एन के एम जेनरेटर को अतिरिक्त संबंधों को लागू करके प्राप्त किया जाता है। मुक्त बर्नसाइड समूह का अस्तित्व और समरूपता तक इसकी विशिष्टता समूह सिद्धांत की मानक तकनीकों द्वारा स्थापित की जाती है। इस प्रकार यदि जी घातांक एन का कोई भी अंतिम रूप से जेनरेट किया गया समूह है, तो जी बी (एम, एन) का समूह समरूपता है, जहां एम जी के जेनरेटर की संख्या है। बर्नसाइड समस्या को अब निम्नानुसार बहाल किया जा सकता है:
'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?
इस रूप में बर्नसाइड समस्या का पूर्ण समाधान ज्ञात नहीं है। बर्नसाइड ने अपने मूल पेपर में कुछ आसान स्थितियो पर विचार किया:
- B(1, n) क्रम n का चक्रीय समूह है।
- बी(एम, 2) क्रम 2 के चक्रीय समूह की एम प्रतियों के समूहों का प्रत्यक्ष उत्पाद है और इसलिए परिमित है।[note 1]
निम्नलिखित अतिरिक्त परिणाम ज्ञात हैं (बर्नसाइड, सनोव, मार्शल हॉल (गणितज्ञ) | एम। हॉल):
- B(m, 3), B(m, 4), और B(m, 6) सभी m के लिए परिमित हैं।
B(2, 5) का विशेष स्थिति खुला रहता है: as of 2020[update] यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं।
बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड घातांक पर बाउंड को 665 तक सुधारा।[2] बाउंड ऑन ऑड घातांक में नवीनतम सुधार 101 है जिसे एडियन ने 2015 में स्वयं प्राप्त किया था। यहां तक कि घातांक का स्थिति काफी अधिक कठिन निकला। केवल 1994 में सर्गेई वासिलीविच इवानोव नोविकोव-एडियन प्रमेय का एनालॉग प्रमाणित करने में सक्षम थे: किसी भी एम> 1 और यहां तक कि एन ≥ 2 के लिए48, n 2 से विभाज्य9, समूह B(m, n) अनंत है; नोविकोव-एडियन प्रमेय के साथ, यह सभी m> 1 और n ≥ 2 के लिए अनंतता का अर्थ है48. यह 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 ले सकता है)75) अंतिम रूप से उत्पन्न अनंत समूह का जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह ऑर्डर p का चक्रीय समूह है। 1996 में प्रकाशित पत्र में, इवानोव और ओल्शांस्की ने पर्याप्त रूप से बड़े घातांकों के लिए अनियंत्रित अतिपरवलयिक समूह में बर्नसाइड समस्या का एनालॉग हल किया।
प्रतिबंधित बर्नसाइड समस्या
1930 के दशक में तैयार किया गया, यह और, संबंधित, प्रश्न पूछता है:
प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और घातांक 'एन' वाला समूह 'जी' परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि 'जी' का क्रम केवल 'पर निर्भर करते हुए कुछ स्थिरांक से घिरा है' 'एम' और 'एन'? समतुल्य रूप से, क्या समूह समरूपता तक m घातांक n के उत्पादक के साथ केवल बहुत से परिमित समूह हैं?
बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' उत्पादक और घातांक 'एन' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में उपसमूह के परिमित सूचकांक के दो उपसमूहों का प्रतिच्छेदन स्वयं परिमित सूचकांक का उपसमूह है। चलो M मुक्त बर्नसाइड समूह B(m, n) के सभी उपसमूहों का चौराहा है, जिसमें परिमित सूचकांक है, फिर M B(' का सामान्य उपसमूह है 'm, n) (अन्यथा, उपसमूह g सम्मिलित है−1Mg परिमित सूचकांक के साथ ऐसे तत्व हैं जो M में नहीं हैं)। इसलिए कोई समूह बी को परिभाषित कर सकता है0(एम, एन) कारक समूह बी (एम, एन) / एम होने के लिए। एम उत्पादक के साथ घातांक एन का प्रत्येक परिमित समूह बी की समरूप छवि है0(एम, एन)। प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी0(एम, एन) परिमित समूह है।
प्रमुख घातांक पी के स्थिति में, इस समस्या का व्यापक अध्ययन 1950 के दशक के समय ए.आई. कोस्ट्रिकिन द्वारा किया गया था, सामान्य बर्नसाइड समस्या के ऋणात्मक समाधान से पहले। उसका समाधान, बी की परिमितता स्थापित करना0(एम, पी), परिमित विशेषता में ले बीजगणित में पहचान के बारे में गहरे प्रश्नों के साथ संबंध का उपयोग किया। मनमाना घातांक का स्थिति एफिम ज़ेलमानोव द्वारा पूरी तरह से धनात्मक रूप से सुलझाया गया है, जिन्हें 1994 में उनके काम के लिए फील्ड मेडल से सम्मानित किया गया था।
टिप्पणियाँ
संदर्भ
- ↑ Curtis, Charles; Reiner, Irving (1962). Representation Theory of Finite Groups and Associated Algebras. John Wiley & Sons. pp. 256–262.
- ↑ John Britton proposed a nearly 300 page alternative proof to the Burnside problem in 1973; however, Adian ultimately pointed out a flaw in that proof.
ग्रन्थसूची
- 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.
