Cogalois extensions via strongly graded fields (Q4700499)

\textit{C. Greither} and \textit{D. K. Harrison} [J. Pure Appl. Algebra 43, 257-270 (1986; Zbl 0607.12015)] introduced the concept of cogalois extensions and cogalois groups in the study of radical extensions. Given a cogalois extension \(L/K\) there exists an order preserving correspondence between the lattice of its subextensions and the lattice of subgroups of the cogalois group. \textit{T. Albu} and \textit{F. Nicolae} [J. Number Theory 52, No. 2, 299-318 (1995; Zbl 0838.12003)] generalized the concept of cogalois extension: Given a finite extension of fields \(L/K\), let \(G\) be a finite a subgroup \(L^\ast = L \setminus \{0\}\) which contains \(K^\ast\) and such that \(G/K^\ast\) is finite. The extension \(L/K\) is called \(G\)-radical if \(L= K(G)\). A \(G\)-radical extension is called \(G\)-Kneser if \([L:K] = |G/K^\ast|\). In the paper under review, the author is interested in \(\Gamma\)-Clifford extensions and strongly graded fields. Given a group \(\Gamma\), we say that a field extension \(L/K\) is a \(\Gamma\)-Clifford extension if \(L\) is the sum of a certain family \((L_\sigma)_{\sigma \in \Gamma}\) of \(K\)-subspaces such that \(L_\sigma = K\) iff \(\sigma =1\) and \(L_\sigma L_\tau =L_{\sigma\tau}\) for all \(\sigma, \tau \in \Gamma\). \(L/K\) is a \(\Gamma\)-strongly graded extension if, in addition, \(L\) is the direct sum of the family \((L_\sigma)_{\sigma\in\Gamma}\). First it is proved that a \(G\)-radical extension is a \(\Gamma\)-Clifford extension and conversely. In this case we have \(\Gamma = G/K^\ast\). Furthermore, \(L/K\) is \(G\)-Kneser iff it is \(\Gamma\)-strongly graded for a certain finite abelian group. After some preliminary results, a new proof of Kneser's criterion [Acta Arith. 26, 307-308 (1975; Zbl 0314.12001)] is given. In the last section, the author studies \(\Gamma\)-cogalois extensions and the relation between \(\Gamma\)-cogalois and \(\Gamma\)-Clifford extensions. Any \(\Gamma\)-cogalois extension is \(\Gamma\)-strongly graded but not conversely. Finally, the author proves some earlier results of Albu and Nicolae, translated into the graded setting.