🔢 mathematics

Cyclic-by-abelian counterexamples to the second and third Zassenhaus conjectures

यह शोध पत्र परिमित चक्रीय-बाय-एबेलियन (cyclic-by-abelian) समूहों के एक परिवार का निर्माण करता है जो दोनों ज़ैसेनहाउस अनुमानों (Zassenhaus conjectures) के लिए प्रतिउदाहरण प्रदान करते हैं, जिससे मार्गोलिस और डेल रियोओ द्वारा प्रस्तुत एक दीर्घकालिक समस्या का समाधान होता है।

मूल लेखक: Brecht Verbeken

प्रकाशित 2026-08-05

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

CC BY 4.0

मूल लेखक: Brecht Verbeken

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

द ग्रेट अल्जेब्रिक हाइस्ट: जब समूह लुका-छिपी खेलते हैं

कल्पना कीजिए कि आप एक मास्टर लॉकस्मिथ (ताला खोलने वाले विशेषज्ञ) हैं जो एक विशाल, जटिल तिजोरी के गुप्त ब्लूप्रिंट को समझने की कोशिश कर रहे हैं। गणित की दुनिया में, विशेष रूप से बीजगणित (algebra) नामक एक क्षेत्र में, इन "तिजोरियों" को समूह (groups) कहा जाता है। एक समूह केवल वस्तुओं (जैसे संख्याएँ, आकृतियाँ, या किसी खेल की चालें) का एक संग्रह है जो उन्हें संयोजित करने के विशिष्ट नियमों का पालन करते हैं। अब, गणितज्ञों ने इन समूहों को एक प्रकार के "कोड" में बदलने का एक तरीका खोजा जिसे इंटीग्रल ग्रुप रिंग (integral group ring) कहा जाता है। इस रिंग को एक विशाल, बहु-स्तरीय स्प्रेडशीट के रूप में सोचें जहाँ समूह की हर संभावित चाल को एक अद्वितीय संख्या के रूप में लिखा गया है।

दशकों तक, गणितज्ञों को एक पूर्वाग्रह था कि ये स्प्रेडशीट कैसे काम करती हैं। वे ज़ासेनहास अनुमानों (Zassenhaus Conjectures) नामक नियमों के एक सेट में विश्वास करते थे। दूसरा और तीसरा अनुमान एक वादे की तरह था: "यदि आप इस स्प्रेडशीट के भीतर छिपी हुई चाबियों का एक सेट (एक 'ग्रुप बेसिस') पाते हैं जो मूल समूह के बिल्कुल समान दिखता है, तो यह वही सेट होगा, बस एक साधारण रोटेशन (घूर्णन) द्वारा इधर-उधर बदला हुआ होगा।" दूसरे शब्दों में, यदि आप कोड के भीतर समूह की एक आदर्श प्रति बना सकते हैं, तो यह मूल चीज़ का एक "जुड़वां" होगा, जो देखने में बिल्कुल असली जैसा होगा यदि आप इसे सही गणितीय लेंस से देखें। यह एक सुखद विचार था, जो सुझाव देता था कि इन समूहों की संरचना कठोर और अटूट है। लेकिन उच्च-स्तरीय गणित की दुनिया में, "सुखद" होने का अक्सर अर्थ होता है "गलत साबित होने का इंतज़ार करना।"

पेपर की खोज: एक आदर्श वेशभूषा

इस शोध पत्र में, गणितज्ञ ब्रेच्ट वर्बेक (Brecht Verbeke) एक शानदार बीजगणितीय डकैती (algebraic heist) को अंजाम देते हैं। वह समूहों का एक विशिष्ट परिवार (मान लीजिए कि इन्हें Gr समूह कहा जाता है) निर्मित करते हैं और सिद्ध करते हैं कि वे वास्तव में उनके एक बहुत महत्वपूर्ण वर्ग के लिए ज़ासेनहास अनुमानों को गलत साबित करते हैं। वर्बेक केवल एक त्रुटि नहीं ढूंढते; वह एक "आदर्श वेशभूषा" का निर्माण करते हैं।

यहाँ यह चाल कैसे काम करती है: वर्बेक एक समूह, $G_r$ बनाते हैं, जो छोटे, घूमने वाले गियरों (चक्रीय समूहों/cyclic groups) से बनी एक जटिल मशीन है जो एक साथ काम करते हैं। फिर वह इस समूह के पूरे "स्प्रेडशीट" (इंटीग्रल ग्रुप रिंग) को पुनर्व्यवस्थित करने के लिए एक विशेष गणितीय उपकरण—एक ऑटोमोर्फिज्म (automorphism)—का उपयोग करते हैं। यह पुनर्व्यवस्था इतनी चतुर है कि यह चाबियों का एक नया सेट बनाती है, जिसे $Y_r$ कहा जाता है, जो इसी स्प्रेडशीट के भीतर स्थित है।

वर्बेक के निर्माण का जादू विवरणों में है:

परफेक्ट मिमिक (आदर्श नकल): यदि आप नए चाबियों के सेट ( $Y_r$ ) को एक-एक करके देखें, तो प्रत्येक चाबी मूल समूह ( $G_r$ ) की एक चाबी की तरह बिल्कुल सटीक दिखती है। यदि आप केवल एक चाबी उठाएंगे, तो आप कसम खा लेंगे कि यह मूल चाबी ही है।
ग्लोबल मिसमैच (वैश्विक बेमेल): हालाँकि, जब आप चाबियों के पूरे सेट को एक साथ देखते हैं, तो वे एक जैसे नहीं होते। यह ताश की एक ऐसी गड्डी की तरह है जहाँ हर कार्ड वास्तविक कार्ड की एक सटीक प्रति है, लेकिन गड्डी का क्रम इस तरह से बिगड़ा हुआ है जिसे पूरे डेक को घुमाकर ठीक नहीं किया जा सकता।
प्रमाण: वर्बेक सिद्ध करते हैं कि मूल समूह को इस नए सेट से मिलाने के लिए "रोटेट" करने का कोई भी तरीका नहीं है। नया सेट एक "नॉर्मलाइज्ड ग्रुप बेसिस" है जो मूल समूह के रेशनली कॉन्जुगेट (rationally conjugate) नहीं है।

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

"यूनिफॉर्म" ट्रिक और सबसे छोटा उदाहरण

जो इस पेपर को विशेष रूप से प्रभावशाली बनाता है, वह यह है कि वर्बेक ने केवल एक अजीब उदाहरण नहीं खोजा; उन्होंने उन्हें एक पूरा परिवार बनाया। उन्होंने गणितज्ञ हर्टविक (Hertweck) द्वारा खोजे गए एक पिछले उदाहरण को लिया और उसे सामान्यीकृत (generalize) किया। हर्टविक का मूल उदाहरण थोड़ा बोझिल था, लेकिन वर्बेक ने दिखाया कि आप मशीन के एक हिस्से (आकार 3 का एक छोटा गियर) को $r$ आकार के किसी भी गियर से बदल सकते हैं, बशर्ते $r$ का 2, 3, या 5 के साथ कोई साझा कारक न हो।

यह "यूनिफॉर्मिटी" (एकरूपता) इस पेपर का गुप्त सूत्र है। यह सिद्ध करता है कि बाधा (वह चीज़ जो समूहों को मिलने से रोकती है) गियर के विशिष्ट आकार पर निर्भर नहीं करती है; यह डिज़ाइन की एक मौलिक विशेषता है।

पेपर इस "इम्पोस्टर" (बहरूपिया) समूह का सबसे छोटा संभव संस्करण भी देता है। $r$ के लिए सबसे वैध संख्या (जो कि 7 है) चुनकर, वर्बेक 3360 के कुल आकार वाला एक समूह निर्मित करते हैं। इस समूह का एक "डेरिव्ड सबग्रुप" (मशीन का वह हिस्सा जो भारी काम करता है) 420 आकार का है।

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

यह पेपर केवल यह नहीं कहता कि "हमें एक काउंटर-एग्जांपल मिल गया।" यह कठोरता से सिद्ध करता है कि ज़ासेनहास अनुमान इन समूहों के इस पूरे वर्ग के लिए विफल हो जाते हैं। यह दिखाता है कि "सिमल्टेनियस" (एक साथ होने वाली) प्रकृति ही अनुमान की कमजोर कड़ी है: जबकि प्रत्येक व्यक्तिगत तत्व को मैच किया जा सकता है, पूरा समूह नहीं मिल सकता।

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

तकनीकी सारांश: द्वितीय और तृतीय ज़ैसेनहाज़ अनुमानों के लिए चक्रीय-द्वारा-एबेलियन प्रतिउदाहरण (Cyclic-by-Abelian Counterexamples)

समस्या विवरण
यह शोध पत्र परिमित चक्रीय-द्वारा-एबेलियन समूहों (cyclic-by-abelian groups) के वर्ग के भीतर द्वितीय और तृतीय ज़ैसेनहाज़ अनुमानों ((ZC2) और (ZC3)) की वैधता को संबोधित करता है।

(ZC2) यह दावा करता है कि पूर्णांक समूह वलय (integral group ring) $\mathbb{Z}G$ का प्रत्येक समूह आधार (group basis), $U(\mathbb{Q}G)$ के भीतर $G$ के संयुग्मी (conjugate) होता है।
(ZC3) यह दावा करता है कि सामान्यीकृत इकाई समूह (normalized unit group) $V(\mathbb{Z}G)$ का प्रत्येक परिमित उपसमूह $G$ के एक उपसमूह के संयुग्मी $U(\mathbb{Q}G)$ में होता है।

जबकि (ZC1) को हाल ही में ईसेल और मार्गोलिस द्वारा मेटाएबेलियन समूहों के लिए गलत सिद्ध किया गया था, और (ZC2)/(ZC3) को पूर्व में रोगेंकैम्प, स्कॉट, क्लिंगलर और हर्टवेक द्वारा सामान्य मेटाएबेलियन समूहों के लिए गलत सिद्ध किया गया था, चक्रीय-द्वारा-एबेलियन समूहों (जहाँ व्युत्पन्न उपसमूह $G'$ चक्रीय है) के लिए इन अनुमानों की स्थिति खुली हुई थी। मार्गोलिस और डे रियो ने स्पष्ट रूप से पूछा था कि क्या इस वर्ग के लिए (ZC3) सत्य है। यह शोध पत्र एक प्रतिउदाहरण का निर्माण करके इस प्रश्न को हल करने का लक्ष्य रखता है।

कार्यप्रणाली (Methodology)
निर्माण हर्टवेक के 2002 के प्रतिउदाहरण द्वारा स्थापित ढांचे का अनुसरण और विस्तार करता है। कार्यप्रणाली रिंग्स और ऑटोमोर्फिज्म के पुलबैक आरेख (pullback diagrams) का उपयोग करते हुए एक समान पूर्णांक ग्लूइंग (uniform integral gluing) तर्क पर निर्भर करती है।

समूह निर्माण:
लेखक समूहों का एक परिवार $G_r = (M \times N \times Q) \rtimes W$ परिभाषित करता है, जहाँ:

$M \cong C_5$ , $N \cong C_3$ , और $Q \cong C_r$ (जहाँ $\gcd(r, 30)=1$ )।
$W = C_8 \rtimes (C_2 \times C_2)$ एक विशिष्ट समूह है जिसका क्रम 32 है, जो अभिलंब उपसमूह (normal subgroup) $F = M \times N \times Q$ पर विकर्णीय (diagonally) रूप से कार्य करता है।
हर्टवेक के मूल उदाहरण के विपरीत, जहाँ $Q \cong C_3$ था (जिससे $N \times Q \cong C_3^2$ बना और व्युत्पन्न उपसमूह गैर-चक्रीय रहा), $Q \cong C_r$ (जहाँ $\gcd(r, 30)=1$ ) का चयन यह सुनिश्चित करता है कि व्युत्पन्न उपसमूह $G'_r \cong C_{60r}$ चक्रीय है, जो चक्रीय-द्वारा-एबेलियन की स्थिति को संतुष्ट करता है।

ऑटोमोर्फिज्म निर्माण:
निर्माण का मुख्य भाग एक ऑगमेंटेशन-संरक्षण (augmentation-preserving) ऑटोमोर्फिज्म $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$ है। इसे "डबल-कोशिएंट पुलबैक" रणनीति के माध्यम से बनाया गया है:

कोशिएंट्स (Quotients): रिंग $\mathbb{Z}G$ को $G_3 = G/M$ और $G_5 = G/N$ वाले कोशिएंट्स के पुलबैक के माध्यम से विघटित किया जाता है।
स्थानीय ऑटोमोर्फिज्म (Local Automorphisms):
- $H = G/MN \cong Q \rtimes W$ पर एक बाहरी ऑटोमोर्फिज्म $\sigma$ को परिभाषित किया गया है (एक जनरेटर $c$ को $zc$ के साथ बदलना)।
- बड़े कोशिएंट्स $G_3$ और $G_5$ पर, शोध पत्र सिद्ध करता है कि सभी क्लास-प्रिजर्विंग ऑटोमोर्फिज्म आंतरिक (inner) हैं (प्रस्ताव 3.5)।
ग्लूइंग (Gluing): लेखक कोशिएंट्स के पूर्णांक वलयों ( $\mathbb{Z}G_3$ $Z G_{3}$ और $\mathbb{Z}G_5$ $Z G_{5}$ ) पर ऐसे ऑटोमोर्फिज्म का निर्माण करते हैं जो विशिष्ट संगति (congruences) के अधीन एक सामान्य कोशिएंट $\mathbb{Z}H$ $Z H$ पर सहमत होते हैं। इसमें शामिल हैं:
- $m, n$ से प्राप्त साइक्लोटोमिक इकाइयों और साइन ऑटोमोर्फिज्म ( $\varepsilon_u, \varepsilon_v$ ) का उपयोग करना।
- एक विशिष्ट पूर्णांक इकाई $\nu$ का निर्माण करना और 3 और 5 के मॉड्यूल में सीमा संगतियों (boundary congruences) को संतुष्ट करने के लिए एक इकाई $t$ का उपयोग करना।
- यह सुनिश्चित करना कि "पूर्णांक ग्लूइंग" $Q$ के क्रम से स्वतंत्र है (प्रस्ताव 6.3)।

अवरोध विश्लेषण (Obstruction Analysis):
यह दिखाया गया है कि निर्मित ऑटोमोर्फिज्म $\alpha_r$ का कोई ज़ैसेनहाज़ गुणनखंड (Zassenhaus factorization) नहीं है (अर्थात, इसे एक सेंट्रल ऑटोमोर्फिज्म और एक समूह ऑटोमोर्फिज्म के संयोजन के रूप में नहीं लिखा जा सकता है)। यह प्रदर्शित करके कि यदि ऐसा गुणनखंड मौजूद होता, तो यह कोशिएंट $H$ पर एक आंतरिक ऑटोमोर्फिज्म को प्रेरित करता, जो इस तथ्य का खंडन करता है कि प्रेरित मानचित्र $\sigma_H$ एक बाहरी (outer) मानचित्र है।

मुख्य परिणाम

प्रमेय 1.1: किसी भी $r > 1$ $r > 1$ के लिए, जहाँ $\gcd(r, 30)=1$ $g cd (r, 30) = 1$ , एक परिमित चक्रीय-द्वारा-एबेलियन समूह $G_r$ $G_{r}$ और एक ऑटोमोर्फिज्म $\alpha_r \in \text{Aut}(\mathbb{Z}G_r)$ $α_{r} \in Aut (Z G_{r})$ मौजूद है, ताकि:
1. $|G_r| = 480r$ और $G'_r \cong C_{60r}$ ।
2. $\alpha_r$ का कोई ज़ैसेनहाज़ गुणनखंड नहीं है।
3. छवि $Y_r = \alpha_r(G_r)$ $\mathbb{Z}G_r$ का एक सामान्यीकृत समूह आधार है जो $U(\mathbb{Q}G_r)$ में $G_r$ के संयुग्मी के रूप में नहीं है।
उपप्रमेय 1.2: जबकि $Y_r$ एक साथ $G_r$ के संयुग्मी नहीं है, प्रत्येक व्यक्तिगत तत्व $y \in Y_r$ किसी तत्व $g \in G_r$ के संयुग्मी के रूप में परिमेय रूप से (rationally) संयुग्मी है।
सबसे छोटा उदाहरण: इस परिवार का सबसे छोटा सदस्य $r=7$ पर होता है, जिससे 3360 का क्रम वाला समूह और $C_{420}$ का व्युत्पन्न उपसमूह प्राप्त होता है।

महत्व और दावे
शोध पत्र चक्रीय-द्वारा-एबेलियन समूहों के लिए (ZC2) और (ZC3) की वैधता के संबंध में मार्गोलिस और डे रियो द्वारा पूछे गए एक विशिष्ट खुले प्रश्न को हल करने का दावा करता है।

नकारात्मक समाधान: यह स्थापित करता है कि परिमित चक्रीय-द्वारा-एबेलियन समूहों के वर्ग के लिए (ZC2) और (ZC3) विफल होते हैं।
संरचनात्मक अंतर: प्रतिउदाहरण यह उजागर करते हैं कि बिंदुवार परिमेय संयुग्मन (जो इन समूहों में व्यक्तिगत टोरशन इकाइयों के लिए सत्य है, जैसा कि कैसेडो, मार्गोलिस और डे रियो द्वारा कहा गया है) और संपूर्ण समूह आधार के एक साथ परिमेय संयुजन के बीच क्या अंतर है।
एकरूपता (Uniformity): यह निर्माण हर्टवेक के उदाहरण का विस्तार करता है। शोध पत्र इस बात पर जोर देता है कि क्लास-प्रिजर्विंग अवरोध और पूर्णांक ग्लूइंग तंत्र, $Q$ के क्रम से स्वतंत्र है, बशर्ते कि सह-विभाज्यता (coprimality) की स्थिति पूरी हो। यह केवल एक अलग मामले के बजाय प्रतिउदाहरणों के एक परिवार की अनुमति देता है।

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

द ग्रेट अल्जेब्रिक हाइस्ट: जब समूह लुका-छिपी खेलते हैं

पेपर की खोज: एक आदर्श वेशभूषा

"यूनिफॉर्म" ट्रिक और सबसे छोटा उदाहरण

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

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