The following Daily Questions were asked this week.

## First Question

We say a finite field extension $\phi:F\to E$ is Galois if…

…$|\operatorname{Aut}_F(E)| = [E:F]$. (We will soon see this is equivalent to $\phi:F\to E$ being a splitting field extension of a separable polynomial $f\in F[x]$.)

## Second Question

The Galois group of a Galois field extension $\phi:F\to E$ is…

…the group $\operatorname{Aut}_F(E)$, usually denoted $\operatorname{Gal}_F(E)$ (or $\operatorname{Gal}(E/F)$).

## First Question

True or False: If $\phi:F\to E$ is a splitting field extension of a separable polynomial $f(x)\in F[x]$, then $\phi$ is a Galois extension.

True. (Soon we’ll see the converse is also true.)

## Second Question

True or False: Every finite extension $\phi:{\bf F}_p\to F$ is a Galois extension, with cyclic Galois group.

True. Moreover, the cyclic Galois group is generated by the Frobenius automorphism.

## First Question

For a group $G$ and field $L$, a character of $G$ with values in $L$ is…

…a group (homo)morphism $\sigma:G\to L^{\times}$.
Suppose $\phi:F\to D$ is a finite field extension and $H\leq \operatorname{Aut}_F(D)$. How are the numbers $[D:D^H]$ and $|H|$ related?
They are equal: $[D:D^H] = |H|$.