🔢 mathematics

Sylvester domains and pro- $p$ groups

यह शोध पत्र यह स्थापित करता है कि एक परिमित रूप से जनित टॉर्शन-फ्री प्रो- $p$ समूह, जिसमें एक ओपन फ्री-बाय- $\mathbb{Z}_p$ उपसमूह होता है, का पूर्ण समूह बीजगणित (completed group algebra) एक सिल्वेस्टर डोमेन है, और यह प्रदर्शित करता है कि इस बीजगणित पर आव्यूहों (matrices) का आंतरिक रैंक (inner rank), परिमित कोटियों (finite quotients) पर सामान्यीकृत रैंक की सीमा के रूप में संगणना किया जा सकता है, जिससे यह मॉड $p$ ल्यूक सन्निकटन (mod $p$ Lück approximation) का एक विशिष्ट उदाहरण प्रदान करता है।

मूल लेखक: Andrei Jaikin-Zapirain, Henrique Souza

प्रकाशित 2026-02-24

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

CC BY 4.0

मूल लेखक: Andrei Jaikin-Zapirain, Henrique Souza

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

एक व्यापक दृष्टिकोण: अपरिमेय को मापना

कल्पना कीजिए कि आप एक जटिल वस्तु, जैसे कि ऊन के एक उलझे हुए गोले का "आकार" या "रैंक" मापने की कोशिश कर रहे हैं। मानक गणित (जैसे नियमित संख्याओं के साथ) में, यह आसान है: आप आयामों (dimensions) को गिनते हैं। लेकिन Pro-p समूहों (एक विशिष्ट प्रकार के अनंत, अमूर्त गणितीय ढांचे) की दुनिया में, चीजें जटिल हो जाती हैं। ये समूह ऐसे अनंत, फ्रैक्टल जैसी जालों की तरह हैं जो कभी समाप्त नहीं होते।

लेखक, एंड्री जैकिन-ज़ापिरैन और हेनरिक सोउज़ा, एक पहेली को सुलझाने की कोशिश कर रहे हैं: हम मैट्रिसेस (संख्याओं के ग्रिड) के "आकार" को कैसे सटीक रूप से माप सकते हैं जब वे संख्याएँ इन अनंत, उलझे हुए जालों से आती हैं?

वे सिद्ध करते हैं कि इन जालों के एक विशिष्ट, महत्वपूर्ण वर्ग के लिए, हम उन्हें पूरी तरह से माप सकते हैं। इसके अलावा, वे दिखाते हैं कि हम अनंत जाल के आकार का पता उसके छोटे, परिमित (finite) टुकड़ों को देखकर और उनका औसत निकालकर लगा सकते हैं।

पात्रों का परिचय

पेपर को समझने के लिए, आइए मुख्य पात्रों से मिलें:

Pro-p समूह ( $G$ ): इसे एक विशाल, अनंत शहर के रूप में सोचें। यह इतना बड़ा और जटिल है कि आप एक बार में पूरा दृश्य नहीं देख सकते। हालाँकि, इसमें एक विशेष गुण है: यदि आप एक विशिष्ट पड़ोस (एक "ओपन सबग्रुप") पर ज़ूम करते हैं, तो वह पड़ोस एक Free-by- $\mathbb{Z}_p$ समूह की तरह दिखता है।
- उपमा: एक ऐसे शहर की कल्पना करें जहाँ हर मोहल्ला एक ग्रिड (फ्री ग्रुप) पर बना है, लेकिन उसमें एक मुख्य राजमार्ग है जो सब कुछ एक लूप में जोड़ता है ( $\mathbb{Z}_p$ )। लेखक उन शहरों पर ध्यान केंद्रित करते हैं जिनमें ये विशिष्ट पड़ोस शामिल हैं।
पूर्ण समूह बीजगणित (Completed Group Algebra - $F_p[[G]]$ ): यह उस शहर का वर्णन करने के लिए उपयोग किया जाने वाला भाषा या टूलबॉक्स है। यह उन सभी संभावित "वाक्यों" का संग्रह है जिन्हें आप शहर के नियमों का उपयोग करके लिख सकते हैं।
- समस्या: कभी-कभी, इस भाषा में, आप दो गैर-शून्य वाक्यों को गुणा कर सकते हैं और परिणाम शून्य प्राप्त कर सकते हैं (जैसे कहना "नमस्ते" $\times$ "अलविदा" = "सन्नाटा")। इसे "जीरो डिवीज़र" (zero divisor) कहा जाता है, और यह मानक अंकगणित के नियमों को तोड़ देता है, जिससे मापन असंभव हो जाता है।
सिल्वेस्टर डोमेन (Sylvester Domains): यह गणितीय भाषाओं का स्वर्ण मानक है। एक भाषा "सिल्वेस्टर डोमेन" तब होती है जब उसमें कोई "जीरो डिवीज़र" न हो और, सबसे महत्वपूर्ण बात यह है कि, आप उस भाषा के प्रत्येक मैट्रिक्स को एक सटीक, सुसंगत "आकार" (रैंक) दे सकें।
- लक्ष्य: लेखक यह सिद्ध करना चाहते हैं कि उनके विशिष्ट अनंत शहरों की भाषा एक सिल्वेस्टर डोमेन है।

मुख्य खोज: "अनुमान" (Approximation) की तकनीक

पेपर की सबसे बड़ी सफलता दो चीजें सिद्ध करना है:

भाषा स्वच्छ है: इन विशिष्ट अनंत शहरों के लिए, भाषा ( $F_p[[G]]$ ) एक सिल्वेस्टर डोमेन है। इसका मतलब है कि इसमें कोई "जीरो डिवीज़र" (कोई आकस्मिक सन्नाटा) नहीं है, और हम अपने मापन पर भरोसा कर सकते हैं।
"ल्यूक एप्रोक्सिमेशन" (Lück Approximation): यह सबसे व्यावहारिक हिस्सा है। लेखक दिखाते हैं कि आपको अनंत शहर को सीधे मापने की आवश्यकता नहीं है। इसके बजाय, आप:
- शहर का एक कम रिज़ॉल्यूशन वाला स्नैपशॉट लें (एक परिमित कोश/quotient)।
- उस स्नैपशॉट में अपने ऑब्जेक्ट का आकार मापें।
- एक उच्च रिज़ॉल्यूशन वाला स्नैपशॉट लें।
- फिर से मापें।
- जादू: जैसे-जैसे आप ज़ूम इन करते जाते हैं (उच्च रिज़ॉल्यूशन प्राप्त करते हैं), आपके माप स्थिर हो जाएंगे और अनंत शहर में आपके ऑब्जेक्ट के सटीक आकार पर अभिसरित (converge) होंगे।

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

उन्होंने यह कैसे किया (यात्रा)

यह प्रमाण एक घाटी के पार पुल बनाने जैसा है:

नींव (Skew Power Series): उन्होंने महसूस किया कि इन समूहों की भाषा को एक "स्क्यू पावर सीरीज़ रिंग" के रूप में फिर से लिखा जा सकता है।
- रूपक: इसे एक जटिल, गांठदार रस्सी को यह समझने के रूप में देखें कि वह वास्तव में केवल एक लंबी, सीधी स्ट्रिंग है जिसमें गांठों के उलझने का एक विशेष नियम है। यह इसे संभालने में बहुत आसान बनाता है।
एम्बेडिंग (The Universal Key): उन्होंने एक "यूनिवर्सल डिवीजन रिंग" (आइए इसे द बिग पूल कहें) का निर्माण किया।
- उन्होंने दिखाया कि आप समूह की पूरी भाषा को बिना एक भी बूंद गिराए इस "बिग पूल" में डाल सकते हैं।
- इस "बिग पूल" में, प्रत्येक गैर-शून्य संख्या का व्युत्क्रम (inverse) होता है (आप हमेशा भाग दे सकते हैं)। इससे मापन आसान हो जाता है क्योंकि नियम पूर्ण होते हैं।
होमोलॉजिकल चेक (The Homological Check): उन्हें यह सिद्ध करना था कि समूह का "आकार" (कोहोमोलॉजिकल डायमेंशन) पर्याप्त सरल (विशेष रूप से डायमेंशन 2) था ताकि पुल ढह न जाए। उन्होंने यह सुनिश्चित करने के लिए कि संरचना स्थिर है, बीजगणितीय टोपोलॉजी (algebraic topology) के उन्नत उपकरणों का उपयोग किया।
अंतिम गणना: एक बार पुल बन जाने के बाद, उन्होंने सिद्ध किया कि "इनर रैंक" (मैट्रिक्स का सैद्धांतिक न्यूनतम आकार) "सिल्वेस्टर रैंक" (बिग पूल में मापा गया वास्तविक आकार) के बराबर है। इसने पुष्टि की कि अनुमान लगाने की विधि पूरी तरह से काम करती है।

यह क्यों मायने रखता है?

पुराने रहस्यों को सुलझाना: यह इन समूहों के लिए एटिएह अनुमान (Atiyah Conjecture) के एक विशिष्ट संस्करण को सिद्ध करता है। यह अनुमान लगाता है कि कुछ गणितीय माप (रैंक) को पूर्णांक (whole numbers) होना चाहिए। लेखकों ने सिद्ध किया कि इन समूहों के लिए, माप वास्तव में हमेशा पूर्णांक ही होते हैं।
दुनियाओं को जोड़ना: यह "अमूर्त समूहों" (डिस्क्रीट मैथ) को "Pro-p समूहों" (निरंतर, टोपोलॉजिकल मैथ) से जोड़ता है। यह दिखाता है कि एक के लिए उपयोग की जाने वाली तकनीक अक्सर दूसरे के लिए भी काम करती है, भले ही उनके प्रमाण अलग दिखते हों।
व्यावहारिक गणित: यह गणितज्ञों को उनके अनंत ढांचों के गुणों की गणना करने के लिए एक विश्वसनीय तरीका देता है, बस परिमित कंप्यूटरों पर संख्याओं की गणना करके।

एक वाक्य में सारांश

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

यहाँ एंड्रेई जैकिन-ज़ापिरैन और हेनरिक सूज़ा के शोध पत्र "Sylvester Domains and Pro-p Groups" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक परिमित रूप से जनरेटेड (finitely generated), टॉशन-फ्री (torsion-free) प्रो- $p$ समूह $G$ के पूर्ण समूह बीजगणित (completed group algebra) $F_p[[G]]$ के संरचनात्मक गुणों की जांच करता है। विशेष रूप से, लेखक इस बात की जांच कर रहे हैं कि किन परिस्थितियों में $F_p[[G]]$ एक सिल्वेस्टर डोमेन (Sylvester domain) होता है।

एक रिंग $R$ सिल्वेस्टर डोमेन कहलाता है यदि उसका इनर रैंक (inner rank) फलन $\text{irk}_R$ , सिल्वेस्टर मैट्रिक्स रैंक फलन के अभिलेखों (axioms) का पालन करता है। यह गुण महत्वपूर्ण है क्योंकि:

यह एक यूनिवर्सल डिवीजन रिंग ऑफ फ्रैक्शंस (universal division ring of fractions) $D_R$ के अस्तित्व को दर्शाता है जिसमें $R$ समाहित (embed) होता है।
$R$ पर किसी भी मैट्रिक्स $A$ के लिए, उसका रैंक $D_R$ पर $\text{irk}_R(A)$ के बराबर होता है।
यह प्रो- $p$ एतिया अनुमान (pro- $p$ Atiyah conjecture) से संबंधित है, जो भविष्यवाणी करता है कि वॉन न्यूमैन सिल्वेस्टर रैंक फलन $\text{rk}_G$ , $p^{-n}\mathbb{Z}$ (या यदि $G$ टॉशन-फ्री है तो $\mathbb{Z}$ ) में मान लेता है।

मुख्य प्रश्न यह है: किन प्रो- $p$ समूहों $G$ के लिए $F_p[[G]]$ एक सिल्वेस्टर डोमेन है, और क्या इनर रैंक, वॉन न्यूमैन रैंक $\text{rk}_G$ के बराबर है?

लेखक फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ समूहों (ऐसे समूह $G$ जिनमें एक ओपन नॉर्मल सबग्रुप $N$ है जो फ्री प्रो- $p$ है और $G/N \cong \mathbb{Z}_p$ ) और उनके वर्चुअली फ्री-बाय- $\mathbb{Z}_p$ समकक्षों पर ध्यान केंद्रित करते हैं।

2. कार्यप्रणाली (Methodology)

लेखक कॉम्बिनेटरियल ग्रुप थ्योरी, होमोलॉजिकल अल्जेब्रा और नॉन-कम्यूटेटिव रिंग थ्योरी के संयोजन का उपयोग करते हैं। उनका दृष्टिकोण कई प्रमुख पद्धतिगत चरणों में शामिल है:

स्क्यू पावर सीरीज़ डिकंपोज़िशन (Skew Power Series Decomposition):
एब्स्ट्रैक्ट फ्री-बाय-साइक्लिक समूहों के विपरीत जहाँ समूह बीजगणित एक क्रॉस प्रोडक्ट $K[N] * \mathbb{Z}$ होता है, प्रो- $p$ मामले में ऐसा डिकंपोज़िशन उपलब्ध नहीं होता है। इसके बजाय, लेखक $F_p[[G]]$ (जहाँ $G$ एक फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ समूह है और कर्नेल $N$ है) को एक स्क्यू पावर सीरीज़ रिंग के रूप में प्रस्तुत करते हैं:
$F_p[[G]] \cong F_p[[N]][[s; \sigma, \delta]]$
यहाँ, $\sigma$ एक कंजुगेशन ऑटोमोर्फिज्म (conjugation automorphism) है जो $G/N$ के एक जनरेटर द्वारा प्रेरित है, और $\delta = \sigma - \text{id}$ एक डेरिवेशन (derivation) है। वे सिद्ध करते हैं कि $\delta$ टोपोलॉजिकली निपोटेंट (topologically nilpotent) है, जो इस रिंग में गुणन (multiplication) के अभिसरण (convergence) को सुनिश्चित करता है।
माइल्ड फ्लैग प्रेजेंटेशन (Mild Flag Presentations):
$F_p[[N]]$ की संरचना को संभालने के लिए, लेखक माइल्ड प्रो- $p$ समूहों की अवधारणा का उपयोग करते हैं। वे दिखाते हैं कि प्रत्येक फाइनाइटली जनरेटेड फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ समूह का एक "माइल्ड फ्लैग प्रेजेंटेशन" होता है। यह उन्हें संबद्ध ग्रैडेड रिंग $\text{Gr}(F_p[[G]])$ का विश्लेषण करने की अनुमति देता है, यह सिद्ध करते हुए कि यह एक फ्री अल्जेब्रा पर स्क्यू पॉलिनोम रिंग है, जो कि एक डोमेन है।
डिवीजन रिंग में एम्बेडिंग (Embedding into a Division Ring):
प्रमाण का मुख्य भाग एक एम्बेडिंग श्रृंखला का निर्माण करना है:
$F_p[[G]] \hookrightarrow \Lambda[[t]][[s; \sigma, \delta]] \hookrightarrow D[[t]][[s; \sigma, \delta]] \hookrightarrow Q$
जहाँ:
- $\Lambda$ एक फ्री एसोसिएटिव अल्जेब्रा है।
- $D$ , $\Lambda$ की यूनिवर्सल डिवीजन रिंग ऑफ फ्रैक्शंस है।
- $Q$ , नोथेरियन डोमेन $D[[t]][[s; \sigma, \delta]]$ का क्लासिकल रिंग ऑफ फ्रैक्शंस (Ore localization) है।
  यह स्थापित करता है कि $F_p[[G]]$ एक डिवीजन रिंग $Q$ में समाहित (embed) होता है।
होमोलॉजिकल मानदंड (Theorem 2.8):
$F_p[[G]]$ को सिल्वेस्टर डोमेन सिद्ध करने के लिए, लेखक अपने पिछले कार्य ([JZ20]) से एक होमोलॉजिकल मानदंड लागू करते हैं। उन्हें एम्बेडिंग $F_p[[G]] \to Q$ के लिए दो शर्तों को सत्यापित करना होगा:
1. $\text{Tor}_1^{F_p[[G]]}(Q, Q) = 0$ ।
2. $Q$ का प्रत्येक फाइनाइटली जनरेटेड सबमॉड्यूल फ्री है (या विशिष्ट प्रोजेक्टिव डायमेंशन गुण रखता है)।
  वे संबद्ध ग्रैडेड रिंग्स पर टोर (Tor) समूहों के शून्य होने का उपयोग करके और फिल्टर्ड मॉड्यूल्स का विश्लेषण करके इसे प्राप्त करते हैं।
रैंक एप्रोक्सिमेशन (Rank Approximation):
यह सिद्ध करने के लिए कि $\text{irk}_{F_p[[G]]} = \text{rk}_G$ , वे डिवीजन रिंग $Q$ पर एक वैल्युएशन $w$ का उपयोग करते हैं। वे दिखाते हैं कि एम्बेडिंग से प्रेरित रैंक फलन वॉन न्यूमैन रैंक द्वारा सीमित है, और वैल्युएशन रिंग पर मॉड्यूल्स की लंबाई का विश्लेषण करके, वे समानता स्थापित करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

मुख्य प्रमेय (Theorem 1.1)

माना $G$ एक फाइनाइटली जनरेटेड, टॉशन-फ्री प्रो- $p$ समूह है जिसमें एक ओपन फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ सबग्रुप शामिल है। तब:

$F_p[[G]]$ एक सिल्वेस्टर डोमेन है।
इनर रैंक, वॉन न्यूमैन रैंक के बराबर है: $\text{irk}_{F_p[[G]]} = \text{rk}_G$ ।

कोरोलरी 1.2 (प्रो- $p$ एतिया अनुमान)

उसी शर्तों के तहत जो प्रमेय 1.1 में दी गई हैं, रैंक फलन $\text{rk}_G$ केवल पूर्णांक मान (integer values) लेता है। यह प्रो- $p$ एतिया अनुमान के लिए नए मामले प्रदान करता है, जो रेसिडुअली- $p$ -एडिक एनालिटिक समूहों से परे विस्तार करता है।

संरचनात्मक लक्षण वर्णन (Structural Characterization)

कमेंसुरैबिलिटी इनवेरिएंस (Commensurability Invariance): $F_p[[G]]$ का सिल्वेस्टर डोमेन होना (और रैंकों की समानता) एक कमेंसुरैबिलिटी इनवेरिएंट है। यदि यह एक ओपन सबग्रुप के लिए सत्य है, तो यह पूरे समूह के लिए सत्य है।
कोहोमोलॉजिकल डायमेंशन (Cohomological Dimension): यदि $F_p[[G]]$ एक सिल्वेस्टर डोमेन है, तो $G$ का कोहोमोलॉजिकल डायमेंशन $\le 2$ है।
$p$ -एडिक एनालिटिक समूह ( $p$ -adic Analytic Groups): लेखक उन $p$ -एडिक एनालिटिक समूहों का लक्षण वर्णन करते हैं जिनके लिए $F_p[[G]]$ एक सिल्वेस्टर डोमेन है: वे ठीक वही हैं जो $\mathbb{Z}_p$ या $\mathbb{Z}_p \rtimes \mathbb{Z}_p$ के आइसोमोर्फिक हैं।

लक एप्रोक्सिमेशन (Lück Approximation - Section 8)

यह शोध पत्र फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ समूहों के एब्स्ट्रैक्ट फाइनाइटली जनरेटेड सबग्रुप्स $\Gamma$ पर इन परिणामों को लागू करता है। वे धनात्मक विशेषता ( $p$ ) में लक्स एप्रोक्सिमेशन अनुमान (Lück approximation conjecture) का एक विशिष्ट मामला सिद्ध करते हैं:
$\lim_{i \to \infty} \text{rk}_{\Gamma/H_i}(A) = \text{rk}_{F_p[\Gamma]}(A)$
जहाँ $H_i$ फाइनाइट इंडेक्स नॉर्मल सबग्रुप्स की एक श्रृंखला है। यह पुष्टि करता है कि एब्स्ट्रैक्ट ग्रुप अल्जेब्रा पर मैट्रिसेस का रैंक, फाइनाइट कोटिएंट्स पर रैंक द्वारा अनुमानित किया जा सकता है।

4. महत्व (Significance)

एक प्रमुख अनुमान का समाधान: यह शोध पत्र (विशेष रूप से पूर्णांक रैंक के लिए) अनंत डेमुश्किन समूहों (infinite Demushkin groups) सहित प्रो- $p$ समूहों के एक व्यापक और महत्वपूर्ण वर्ग (वर्चुअली फ्री-बाय- $\mathbb{Z}_p$ ) के लिए प्रो- $p$ एतिया अनुमान की पुष्टि करता है।
एब्स्ट्रैक्ट और प्रो- $p$ थ्योरी को जोड़ना: यह प्रदर्शित करता है कि हालांकि कॉम्बिनेटरियल प्रो- $p$ ग्रुप थ्योरी में प्रमाण अक्सर उनके एब्स्ट्रैक्ट समकक्षों से भिन्न होते हैं (जैसे क्रॉस प्रोडक्ट डिकंपोज़िशन का अभाव), परिणामी संरचनात्मक गुण (सिल्वेस्टर डोमेन स्टेटस) समान या यहाँ तक कि अधिक मजबूत हो सकते हैं।
नॉन-कम्यूटेटिव रिंग्स के लिए नए उपकरण: स्क्यू पावर सीरीज़ रिंग्स के माध्यम से डिवीजन रिंग $Q$ में एम्बेडिंग का निर्माण और "माइल्ड फ्लैग प्रेजेंटेशन" का उपयोग अधिक जटिल प्रो- $p$ समूहों के पूर्ण समूह बीजगणित के अध्ययन के लिए एक मजबूत ढांचा प्रदान करता है।
धनात्मक विशेषता में लक्स एप्रोक्सिमेशन: इस कार्य से पहले, धनात्मक विशेषता में लक्स एप्रोक्सिमेशन मुख्य रूप से अमेय (amenable) समूहों के बाहर अज्ञात था। यह परिणाम गैर-अमेय, वर्चुअली फ्री-बाय- $\mathbb{Z}_p$ समूहों तक एप्रोक्सिमेशन की वैधता का विस्तार करता है, जो क्षेत्र में एक महत्वपूर्ण प्रगति है।

5. निष्कर्ष (Conclusion)

जैकिन-ज़ापिरैन और सूज़ा ने सफलतापूर्वक स्थापित किया है कि वर्चुअली फ्री-बाय- $\mathbb{Z}_p$ प्रो- $p$ समूहों के पूर्ण समूह बीजगणित सिल्वेस्टर डोमेन हैं। एक यूनिवर्सल डिवीजन रिंग ऑफ फ्रैक्शंस का निर्माण करके और इनर एवं वॉन न्यूमैन रैंकों की समानता को सिद्ध करके, वे इन समूहों के लिए प्रो- $p$ एतिया अनुमान को मान्य करते हैं और फाइनाइट एप्रोक्सिमेशन के माध्यम से रैंक की गणना के लिए एक शक्तिशाली उपकरण प्रदान करते हैं। यह कार्य प्रो- $p$ समूहों और उनके निरूपण (representations) की बीजगणितीय संरचना की समझ को गहरा करता है।