The Galois extensions induced by idempotents in a Galois algebra (Q1607863)

Summary: Let \(B\) be a Galois algebra with Galois group \(G\), \(J_g=\{b\in B\mid bx=g(x)b\) for all \(x\in B\}\) for each \(g\in G\), \(e_g\) the central idempotent such that \(BJ_g=Be_g\), and \(e_K=\sum_{g\in K,\;e_g\neq 1}e_g\) for a subgroup \(K\) of \(G\). Then \(Be_K\) is a Galois extension with the Galois group \(G(e_K)\) (\(=\{g\in G\mid g(e_K)=e_K\}\)) containing \(K\) and the normalizer \(N(K)\) of \(K\) in \(G\). An equivalent condition is also given for \(G(e_K)=N(K)\), and \(Be_G\) is shown to be a direct sum of all \(Be_i\) generated by a minimal idempotent \(e_i\). Moreover, a characterization for a Galois extension \(B\) is shown in terms of the Galois extensions \(Be_G\) and \(B(1-e_G)\).