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:

- $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;
- 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);
- Also, if $H$ is normal, then $K^H/F$ is Galois under the natural $G/H$-action;
- If $E$ is any extension field of $F$, then $L \otimes E$ is Galois over $E$, with the $G$-action extended linearly;
- 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.

$G$-torsorif $E$ is equipped with a $G$-action over $K$ so $G\times {\rm{Spec}}(E) \to {\rm{Spec}}(E)\times_{{\rm{Spec}}(K)} {\rm{Spec}}(E)$ defined by $(g,x)\mapsto (x, g.x)$ is an isomorphism, or equivalently $E \otimes_K E \to \prod_{g \in G} E$ defined by $a\otimes b\mapsto (ag(b))_g$ is an isomorphism. This gives geometric insight leading to quick easy proofs of 1--5 when $K$ is a finite product of fields. $\endgroup$