🔢 mathematics

On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra

यह शोध पत्र पोस्ट-हॉफ़ उत्पाद (post-Hopf product) को ट्विस्ट करके एक पोस्ट-ली अल्जेब्रा (post-Lie algebra) के यूनिवर्सल एनवेलपिंग अल्जेब्रा के सब-एडजसेंट हॉफ़ अल्जेब्रा (sub-adjacent Hopf algebra) के लिए एक कॉम्बिनेटोरियल एंटीपोड फॉर्मूला स्थापित करता है, जो साथ ही गिनी-ऊडम आइसोमॉर्फिज्म (Guin-Oudom isomorphism) के लिए एक क्लोज्ड इनवर्स फॉर्मूला और ऑर्डर्ड ट्रीज़ (ordered trees) के ग्रॉसमैन-लार्सन हॉफ़ अल्जेब्रा (Grossman-Larson Hopf algebra) के लिए एक कैंसलेशन-फ्री एंटीपोड एक्सप्रेशन प्रदान करता है।

मूल लेखक: Yunnan Li

प्रकाशित 2026-07-13

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC0 1.0

मूल लेखक: Yunnan Li

मूल पेपर CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) के तहत सार्वजनिक डोमेन को समर्पित है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास एक विशाल, जादुई टूलबॉक्स है जो निर्माण ब्लॉकों (building blocks) से भरा हुआ है। गणित की दुनिया में, ये ब्लॉक "पोस्ट-ली बीजगणित" (post-Lie algebras) कहलाते हैं। ये विशेष हैं क्योंकि वे केवल वहां पड़े नहीं रहते; उनके पास एक तरीका है जिससे वे एक-दूसरे के साथ परस्पर क्रिया करते हैं, जो थोड़ा एक नृत्य की तरह है, जहाँ एक ब्लॉक दूसरे को एक विशिष्ट क्रम में धकेल या घुमा सकता है।

लंबे समय तक, गणितज्ञों को पता था कि इन नाचते हुए ब्लॉकों को लेकर एक बड़ी संरचना बनाई जा सकती है जिसे "यूनिवर्सल एनवेलपिंग बीजगणित" (universal enveloping algebra) कहा जाता है। इसे एक विशाल गोदाम के रूप में सोचें जहाँ आपके ब्लॉकों के हर संभावित संयोजन को संग्रहीत किया जाता है। लेकिन एक समस्या थी: इस गोदाम के भीतर एक छिपी हुई, माध्यमिक संरचना थी जिसे "सब-एडजसेंट हॉफ बीजगणित" (sub-adjacent Hopf algebra) कहा जाता है। यह गोदाम के भीतर एक गुप्त कमरे की तरह था जिसके अपने नियम थे कि ब्लॉकों को कैसे संयोजित किया जाए।

बड़ी खोज: मिश्रण का एक नया नुस्खा

इस शोध पत्र का मुख्य निष्कर्ष यह है कि लेखक, युन्नान ली (Yunnan Li) ने अंततः इस गुप्त कमरे के एक बहुत ही कठिन हिस्से के लिए एक स्पष्ट, चरण-दर-चरण नुस्खा लिखा है: "एंटीपोड" (antipode)।

इन गणितीय गोदामों की भाषा में, एक "एंटीपोड" एक "अनडू" (undo) बटन या "रिवर्स" स्विच की तरह है। यदि आप दो ब्लॉकों को आपस में मिलाते हैं, तो एंटीपोड आपको ठीक से बताता है कि उन्हें वापस कैसे अलग किया जाए ताकि आप वहीं वापस पहुँच सकें जहाँ से आपने शुरुआत की थी। आमतौर पर, इस "अनडू" स्विच को समझना एक दुःस्वप्न जैसा होता है। मानक तरीका इसमें चरणों की एक विशाल सूची शामिल करता है जहाँ आप कुछ चीजों को जोड़ते हैं और कुछ को घटाते हैं, केवल यह देखने के लिए कि कैसे अधिकांश जोड़ और घटाव एक दूसरे को पूरी तरह से रद्द कर देते हैं, जिससे आपके पास कुछ नहीं बचता सिवाय सिरदर्द और कागज की बहुत सारी बर्बादी के।

ली का पेपर कहता है: "ऐसा करना बंद करें!"

इस उलझे हुए, रद्द करने वाले तरीके के बजाय, लेखक एक कैंसलेशन-फ्री फॉर्मूला (cancellation-free formula - बिना किसी कटौती वाला सूत्र) प्रदान करता है। यह एक भूलभुलैया में शॉर्टकट खोजने जैसा है। हर मृत अंत (dead end) में जाने और वापस मुड़ने के बजाय, आपको एक नक्शा मिलता है जो आपको दिखाता है कि बिना किसी दीवार से टकराए निकास तक पहुँचने के लिए कौन सा रास्ता लेना है। पेपर यह सिद्ध करता है कि पोस्ट-ली बीजगणित से बनी विशिष्ट "सब-एडजसेंट" संरचना के लिए, आप इस "अनडू" स्विच की गणना केवल अपने ब्लॉकों के विशिष्ट पेड़-नुमा विन्यासों (tree-like arrangements) को जोड़कर कर सकते हैं, जिसमें कुछ भी घटाने की आवश्यकता नहीं है जो बाद में गायब हो जाएगा।

यह पेपर क्या नहीं कहता (क्या सच नहीं है)

यह पेपर बहुत सावधानी से इस बात को स्पष्ट करता है कि यह नया नुस्खा क्या नहीं करता है। यह स्पष्ट रूप से इस विचार को खारिज करता है कि इस नए "ट्विस्टेड" तरीके (जिसे उत्पाद $\triangleright$ कहा जाता है) का उपयोग सीधे अंतिम, तैयार गोदाम (एक सामान्य पोस्ट-ली बीजगणित का यूनिवर्सल एनवेलपिंग बीजगणरा) पर बिना किसी संशोधन के किया जा सकता है।

इसे ऐसे समझें: आपके पास एक विशेष गोंद है जो कच्चे लकड़ी (फ्री बीजगणित) पर पूरी तरह से काम करता है, लेकिन यदि आप उसी गोंद को एक तैयार, पेंट की हुई कुर्सी (सामान्य बीजगणित) पर लगाने की कोशिश करते हैं, तो यह पेंट को खराब कर सकता है या चिपकने में विफल हो सकता है। पेपर सिद्ध करता है कि यदि आप सीधे तैयार कुर्सी पर कच्चा गोंद लगाने की कोशिश करते हैं, तो यह कुर्सी के निर्माण के नियमों को तोड़ देता है। इसलिए, लेखक को इस उत्पाद को काम करने योग्य बनाने के लिए एक विशेष अनुवाद चरण (क्रमपरिवर्तन/permutations के उपयोग वाला एक कॉम्बिनेटरियल ट्रिक) का आविष्कार करना पड़ा। पेपर इस विचार के विरुद्ध तर्क देता है कि कच्चा नुस्खा हर जगह काम करता है; यह केवल इस विशिष्ट फिल्टर के माध्यम से अनुवादित होने के बाद ही काम करता है।

हम कितने आश्वस्त हैं?

यह पेपर केवल अनुमान या सिमुलेशन नहीं लगाता है; यह इसे सिद्ध करता है। लेखक कठोर गणितीय तर्क का उपयोग करके यह दिखाता है कि यह नया फॉर्मूला किसी भी पोस्ट-ली बीजगणित के लिए काम करता है, न कि केवल कुछ उदाहरणों के लिए।

विश्वास का स्तर गणितीय ढांचे के भीतर पूर्ण है। पेपर बताता है कि "ऑर्डर्ड ट्रीज़ का ग्रोसमैन-लार्सन हॉफ बीजगणित" (कंप्यूटर विज्ञान और भौतिकी में उपयोग किया जाने वाला एक विशिष्ट, प्रसिद्ध प्रकार का वृक्ष-ढांचा) के लिए, यह फॉर्मूला सिद्ध है कि यह कैंसलेशन-फ्री है। लेखक यह दिखाने के लिए कि गणित कैसे बिना किसी कटौती के जुड़ता है, तीन शाखाओं वाले एक पेड़ का एक ठोस उदाहरण भी प्रदान करता है।

वृक्ष का रूपक: ग्राफ्टिंग और ग्रोइंग (Grafting and Growing)

इसे ठोस बनाने के लिए, कल्पना कीजिए कि आप एक विशेष प्रकार के पेड़ के माली हैं। ये सामान्य पेड़ नहीं हैं; ये "ऑर्डर्ड ट्रीज़" (ordered trees) हैं, जिसका अर्थ है कि उनकी शाखाएं एक विशिष्ट बाएं-से-दाएं अनुक्रम में बढ़ती हैं।

पेपर "ग्राफ्टिंग" (grafting) नामक एक प्रक्रिया के माध्यम से "गुप्त कमरे" के "अनडू" स्विच को जोड़ता है। ग्राफ्टिंग वह है जब आप एक पेड़ से एक शाखा लेते हैं और उसे दूसरे पेड़ से जोड़ते हैं।

पुराना तरीका: एक जटिल पेड़ के लिए "अनडू" खोजने के लिए, आपको हर संभव क्रम में हर संभव शाखा को जोड़ने का प्रयास करना होगा, फिर उन्हें घटाना होगा जो काम नहीं कर रहे थे, और फिर उन चीज़ों को वापस जोड़ना होगा जिन्हें आपने गलती से घटा दिया था। यह दीवार पर ईंटें फेंकने और इस उम्मीद में घर बनाने जैसा है कि सही ईंटें चिपक जाएंगी।
नया तरीका: ली का फॉर्मूला कहता है: "बस पेड़ को देखें। संख्याओं के पैटर्न (partitions) के आधार पर इसे विशिष्ट टुकड़ों में काटें। प्रत्येक टुकड़े के लिए, एक बहुत ही विशिष्ट ग्राफ्टिंग ऑपरेशन करें जहाँ आप टुकड़ों को एक सख्त क्रम में जोड़ते हैं (जैसे एक नृत्य जहाँ चरण 1 को चरण 2 से पहले होना चाहिए)। फिर, उन सभी परिणामों को बस जोड़ दें।"

पेपर दिखाता है कि 3 शाखाओं वाले पेड़ के लिए, चरणों को व्यवस्थित करने के $3!$ (6) तरीके हैं, लेकिन फॉर्मूला उन्हें इस तरह व्यवस्थित करता है कि आपको उस उलझे हुए घटाव वाले नृत्य की आवश्यकता नहीं होती। 4 शाखाओं वाले पेड़ के लिए, फॉर्मूला ठीक $4!$ (24) पदों में विस्तारित होता है, और उनमें से प्रत्येक पद पहेली का एक सकारात्मक और उपयोगी हिस्सा है।

यह क्यों महत्वपूर्ण है (अतिशयोक्ति किए बिना)

यह पेपर यह दावा नहीं करता है कि यह बीमारियों का इलाज करेगा या कल तेज़ कंप्यूटर बनाएगा। इसके बजाय, यह उन गणितज्ञों और भौतिकविदों के लिए एक स्वच्छ, अधिक कुशल उपकरण प्रदान करता है जो "रफ पाथ्स" (rough paths) और "रेगुलैरिटी स्ट्रक्चर्स" (regularity structures) का अध्ययन करते हैं (जो प्रकृति में अस्त-व्यस्त, टेढ़ी-मेढ़ी रेखाओं, जैसे शेयर बाजार के चार्ट या तरल अशांति (fluid turbulence) का वर्णन करने के तरीके हैं)।

एक "कैंसलेशन-फ्री" फॉर्मूला प्रदान करके, यह पेपर इन जटिल संरचनाओं की गणना करना बहुत आसान बनाता है। यह एक ऐसे कैलकुलेटर से अपग्रेड करने जैसा है जो एक योग करने के लिए 10 मिनट लेता है क्योंकि वह बार-बार "क्लियर" और "बैकस्पेस" दबाता रहता है, बनाम एक कैलकुलेटर जो बस एक सेकंड में उत्तर दे देता है।

पेपर निष्कर्ष निकालता है कि यह नया फॉर्मूला एक बड़े अन्वेषण का "बायप्रोडक्ट" (उप-उत्पाद) है कि कैसे ये बीजगणितीय संरचनाएं एक-दूसरे से संबंधित हैं। यह सिद्ध करता है कि "गुइन-ओडम आइसोमोर्फिज्म" (दो अलग-अलग गणितीय दुनियाओं के बीच एक पुल का फैंसी नाम) का एक स्पष्ट "इनवर्स" मैप (उल्टा मानचित्र) है, और इस मैप को इन सुंदर, पेड़-ग्राफ्टिंग व्यंजनों का उपयोग करके वर्णित किया जा सकता है।

संक्षेप में: पेपर यह सिद्ध करता है कि इन विशिष्ट गणितीय पेड़ों के लिए, "रिवर्स" ऑपरेशन की गणना करने का एक सीधा, बिना बर्बादी वाला तरीका है, जो एक उलझे हुए, घटाने वाले प्रक्रिया को पेड़ की शाखाओं को ग्राफ्ट करने के आधार पर एक स्वच्छ, योगात्मक (additive) नुस्खे से बदल देता है।

तकनीकी सारांश: एक पोस्ट-ली बीजगणक के सार्वत्रिक एनवेलपिंग बीजगणक के उप-अधोवर्ती (Sub-Adjacent) हॉफ बीजगणक पर

समस्या विवरण
यह शोध पत्र एक पोस्ट-ली बीजगणक $(\mathfrak{g}, [\cdot,\cdot]_\mathfrak{g}, \triangleright)$ के सार्वत्रिक एनवेलपिंग बीजगणक $U(\mathfrak{g})$ के संरचनात्मक गुणों को संबोधित करता है। जबकि ग्विन-ओडम (Guin-Oudom) निर्माण एक हॉफ बीजगणक समरूपता $\phi: U(\mathfrak{g}_\triangleright) \to U(\mathfrak{g})_\triangleright$ स्थापित करता है, जो उप-अधोवर्ती ली बीजगणक के सार्वत्रिक एनवेलपिंग बीजगणक और $U(\mathfrak{g})$ पर एक नए "उप-अधोवर्ती" हॉफ बीजगणक संरचना के बीच है, उप-अधोवर्ती उत्पाद और विशेष रूप से इसके एंटीपोड (antipode) $S_\triangleright$ का स्पष्ट कॉम्बिनेटरियल विवरण प्राप्त करना कठिन रहा है।

विशेष रूप से, यह पत्र दो मुख्य कमियों को लक्षित करता है:

उप-अधोवर्ती हॉफ बीजगणक $U(\mathfrak{g})_\triangleright$ के लिए एक स्पष्ट, कॉम्बिनेटरियल एंटीपोड सूत्र का अभाव, जो ताकेउची (Takeuchi) के सामान्य पुनरावर्ती सूत्र में निहित बड़ी संख्या में रद्दीकरण (cancellations) से बचता हो।
गैविलोव (Gavrilov) के K-मैप के संदर्भ में ग्विन-ओडॉम समरूपता $\phi$ के एक बंद-रूप (closed-form) व्युत्क्रम सूत्र का अभाव।
क्रमबद्ध वृक्षों (ordered trees) के ग्रोसमैन-लारसन (Grossman-Larson) हॉफ बीजगणक के लिए स्पष्ट एंटीपोड सूत्रों को प्राप्त करने में कठिनाई, जो ज्यामितीय संख्यात्मक एकीकरण और रेगुलैरिटी स्ट्रक्चर्स (regularity structures) के अनुप्रयोगों के लिए महत्वपूर्ण है।

कार्यप्रणाली
लेखक पोस्ट-हॉफ बीजगणक (post-Hopf algebra) के ढांचे का उपयोग करते हैं, जो ली, शेंग और तांग द्वारा हाल ही में पेश किया गया एक ढांचा है। कार्यप्रणाली इस प्रकार है:

पोस्ट-हॉफ संरचना: शोध पत्र इस तथ्य का उपयोग करता है कि एक पोस्ट-ली बीजगणक का सार्वत्रिक एनवेलपिंग बीजगणक स्वाभाविक रूप से एक कोकम्यूटेटिव पोस्ट-हॉफ बीजगणक $(H, \triangleright)$ बनाता है। यह संरचना एक उप-अधोवर्ती हॉफ बीजगणक $(H, \circ, S_\triangleright)$ को प्रेरित करती है जहाँ उत्पाद $\circ$ एक सामान्यीकृत ग्रोसमैन-लारसन उत्पाद है जिसे $x \circ y = x_1 \cdot (x_2 \triangleright y)$ द्वारा परिभाषित किया गया है।
ट्विस्टेड उत्पाद (Twisted Product): एक प्रमुख तकनीकी उपकरण के रूप में टेंसर बीजगणक $T(V)$ (जहाँ $V$ अंतर्निहित सदिश स्थान है) पर एक "ट्विस्टेड" उत्पाद $\blacktriangleright$ का परिचय दिया गया है। यह उत्पाद पोस्ट-हॉफ उत्पाद $\triangleright$ को एंटीपोड $S_\triangleright$ और एक संकेत कारक (sign factor) के साथ ट्विस्ट करके परिभाषित किया जाता है: $X \blacktriangleright Y = (-1)^{|X|} S_\triangleright(X) \triangleright Y$ ।
कॉम्बिनेटरियल विस्तार: एक मैगमा बीजगणक (जिसे टेंसर बीजगणक $T(V)$ के रूप में साकार किया गया है) पर मुक्त पोस्ट-ली बीजगणक का विश्लेषण करके, लेखक ट्विस्टेड उत्पाद के लिए पुनरावर्ती सूत्र प्राप्त करते हैं। इन्हें क्रमपरिवर्तन (permutations) और सेट विभाजनों (set partitions) के योगों में विस्तारित किया जाता है, जिसमें पुनरावर्ती ग्राफ्टिंग ऑपरेशनों (grafting operations) को दर्शाने के लिए एक विशिष्ट नोटेशन $[x_1, \dots, x_m; Y]_w$ का उपयोग किया जाता है।
सामान्य मामले में प्रेरण (Induction): मुक्त वस्तु (टेंसर बीजगणक) के लिए प्राप्त परिणामों को $T(\mathfrak{g})$ को ली संबंधों द्वारा जनित हॉफ आइडियल के एक भाग (quotient) के रूप में $U(\mathfrak{g})$ पर प्रेरित किया जाता है। लेखक प्रदर्शित करते हैं कि जबकि ट्विस्टेड उत्पाद $\blacktriangleright$ सीधे भाग (quotient) तक नहीं उतरता है, एंटीपोड सूत्र में दिखाई देने वाले विशिष्ट कॉम्बिनेटरियल पद $U(\mathfrak{g})$ के लिए एक वैध सूत्र प्रदान करने के लिए व्याख्यायित किए जा सकते हैं।
वृक्षों पर अनुप्रयोग: सिद्धांत को क्रमबद्ध वृक्षों के ग्रोसमैन-लारसन हॉफ बीजगणक ( $H_{GL}$ ) पर लागू किया जाता है, जो एक जनक पर मुक्त पोस्ट-ली बीजगणक के सार्वत्रिक एनवेलपिंग बीजगणक के उप-अधोवर्ती हॉफ बीजगणक के रूप में पहचाना गया है।

प्रमुख योगदान और परिणाम

उप-अधोवर्ती हॉफ बीजगणकों के लिए कॉम्बिनेटरियल एंटीपोड सूत्र:
शोध पत्र $U(\mathfrak{g})_\triangleright$ के लिए एंटीपोड $S_\triangleright$ का एक स्पष्ट, रद्दीकरण-मुक्त (cancellation-free) सूत्र प्रदान करता है। एक शब्द $x_1 \cdots x_m$ के लिए, एंटीपोड है:
$S_\triangleright(x_1 \cdots x_m) = (-1)^m \sum_{\pi} [x_{B_1}; x_{b_1}] \cdots [x_{B_{|\pi|-1}}; x_{b_{|\pi|-1}}]$
जहाँ योग $\{1, \dots, m\}$ के विशिष्ट सेट विभाजनों $\pi$ पर चलता है, और पद $[x_I; y]$ पुनरावर्ती पोस्ट-ली उत्पादों वाले क्रमपरिवर्तनों के योगों का प्रतिनिधित्व करते हैं। यह सूत्र उन वैकल्पिक योगों और रद्दीकरणों से बचता है जो ताकेउची के सूत्र में विशिष्ट होते हैं।
ग्विन-ओडॉम समरूपता के लिए बंद व्युत्क्रम सूत्र:
शोध पत्र ग्विन-ओडॉम समरूपता $\phi^{-1}: U(\mathfrak{g})_\triangleright \to U(\mathfrak{g}_\triangleright)$ के व्युत्क्रम के लिए एक बंद सूत्र व्युत्पन्न करता है। यह गैविलोव के K-मैप से संबंधित होकर और इसे ट्विस्टेड उत्पाद का उपयोग करके कॉम्बिनेटरियल रूप से व्यक्त करके प्राप्त किया गया है:
$\phi^{-1}(x_1 \cdots x_n) = \sum_{\pi} (-1)^{n-|\pi|} [x_{B_1}] \cdots [x_{B_{|\pi|}}]$
यह मानक सार्वत्रिक एनवेलपिंग बीजगणक में मोनॉमियल्स (monomials) को ग्रोसमैन-लारसन उत्पाद के रूप में व्यक्त करने का एक सीधा तरीका प्रदान करता है।
ग्रोसमैन-लारसन हॉफ बीजगणक के लिए रद्दीकरण-मुक्त एंटीपोड:
एक विशिष्ट अनुप्रयोग के रूप में, शोध पत्र क्रमबद्ध वृक्षों के ग्रोसमैन-लारसन हॉफ बीजगणक ( $H_{GL}$ ) के लिए एक रद्दीकरण-मुक्त एंटीपोड सूत्र व्युत्पन्न करता है। यह सूत्र वृक्ष ग्राफ्टिंग ऑपरेशनों के माध्यम से $S_{GL}$ की व्याख्या करता है:
$S_{GL}(\tau) = (-1)^m \sum_{\pi} B_+ \left( (\tau^-_{B_1} \blacktriangleright \tau_{b_1}) \cdots (\tau^-_{B_{|\pi|-1}} \blacktriangleright \tau_{b_{|\pi|-1}}) \right)$
यहाँ, ट्विस्टेड उत्पाद विशिष्ट क्रम प्रतिबंधों के साथ वृक्षों के लेफ्ट ग्राफ्टिंग्स (left graftings) के योग के अनुरूप है। शोध पत्र नोट करता है कि ठोस उदाहरण पुनरावर्ती विधियों की तुलना में इस सूत्र की कम्प्यूटेशनल दक्षता को सत्यापित करते हैं।

महत्व और दावे
शोध पत्र दावा करता है कि यह मौजूदा एंटीपोड सूत्रों के लिए एक "रद्दीकरण-मुक्त" विकल्प प्रदान करता है, जो कॉम्बिनेटरियल हॉफ बीजगणकों के लिए महत्वपूर्ण है जहाँ पहचानों और गणनाओं के लिए स्पष्ट विस्तार आवश्यक होते हैं। पोस्ट-हॉफ बीजगणक ढांचे का उपयोग करके, लेखक उप-अधोवर्ती संरचना और ग्विन-ओडॉम समरूपता के उपचार को एकीकृत करते हैं।

यह कार्य कई क्षेत्रों को जोड़ता है:

पोस्ट-ली बीजगणक: यह ग्विन-ओडॉम निर्माण को स्पष्ट व्युत्क्रम सूत्रों प्रदान करने के लिए विस्तारित करता है।
कॉम्बिनेटरियल हॉफ बीजगणक: यह ग्रोसमैन-लारसन हॉफ बीजगणक के लिए एक नया दृष्टिकोण प्रदान करता है, जो इसे मुक्त पोस्ट-ली बीजगणक से जोड़ता है।
अनुप्रयोग: परिणामों को मैग्नस एक्सपेंशन (Magnus expansions), ली-बुचर सीरीज़ (Lie-Butcher series), रेगुलैरिटी स्ट्रक्चर्स, और प्लेनली ब्रांच्ड रफ पाथ्स (planarly branched rough paths) के अध्ययन के लिए प्रासंगिक माना गया है, जहाँ एंटीपोड और समरूपता के स्पष्ट कॉम्बिनेटरियल सूत्र आवश्यक उपकरण हैं।

लेखक विनम्रतापूर्वक कहते हैं कि प्राथमिक योगदान इन स्पष्ट सूत्रों और समरूपता के लिए बंद व्युत्क्रम का व्युत्पन्न करना है, जो औपचारिक पोस्ट-ली समूहों और पोस्ट-ली मैग्नस एक्सपेंशन पर भविष्य के कार्य के लिए एक आधार के रूप में कार्य करता है। शोध पत्र नए प्रायोगिक अनुप्रयोगों का प्रस्ताव नहीं करता है बल्कि गणितीय भौतिकी और संख्यात्मक विश्लेषण में ऐसे अनुप्रयोगों के लिए आवश्यक बीजगणकीय मशीनरी प्रदान करता है।

इसी तरह के और पेपर