Galois type correspondence for non-separable normal extensions of fields (Q1087587)

The author extends the classical Galois-Krull theory for separable and normal field extensions, and the Jacobson theory for finite purely inseparable extensions of exponent 1, to general normal extensions of inseparability exponent 1. Let \(K| k\) be a normal field extension of characteristic \(p\neq 0\) and of inseparability exponent 1. \(K| k\) is called distinguished if there exists a subextension \(L| k\) such that \(L| k\) is purely inseparable and \(K| L\) is separable. Let \(D_{K| k}\) denote the K-linear space of all k-derivations of K, and S the group Aut(K\(| k)\). For a K-subspace \({\mathcal A}\) of \(D_{K| k}\) denote \(\cap_{D\in {\mathcal A}}Ker D\) by N(\({\mathcal A})\). For a subextension \(L| k\) of \(K| k\) denote by \({\mathcal A}(L)\) the K-subspace \(\{D\in D_{K| k}|\) \(D(x)=0\) for all \(x\in L\}\) of \(D_{K| k}.\) Let \(K_ 0| k\) denote the maximal purely inseparable subextension of \(K| k\), and \(k_ K\) the maximal separable subextension of \(K| k\). For a derivation \(D\in D_{K_ 0| k}\), let \(D^*\) denote the unique derivation in \(D_{K| k}\) which extends D. \(D_{K_ 0| k}\) can be considered to be a subspace of \(D_{K| k}\). The set \(G(K| k)=S\times D_{K| k}\) becomes a group under the natural componentwise operation. Then \(G_ 0(K| k)=S\times D_{K_ 0| k}\) is a subgroup of G(K\(| k)\). A subgroup \(M=(H,{\mathcal A})\) in \(G_ 0(K| k)\) is said to be closed if H is closed in the Krull topology on S and \({\mathcal A}\) is an arithmetically maximal K-subspace of \(D_{K| k}\), i.e., \({\mathcal A}(N({\mathcal A}))={\mathcal A}.\) For a subextension \(L| k\) of \(K| k\), set \({\mathcal A}_ 0(L)=\{D\in D_{K_ 0| k}|\) \(D^*(x)=0\) for all \(x\in L\}\), \(\psi (L)=M_ L=(H_ L,{\mathcal A}_ L)\) where \(H_ L=\{\delta \in S|\delta (x)=x\) for all \(x\in L\}\), \({\mathcal A}_ L={\mathcal A}_ 0(L\cap K_ 0)\), and \(\phi (M)=L_ M=(Fix H\cap k_ K)N_ 0({\mathcal A})\) for \(M=(H,{\mathcal A})\subseteq G_ 0(K| k)\) and \(N_ 0({\mathcal A})=\{x\in K_ 0|\) \(D(x)=0\) for all \(D\in {\mathcal A}\subseteq D_{K_ 0| k}\}\). The main results for \(K| k\) a normal algebraic extension of inseparability exponent 1 are as follows. The maps \(\psi\) and \(\phi\) establish a one-to-one correspondence between the distinguished subextensions of \(K| k\) and the closed subgroups of \(G_ 0(K| k)\). The maps \({\bar \psi}\)(L)\(=(H_ L,{\mathcal A}_ L)\subseteq G(K| k)\) with \(H_ L=\{\delta \in S|\delta (x)=x\) for all \(x\in L\}\), \({\mathcal A}_ L=\{D\in D_{K| k}|\) \(D(x)=0\) for all \(x\in L\}\), and \({\bar \phi}\)(H,\({\mathcal A})=Fix H\cap N({\mathcal A})\), establish a one-to-one correspondence between the arbitrary subextensions \(L| k\) and \(K| k\) and the admissable subgroups (H,\({\mathcal A})\) in G(K\(| k)\) where \(M=(H,{\mathcal A})\) is admissable if H is closed in the Krull topology on S, \({\mathcal A}\) is an arithmetically maximal K-subspace of \(D_{K| k}\), and if there exists a p-basis \(\{c_ i\}\) of N(\({\mathcal A})\) over \(k_ K\) such that \(c_ i\in Fix H\) for all i.