[Math] Galois theory for products of fields (aka finite etale extensions)

ac.commutative-algebraetale-coversgalois-theory

Let $F$ be a field. By a Galois algebra over $F$ I mean a finite etale extension, that is, a product $K = K_1 \times \cdots \times K_r$ of finite (separable) field extensions, of total degree $[K : F] = n$, equipped with a subgroup $G \subseteq \operatorname{Aut}_F K$ of $n$ linearly independent automorphisms. For example, $\mathbb{C} \times \mathbb{C}$ equipped with the set of four automorphisms $(z,w) \mapsto \{(z,w), (\bar{w},z), (\bar{z},\bar{w}), (w,\bar{z})\}$ is a cyclic Galois algebra over $\mathbb{R}$ of degree $4$.

I'd like to find a reference (or counterexample) to the following simple assertions:

  1. $K$ is a Galois algebra iff it is a product $K = K_1^r$ of copies of a field that is Galois over $F$, and the $G$-action permutes the $n$ ring maps from $K$ to $K_1$ simply transitively;
  2. If $H \leq G$ is a subgroup, then $K/K^H$ is also Galois under the natural $H$-action (more precisely, for each field factor of $K^H$, the portion of $K$ above it is Galois under the $H$-action);
  3. Also, if $H$ is normal, then $K^H/F$ is Galois under the natural $G/H$-action;
  4. If $E$ is any extension field of $F$, then $L \otimes E$ is Galois over $E$, with the $G$-action extended linearly;
  5. If $K$ and $K'$ are Galois algebras over $F$ with Galois groups $G$ and $G'$ respectively, then $K \otimes K'$ is Galois under the natural action of $G \times G'$.

A construction due to Bhargava embeds any finite etale extension of degree $n$ (in characteristic $0$) into an $S_n$-Galois algebra.

It seems that the theory of such algebras is similar in depth to, but not a trivial consequence of, Galois theory of fields (e.g. for part 2, how do we compute $[K^H : F]$?) We no longer have that every subalgebra of $K$ is the fixed field of some subgroup; but on the other hand, the elegant properties 4 and 5 are missing from the classical presentation (because the tensor product of fields need not be a field).

It could be that this is all a special case of Grothendieck's theory of finite etale covers of schemes, but I wouldn't like to dredge up Grothendieckian formalism while discussing mainly about elementary properties of number fields, with a bit of class field theory.

Best Answer

Let $K$ be a separable algebraic closure of $k$. Then the functor sending an etale $k$-algebra $A$ to $Hom(A,K)$ is an equivalence to the category of finite sets with a continuous action of the Galois group of $k$ (baby form of Grothendieck's theory). There is an elementary exposition of this in Milne's notes on Fields and Galois theory. I think you can answer all your questions by looking at the sets with Galois action.

Related Question