Hopf--Galois structures of cyclic type on parallel extensions of prime power degree
Darlington, Tsang
Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.
academic
प्राइम पावर डिग्री के समानांतर विस्तारों पर चक्रीय प्रकार की Hopf-Galois संरचनाएं
मान लीजिए L/K कोई भी परिमित वियोज्य विस्तार है जिसका सामान्य संवरण L/K है। यदि L′L/K का एक मध्यवर्ती क्षेत्र है और [L′:K]=[L:K], तो विस्तार L′/K को L/K के समानांतर कहा जाता है। यह पेपर निम्नलिखित प्रश्न का अध्ययन करता है: यदि L/K प्रकार N की Hopf-Galois संरचना को स्वीकार करता है, तो क्या इसका अर्थ है कि L/K के समानांतर प्रत्येक विस्तार भी प्रकार N की Hopf-Galois संरचना को स्वीकार करता है? लेखकों ने पूरी तरह से उस स्थिति को हल किया है जहां डिग्री [L:K] एक प्राइम पावर है और प्रकार N एक चक्रीय समूह है। विधि समूह-सैद्धांतिक है, जो Greither-Pareigis और Byott के कार्य का उपयोग करती है।
Hopf-Galois सिद्धांत: मूलतः Chase और Sweedler द्वारा वर्णित, जिसका उपयोग विशुद्ध रूप से अविभाज्य विस्तारों के अध्ययन के लिए किया गया था, बाद में वियोज्य विस्तारों के लिए भी प्रासंगिक पाया गया, और Greither-Pareigis के कार्य के माध्यम से समूह-सैद्धांतिक वर्गीकरण प्राप्त किया गया।
समानांतर विस्तार की अवधारणा: परिमित वियोज्य विस्तार L/K के लिए, इसका समानांतर विस्तार L′/K सामान्य संवरण L/K में एक मध्यवर्ती क्षेत्र है जो L के समान डिग्री का है। यह अवधारणा सममित नहीं है, क्योंकि L आवश्यक रूप से L′ के सामान्य संवरण में शामिल नहीं है।
मूल समस्या: समानांतर विस्तारों के बीच Hopf-Galois संरचनाओं की संक्रमणशीलता का अध्ययन, अर्थात यदि एक विस्तार किसी विशेष प्रकार की Hopf-Galois संरचना को स्वीकार करता है, तो क्या इसका समानांतर विस्तार भी उसी प्रकार की संरचना को स्वीकार करता है।
सैद्धांतिक पूर्णता: हालांकि प्रतिउदाहरण मौजूद हैं, Magma गणनाएं दर्शाती हैं कि उत्तर आमतौर पर सकारात्मक है, विशेष रूप से जब डिग्री वर्ग-मुक्त हो तो हमेशा सत्य है।
वर्गीकरण समस्या: प्रकार N को ठीक करके, समस्या अधिक सुगम हो जाती है, विशेष रूप से प्राइम पावर डिग्री और चक्रीय प्रकार के मामले में।
समूह-सैद्धांतिक विधि: Byott के पूर्ण समूह Hol(N)=N⋊Aut(N) का उपयोग करके पुनः सूत्रीकरण, समस्या को संक्रमणशील उपसमूहों के गुणों के अध्ययन में परिवर्तित करता है।
विषम प्राइम पावर स्थिति का पूर्ण समाधान: सिद्ध किया कि विषम प्राइम पावर डिग्री के लिए, समानांतर विस्तार चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार करता है यदि और केवल यदि यह मूल विस्तार के साथ संयुग्मित है।
सम प्राइम पावर स्थिति की विशेषता: सम प्राइम पावर डिग्री स्थिति का पूर्ण वर्गीकरण प्रदान किया, विभिन्न उप-स्थितियों को अलग किया और सटीक विभेदक शर्तें दीं।
समूह-सैद्धांतिक विशेषता: चक्रीय समूह N के पूर्ण समूह के संक्रमणशील उपसमूहों का पूर्ण विश्लेषण प्रदान किया, विशेष रूप से ∣N∣ के सूचकांक वाले उपसमूहों के गुणों को।
तकनीकी नवाचार: पूर्ण समूह में Hall उपसमूहों को संभालने के लिए नई तकनीकें विकसित कीं, पहले केवल वर्ग-मुक्त क्रम पर लागू परिणामों को सामान्यीकृत किया।
चक्रीय समूह N और इसके पूर्ण समूह Hol(N) के संक्रमणशील उपसमूह G को देखते हुए, G के किसी भी सूचकांक ∣N∣ के उपसमूह H के लिए, यह निर्धारित करें कि क्या भागफल समूह G/CoreG(H)Hol(N) के किसी संक्रमणशील उपसमूह के समरूप है, और उस समरूपता के तहत H/CoreG(H) स्थिरक उपसमूह में मानचित्रित होता है।
मान लीजिए L/K किसी भी विषम प्राइम पावर डिग्री का परिमित वियोज्य विस्तार है जो चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार करता है। किसी भी समानांतर विस्तार L′/K के लिए, निम्नलिखित समतुल्य हैं:
L′/K चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार करता है
मान लीजिए L/K सम प्राइम पावर डिग्री का परिमित वियोज्य विस्तार है जो चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार करता है। मान लीजिए G सामान्य संवरण का Galois समूह है, तो ∣G∣=2s[L:K] भी 2 की पावर है, और:
यदि s=1 और G के पास [L:K] के क्रम का तत्व है, तो प्रत्येक समानांतर विस्तार चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार करता है
यदि s=1 और G के पास [L:K] के क्रम का तत्व नहीं है, या s≥2, तो ऐसे सामान्य समानांतर विस्तार मौजूद हैं जो चक्रीय प्रकार की Hopf-Galois संरचना को स्वीकार नहीं करते
चक्रीय समूह N के क्रम 2e और Hol(N) के संक्रमणशील उपसमूह G के लिए, उपसमूह H के शर्त को पूरा न करने की पूर्ण विशेषता दी गई है, जिसमें चार विशिष्ट स्थितियां शामिल हैं:
∣H∩N∣≥4
∣H∩N∣=2 और G के पास 2e के क्रम का तत्व नहीं है
∣H∩N∣=2 और HG में सामान्य नहीं है
∣H∩N∣=1 की विशेष स्थिति, जिसमें विशिष्ट समूह संरचना शर्तें शामिल हैं
विषम-सम अंतर महत्वपूर्ण: विषम प्राइम पावर और सम प्राइम पावर स्थितियां पूरी तरह से अलग व्यवहार करती हैं, पहली लगभग हमेशा नकारात्मक उत्तर देती है, दूसरी अधिक जटिल संरचना रखती है
पूर्ण वर्गीकरण: प्राइम पावर डिग्री के चक्रीय प्रकार स्थिति के लिए, पूर्ण समूह-सैद्धांतिक विशेषता दी गई है
तकनीकी प्रगति: पूर्ण समूह को संभालने के लिए विकसित तकनीकें आगे के अनुसंधान के लिए आधार तैयार करती हैं