2025-11-12T13:13:10.450673

Loops with involution and the Cayley-Dickson doubling process

Chapman, Levin, Vishne et al.

We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.

academic

आवर्तन के साथ लूप्स और Cayley-Dickson द्विगुणन प्रक्रिया

मूल जानकारी

पेपर ID: 2501.00123
शीर्षक: Loops with involution and the Cayley-Dickson doubling process
लेखक: Adam Chapman, Ilan Levin, Uzi Vishne, Marco Zaninelli
वर्गीकरण: math.CO (संयोजन गणित), math.RA (वलय और बीजगणित)
प्रकाशन समय: 30 दिसंबर 2024 को arXiv पर प्रस्तुत
पेपर लिंक: https://arxiv.org/abs/2501.00123

सारांश

यह पेपर आवर्तन के साथ लूप्स (loops with involution) के सिद्धांत को विकसित करता है। इसके आधार पर, लेखकों ने लूप्स पर Cayley-Dickson द्विगुणन प्रक्रिया को परिभाषित किया है और इसका उपयोग आवर्तन के साथ लूप्स की विविधताओं की जाली का अध्ययन करने के लिए किया है, विशेष रूप से Cayley-Dickson द्विगुणन में संरक्षित गुणों पर ध्यान केंद्रित करते हुए। प्राथमिक एबेलियन 2-समूह भागफल वाले केंद्रीय विस्तार एबेलियन लूप्स का विशेष अध्ययन किया गया है, और पुनरावृत्त Cayley-Dickson द्विगुणन के स्वतः समरूपता समूह को चिह्नित करने वाली शर्तें खोजी गई हैं। मुख्य परिणाम $n>3$ के लिए Cayley-Dickson लूप्स $Q_n$ के स्वतः समरूपता समूह $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$ के लिए एक सुधारी गई प्रमाण प्रदान करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

ऐतिहासिक पृष्ठभूमि

गैर-क्रमविनिमेय बीजगणित और गैर-सहयोगी बीजगणित का जन्म 1843 में हुआ था, दो महीने के अंतराल पर, जब Hamilton और Graves ने क्रमशः चतुष्कोण और अष्टकोण की खोज की थी। Hamilton द्वारा आविष्कृत आयाम को द्विगुणित करने की प्रक्रिया को बार-बार लागू किया जा सकता है, जिससे आयाम $2^n$ के सरल गैर-सहयोगी बीजगणितों का अनुक्रम उत्पन्न होता है।

समस्या की प्रेरणा

बीजगणितीय संरचना समस्या: Cayley-Dickson बीजगणितों के उच्च क्रम के मामलों में, $A_3$ को $A_4$ में विशेषता क्यों है, जबकि $A_2$ को $A_3$ में विशेषता नहीं है?
लूप सिद्धांत पत्राचार: इस समस्या का लूप सिद्धांत में पत्राचार खोजना, शास्त्रीय Cayley-Dickson बीजगणितों $A_n$ के मानक आधार तत्वों और उनके नकारात्मक से बने लूप्स $Q_n$ का अध्ययन करना।
प्रमाण सुधार: साहित्य 16 में $\text{Aut}(Q_n) = \text{Aut}(Q_{n-1}) \times \{\pm 1\}$ के बारे में प्रमाण में त्रुटिपूर्ण दावे हैं, सही प्रमाण प्रदान करने की आवश्यकता है।
सामान्यीकृत समझ: पुनरावृत्त Cayley-Dickson द्विगुणन के स्वतः समरूपता समूह की गणना के लिए अधिक सामान्य ढांचे की खोज करना।

मुख्य योगदान

आवर्तन के साथ लूप्स का मूल सिद्धांत स्थापित करना: आवर्तन के साथ लूप्स का व्यवस्थित सिद्धांत विकसित किया, केंद्रीय आवर्तन और सामान्य आवर्तन जैसे विशेष प्रकारों को परिभाषित किया।
लूप्स पर Cayley-Dickson द्विगुणन को परिभाषित करना: शास्त्रीय Cayley-Dickson निर्माण को किसी भी आवर्तन के साथ लूप्स तक सामान्यीकृत किया।
विविधताओं की जाली संरचना का अध्ययन: आवर्तन के साथ लूप्स की विविधताओं की जाली का अध्ययन करने के लिए "व्युत्पन्न" की अवधारणा को प्रस्तुत किया, द्विगुणन प्रक्रिया में बंद "पूर्ण" विविधताओं को खोजा।
Moufang द्विगुणन शर्तों को चिह्नित करना: उन शर्तों को निर्धारित किया जो Cayley-Dickson द्विगुणन को Moufang लूप्स बनाती हैं।
स्वतः समरूपता समूह गणना को सुधारना: $\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$ ( $n>3$ के लिए) का सही प्रमाण प्रदान किया।
स्वतः समरूपता समूह सिद्धांत को सामान्यीकृत करना: विशिष्ट शर्तों के तहत पुनरावृत्त द्विगुणन के स्वतः समरूपता समूह को चिह्नित करने के लिए एक सामान्य ढांचा स्थापित किया।

विधि विवरण

मूल अवधारणा परिभाषाएं

लूप्स की मूल संरचना

लूप $L$ एक द्विआधारी संक्रिया वाला समुच्चय है, जिसमें एक इकाई तत्व मौजूद है, और किसी भी तत्व का बाएं और दाएं गुणन व्युत्क्रमणीय है। नाभिक $N(L)$ , क्रमविनिमेय केंद्र $K(L)$ और केंद्र $Z(L) = K(L) \cap N(L)$ महत्वपूर्ण उप-संरचनाएं हैं।

आवर्तन का वर्गीकरण

यह पेपर दो विशेष आवर्तन वर्गों को परिभाषित करता है:

केंद्रीय आवर्तन: आवर्तन $*$ केंद्रीय है, यदि प्रत्येक $a \in L$ के लिए $\mu(a) \in Z(L)$ मौजूद है जैसे कि $a^* = \mu(a)a$ ।
सामान्य आवर्तन: आवर्तन $*$ सामान्य है, यदि $\nu(x) = x^*x \in Z(L)$ सभी $x \in L$ के लिए सत्य है।

अति-केंद्रीय आवर्तन

केंद्रीय आवर्तन $*$ अति-केंद्रीय है, यदि यह भी संतुष्ट करता है कि $\mu(a)^* = \mu(a)$ सभी $a$ के लिए, जो $\mu(a)^2 = 1$ के समतुल्य है।

Cayley-Dickson द्विगुणन निर्माण

आवर्तन $(L, *)$ के साथ लूप्स और केंद्रीय तत्व $\gamma$ के लिए, Cayley-Dickson द्विगुणन $D(L, *, \gamma) = L \cup Lj$ का गुणन निम्नानुसार परिभाषित है:

a(bj) = (ba)j                    (4.1)
(aj)b = (ab*)j                   (4.2)  
(aj)(bj) = γb*a                  (4.3)

आवर्तन का विस्तार $(aj)^* = (εa)j$ के रूप में परिभाषित है, जहां $ε$ एक केंद्रीय तत्व है जो $ε^2 = 1$ और $(εγ)^* = εγ$ को संतुष्ट करता है।

केंद्र की गणना

प्रमेय: मान लीजिए $M = D(L, *, γ)$ एक Cayley-Dickson द्विगुणन है। तब:

यदि $*$ एक गैर-तुच्छ आवर्तन है, तो $Z(M) = Z(L, *)$ (सममित केंद्रीय तत्व)
यदि $*$ एक तुच्छ आवर्तन है, तो $Z(M) = D(Z(L), γ)$

केंद्रीय विस्तार एबेलियन गुण की संक्रमणीयता

प्रमेय 6.8: मान लीजिए $L$ आवर्तन $*$ के साथ एक केंद्रीय विस्तार एबेलियन लूप्स है, $M = D(L, *, γ)$ । तब:

$M$ केंद्रीय विस्तार एबेलियन है यदि और केवल यदि:

$L$ केंद्रीय विस्तार एबेलियन है
$[L, L, L] \subseteq Z(L, *)$
$*$ $L$ पर अति-केंद्रीय है

विविधताओं का व्युत्पन्न सिद्धांत

विविधता $V$ का व्युत्पन्न $V'$ को सभी लूप्स $(L, *)$ की विविधता के रूप में परिभाषित किया जाता है जैसे कि $D(L, *, 1, 1) \in V$ ।

पूर्ण विविधताएं: विविधताएं जो $V' = V$ को संतुष्ट करती हैं, पूर्ण कहलाती हैं, ये विविधताएं द्विगुणन प्रक्रिया में बंद हैं।

Moufang द्विगुणन का अभिलक्षण

प्रमेय 10.1: $D(L, *, γ)$ एक Moufang लूप्स है यदि और केवल यदि:

$L$ एक Moufang लूप्स है
$[a, cc^*] = 1$ सभी $a, c \in L$ के लिए
$[c, c^*] = 1$ सभी $c$ के लिए
$[a, c, c^*] = 1$ सभी $a, c$ के लिए
प्रत्येक $cc^*c$ नाभिक में है

प्रायोगिक सेटअप

अनुसंधान के विषय

यह पेपर मुख्य रूप से निम्नलिखित प्रकार के लूप्स का अध्ययन करता है:

शास्त्रीय Cayley-Dickson लूप्स: $Q_n$ शास्त्रीय Cayley-Dickson बीजगणितों $A_n$ के मानक आधार तत्वों से बना है
सामान्यीकृत निर्माण: $(γ_0, ..., γ_{n-1})^ℓ$ अदिश $γ_i$ के साथ किए गए पुनरावृत्त द्विगुणन को दर्शाता है
स्वीकार्य लूप्स: लूप्स जो $T \in ZA \cap E^2 \cap S^* \cap D$ को संतुष्ट करते हैं और $K(T) = Z(T, *)$

तकनीकी शर्तें

ZA: केंद्रीय विस्तार एबेलियन लूप्स की विविधता
E²: प्रत्येक $x^2$ केंद्रीय लूप्स की विविधता
S*: केंद्रीय आवर्तन के साथ लूप्स की विविधता
D: द्वि-सहयोगी लूप्स की विविधता

प्रायोगिक परिणाम

मुख्य परिणाम

प्रमेय 15.6 (मुख्य परिणाम): मान लीजिए $T$ एक विषम-सममित और विषम-क्रमविनिमेय स्वीकार्य लूप्स है, लेकिन एक एबेलियन समूह नहीं है। मान लीजिए $n \geq 2$ , $M = D^n(L, *; γ_0, ..., γ_{n-1}; ε_0, ..., ε_{n-1})$ । तब:

$\text{Aut}(M) \subseteq \text{Aut}(T_1, *) \ltimes Z^{n-1}$

जहां $T_1 = D(T, *, γ_0, ε_0)$ ।

शास्त्रीय मामले का अनुप्रयोग

अनुपरिणाम 15.7: किसी भी $n \geq 3$ के लिए: $\text{Aut}(Q_n) = \text{Aut}(Q_3, *) \times \{\pm 1\}^{n-3}$

चूंकि $\text{Aut}(Q_3) \cong \text{GL}_3(\mathbb{F}_2)$ , हम प्राप्त करते हैं: $\text{Aut}(Q_n) = \text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$

सामान्य Cayley-Dickson बीजगणित

अनुपरिणाम 15.8: किसी भी $n \geq 3$ और परिभाषित अदिश $γ_0, ..., γ_{n-1} \in F^×$ के लिए: $\text{Aut}_F((γ_0, ..., γ_{n-1})^ℓ) = \text{Aut}_F((γ_0, γ_1, γ_2)^ℓ, *) \times \{\pm 1\}^{n-3}$

मुख्य तकनीकी परिणाम

विशेषता उप-लूप्स प्रमेय (प्रमेय 15.1): उपयुक्त शर्तों के तहत, $L = D(T)$ इसके द्विगुणन $M = D(L)$ का एक विशेषता उप-लूप्स है।
स्थानीय Moufang गुण: स्वीकार्य द्वि-सहयोगी लूप्स में, जनक तत्व $j$ स्थानीय Moufang है।
आयाम वृद्धि: $L \in ZA^0 \cap E^2 \cap S^*_0$ के लिए, $\dim(M) \geq \dim(L)$ , समानता तब होती है जब $L$ पर आवर्तन तुच्छ है।

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

सीमाएं

तकनीकी शर्तें: मुख्य परिणामों के लिए लूप्स को कई तकनीकी शर्तों को संतुष्ट करने की आवश्यकता है (स्वीकार्य, विषम-सममित, विषम-क्रमविनिमेय आदि)।
आयाम प्रतिबंध: आयाम 3 से कम के मामलों के लिए, कुछ परिणाम लागू नहीं होते हैं।
विशेषता प्रतिबंध: मुख्य परिणाम मानते हैं कि विशेषता 2 नहीं है।

भविष्य की दिशाएं

अन्य बीजगणितीय संरचनाओं तक विस्तार: सिद्धांत को अन्य गैर-सहयोगी बीजगणितों तक विस्तारित करना।
कम्प्यूटेशनल जटिलता: स्वतः समरूपता समूह गणना की जटिलता का अध्ययन करना।
अनुप्रयोग: कोडिंग सिद्धांत, क्रिप्टोग्राफी आदि क्षेत्रों में अनुप्रयोग की खोज करना।

गहन मूल्यांकन

शक्तियां

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

कमियां

तकनीकी बाधा: बड़ी मात्रा में विशेषज्ञ पृष्ठभूमि ज्ञान की आवश्यकता है, गैर-विशेषज्ञ पाठकों के लिए पर्याप्त अनुकूल नहीं।
सीमित अनुप्रयोग: मुख्य रूप से सैद्धांतिक परिणाम हैं, व्यावहारिक अनुप्रयोग परिदृश्य पर्याप्त स्पष्ट नहीं हैं।
कम्प्यूटेशनल जटिलता: कुछ शर्तों का सत्यापन व्यावहारिक रूप से कठिन हो सकता है।

प्रभाव

सैद्धांतिक योगदान: गैर-सहयोगी बीजगणित सिद्धांत में महत्वपूर्ण योगदान, संबंधित क्षेत्रों के विकास को प्रभावित कर सकता है।
पद्धति: प्रदान की गई तकनीकी विधियां अन्य बीजगणितीय संरचनाओं के अनुसंधान पर लागू हो सकती हैं।
अनुवर्ती अनुसंधान: Cayley-Dickson निर्माण और संबंधित समस्याओं के आगे के अनुसंधान के लिए आधार तैयार करता है।

उपयोग के मामले

बीजगणितीय ज्यामिति: गैर-सहयोगी बीजगणितों के ज्यामितीय गुणों का अध्ययन करते समय उपयोगी।
प्रतिनिधित्व सिद्धांत: संबंधित बीजगणितीय संरचनाओं के प्रतिनिधित्व का अध्ययन करते समय संभावित अनुप्रयोग।
सैद्धांतिक भौतिकी: कुछ भौतिकी मॉडलों में संभावित अनुप्रयोग मूल्य।

संदर्भ

पेपर 39 संबंधित संदर्भों का हवाला देता है, जो लूप सिद्धांत, गैर-सहयोगी बीजगणित, Cayley-Dickson निर्माण और अन्य कई क्षेत्रों के महत्वपूर्ण कार्यों को शामिल करता है, जो अनुसंधान की व्यापकता और गहराई को दर्शाता है।