Every finite group admits a just finite presentation

तकनीकी सारांश: प्रत्येक परिमित समूह एक 'जस्ट फाइनाइट' प्रस्तुति (Just Finite Presentation) स्वीकार करता है

समस्या विवरण
यह शोध पत्र बाउरना (Barnea) द्वारा कुरोवका नोटबुक (Kourovka Notebook) में प्रस्तुत की गई समस्या 21.10 को संबोधित करता है। यह समस्या पूछती है कि क्या प्रत्येक परिमित समूह एक "जस्ट फाइनाइट" प्रस्तुति स्वीकार करता है। एक परिमित समूह $G$ के लिए एक परिमित प्रस्तुति $\langle X \mid R \rangle$ को "जस्ट फाइनाइट" तब कहा जाता है यदि $R$ में से किसी भी एक संबंध $r \in R$ को हटाने से एक अनंत समूह की प्रस्तुति प्राप्त होती है। जबकि "जस्ट इनफाइनाइट" (just infinite) समूहों (अनंत समूह जहाँ प्रत्येक उचित भागफल परिमित होता है) का सिद्धांत सुस्थापित है, परिमित समूहों के लिए यह द्वैत अवधारणा एक खुला प्रश्न बनी हुई थी।

कार्यप्रणाली और निर्माण
लेखक सर्रे के प्रॉपर्टी (FA) (Serre's Property (FA)) वाले समूहों से संबंधित एक मजबूत परिणाम सिद्ध करके इस अनुमान का समाधान करते हैं। एक समूह में प्रॉपर्टी (FA) तब होती है जब प्रत्येक ट्री (tree) पर उसका एक्शन एक फिक्स्ड पॉइंट (fixed point) रखता है; संचरित रूप से (finitely generated) समूहों के लिए, यह इस बात के समतुल्य है कि समूह एक गैर-तुच्छ अमलगड फ्री प्रोडक्ट (amalgamated free product) या HNN एक्सटेंशन नहीं है। चूंकि सभी परिमित समूह प्रॉपर्टी (FA) रखते हैं, इसलिए प्रॉपर्टी (FA) वाले किसी भी संचरित प्रस्तुत समूह के लिए "जस्ट-(FA)" प्रस्तुति का अस्तित्व सिद्ध करना मूल समस्या को हल करने के लिए पर्याप्त है।

मुख्य निर्माण एक मौजूदा इरेडंडेंट (irredundant) परिमित प्रस्तुति $\langle X \mid R \rangle$ को एक नए प्रस्तुति $P' = \langle X' \mid R' \rangle$ में संशोधित करता है (जहाँ $G$ एक गैर-चक्रीय समूह है):

1. जेनेरेटर विस्तार (Generator Expansion): प्रत्येक संबंध $r \in R$ के लिए, एक नया जेनेरेटर $b_r$ पेश किया जाता है।
2. संबंध प्रतिस्थापन (Relation Substitution): प्रत्येक मूल संबंध $r$ को दो नए संबंधों के जोड़े द्वारा प्रतिस्थापित किया जाता है:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. सैद्धांतिक आधार: यह प्रतिस्थापन बी.एच. न्यूमैन (B.H. Neumann) के लेम्मा 4 पर आधारित है, जो कहता है कि यदि तत्व $u, v$ इस प्रकार संतुष्ट करते हैं कि $u^{-1}vu = v^2$ और $v^{-1}uv = u^2$, तो $u=v=1$ होता है। फलस्वरूप, नई प्रस्तुति $P'$ में, ये संबंध $b_r = 1$ और $r = 1$ को अनिवार्य करते हैं, जिससे यह सुनिश्चित होता है कि $P'$ अभी भी मूल समूह $G$ को प्रस्तुत करता है।

जस्ट-(FA) गुण का प्रमाण
यह प्रदर्शित करने के लिए कि $P'$ जस्ट-(FA) है, लेखक यह दिखाते हैं कि $R'$ से किसी भी एकल संबंध को हटाने से प्राप्त होने वाला समूह प्रॉपर्टी (FA) खो देता है। प्रमाण एक विशिष्ट संबंध युग्म (जो मूल संबंध $r$ के अनुरूप है) के लिए दो मामलों का विश्लेषण करता है:

• केस 1 (संबंध $b_r^{-1} r b_r = r^2$ को हटाना): यह दिखाया गया है कि परिणामी समूह $K_1$ एक गैर-तुच्छ अमलगड फ्री प्रोडक्ट है। विशेष रूप से, यह $H_r *_{\langle r \rangle} B'$ के रूप में विघटित होता है, जहाँ $H_r = \langle X \mid R \setminus \{r\} \rangle$ है और $B'$ एक सेमी-डायरेक्ट प्रोडक्ट (या बाउमस्लैग-सोलिटेर समूह, यदि $r$ का क्रम अनंत है) है। अमलगेटिंग सबग्रुप का इंडेक्स कम से कम 3 दिखाया गया है, जो यह सुनिश्चित करता है कि उत्पाद गैर-तुच्छ है जब तक कि $H_r$ चक्रीय न हो। लेखक तर्क देते हैं कि यदि $H_r$ चक्रीय होता, तो $G$ (जो $H_r$ का एक भागफल है) भी चक्रीय होता, जो इस धारणा का खंडन करता है कि $G$ गैर-चक्रीय है। अतः, $K_1$ एक गैर-तुच्छ अमलगड फ्री प्रोडक्ट है और इसमें प्रॉपर्टी (FA) का अभाव है।
• केस 2 (संबंध $r^{-1} b_r r = b_r^2$ को हटाना): समूह $K_2$ अनंत चक्रीय समूह $\mathbb{Z}$ पर एक अधिसमत (surjective) होमोमोर्फिज्म स्वीकार करता है। सभी मूल जेनेरेटर्स को पहचान (identity) पर और विशिष्ट जेनेरेटर $b_r$ को $\mathbb{Z}$ के एक जेनेरेटर पर मैप करके, शेष संबंध स्वतः ही संतुष्ट हो जाता है। चूंकि $K_2$ एक अनंत समूह पर मैप होता है, इसलिए इसमें प्रॉपर्टी (FA) का अभाव है।

प्रमुख परिणाम
यह शोध पत्र निम्नलिखित प्रमेय स्थापित करता है:

• प्रमेय 1: प्रत्येक परिमित समूह एक परिमित, जस्ट फाइनाइट प्रस्तुति स्वीकार करता है।
• प्रमेय 2: प्रॉपर्टी (FA) वाले प्रत्येक संचरित प्रस्तुत समूह के लिए एक परिमित जस्ट-(FA) प्रस्तुति मौजूद होती है।
• प्रमेय 3: कज़दान की प्रॉपर्टी (T) (Kazhdan's Property (T)) वाले प्रत्येक संचरित प्रस्तुत समूह के लिए एक 'जस्ट-(T)' प्रस्तुति मौजूद होती है (एक ऐसी प्रस्तुति जहाँ किसी भी संबंध को हटाने से प्रॉपर्टी (T) नष्ट हो जाती है)।
• प्रमेय 6: प्रॉपर्टी (FA) वाले किसी भी गैर-चक्रीय समूह के लिए किसी भी परिमित इरेडंडेंट प्रस्तुति हेतु, समान डेफिशिएंसी (जेनेरेटर्स की संख्या घटा संबंधों की संख्या) वाली एक जस्ट-(FA) प्रस्तुति मौजूद होती है।

महत्व और संदर्भ
यह शोध पत्र दावा करता है कि इसने कुरोवका नोटबुक में पूछे गए खुले प्रश्न को सकारात्मक रूप से हल कर दिया है। इसका महत्व परिमित समूहों के लिए न्यूनतम प्रस्तुतियों के अस्तित्व को स्थापित करने में निहित है, इस अर्थ में कि कोई भी संबंध परिमितता बनाए रखने के लिए अनावश्यक (redundant) नहीं है।

कार्यप्रणाली नोट
यह शोध पत्र स्पष्ट रूप से गूगल डीपमाइंड (Google DeepMind) AI सह-गणितज्ञ उपकरण के उपयोग को स्वीकार करता है। AI ने प्रारंभिक समाधान संरचना और मुख्य प्रमाण रणनीति प्रस्तावित की, लेकिन केस 1 में $H_r = \langle r \rangle$ के विशिष्ट मामले के संबंध में एक त्रुटि का सामना किया। मानव लेखक ने तार्किक अंतराल की पहचान की, आवश्यक सुधार (चक्रीय भागफल के संबंध में तर्क) प्रदान किया, और व्यापक अवधारणाओं जैसे जस्ट-(FA) और जस्ट-(T) प्रस्तुतियों को शामिल करने के लिए प्रस्तुति को परिष्कृत किया। अंतिम पाठ को AI टूल द्वारा सत्यापित और सुधारा गया था।