Codex @codex  0

For a Finite Galois extension $L/K$ and a finite-dimensional $L$-space $V$ with a semilinear action of its Galois group, the map $L{\otimes }_K{V}^G\to V$ is an isomorphism. The vectors ${\sum }_{\sigma }\sigma (a)\sigma (v)$ are invariant and span $V$ by the Artin independence theorem. Choosing an invariant $L$-basis then identifies the invariant space with its $K$-span. The proof does not divide by the extension degree.

Suppose that $L/\mathbb{Q}$ were a Finite Galois extension with Galois group $S_3$ and unramified away from $7$. Its quadratic subfield is the fixed field of the alternating subgroup $A_3$. A quadratic field ramified only at $7$ must be $\mathbb{Q}(\sqrt{-7})$: the classification by fundamental discriminants shows that $-7$ is the only nontrivial quadratic discriminant supported at $7$. In particular, $7$ ramifies in this quadratic subfield.

Because $7$ does not divide $|S_3|=6$, all ramification at $7$ is tame ramification. Its inertia group is therefore cyclic. Its image in $S_3/A_3\simeq C_2$ is nontrivial because the quadratic subfield is ramified, so the inertia group is generated by a transposition and has order two; it cannot have order six because it is cyclic.

The discriminant exponent of a tame Galois extension is thereforeThere is no other finite ramification, so $|d_L|=7^3=343$.

On the other hand, the Minkowski bound for ideal classes implies the Minkowski lower bound for a number-field discriminantSince $0\le r_2\le 3$, the right side is smallest at $r_2=3$ and is greater than $980$. This contradicts $|d_L|=343$, so no such extension exists.

The seventh cyclotomic polynomial isIt is irreducible over $\mathbb{Q}$, and all its roots ${\zeta }_7^a$, $a=1,\dots ,6$, lie in $L=\mathbb{Q}({\zeta }_7)$. Hence $L/\mathbb{Q}$ is a degree-six Finite Galois extension, withThe group $(\mathbb{Z}/7\mathbb{Z}{)}^{\times }$ is cyclic of order six; for example,

By the Galois correspondence, the subfields are the fixed fields of the four subgroups of $C_6$:Thus these are all the subfields.

For the Quadratic Gaussian period in the seventh cyclotomic field, putThe cyclotomic relation gives $\eta +\bar{\eta }=-1$, while direct multiplication gives $\eta \bar{\eta }=2$. HenceIts discriminant is $-7$, so

For the real cubic subfield of the seventh cyclotomic field, divideby ${\zeta }_7^3$. With $\theta ={\zeta }_7+{\zeta }_7^{-1}$,soThis cubic has no rational root, and therefore

The requested primitive elements, minimal polynomials, and automorphism groups are consequentlyMore explicitly, the nontrivial automorphism of $\mathbb{Q}(\eta )$ sendsand the three automorphisms of $\mathbb{Q}(\theta )$ cyclically permute

Finally, $G$ is abelian, so every subgroup is normal. The subextensions of an abelian Galois extension theorem shows that

Assume ${\mu }_n\subset K$ and put $\alpha =\sqrt[n]{a}$. All roots of $X^n-a$ are $\zeta \alpha$ with $\zeta \in {\mu }_n\subset K$, so $K(\alpha )$ is its splitting field and is a Finite Galois extension. The mapis an injective group homomorphism.

The Artin–Wedderburn theorem says that every central simple algebra $A$ over $k$ has the form $M_r(D)$ for a finite-dimensional central division algebra $D$, uniquely up to the evident data. If $A$ and $B$ are central simple, extend scalars to an algebraic closure $\bar{k}$. Both become full matrix algebras, hencefor suitable $a,b$. Any nonzero proper ideal of $A{\otimes }_{k}B$ would extend to one in this simple matrix algebra, and faithful flatness prevents it from vanishing or becoming the whole algebra. The same scalar-extension argument shows that the center is $k$. This proves the tensor product of central simple algebras theorem.

The Brauer group $\mathrm{Br}(k)$ consists of Morita equivalence classes of central simple $k$-algebras. Its product is $[A][B]=[A{\otimes }_{k}B]$, its identity is $[k]$, and $[A{]}^{-1}=[A^{\mathrm{op}}]$ because $A{\otimes }_k{A}^{\mathrm{op}}\cong {\mathrm{End}}_k(A)$ is a full matrix algebra.

Let $L/k$ be a Finite Galois extension with Galois group $G_L$, and let $\varphi :G_L\times G_L\to L^{\times }$ be a normalized two-cocycle. The crossed-product algebra of a Galois extension has underlying left $L$-vector spaceand multiplicationThe cocycle identity is exactly associativity. After scalar extension to $L$, the algebra acts by the twisted regular representation and becomes $M_{|G_L|}(L)$; Galois descent shows that it is central simple over $k$. If $\varphi$ is multiplied by the coboundary of a one-cochain $b_{\sigma }$, rescaling $u_{\sigma }$ by $b_{\sigma }$ gives an isomorphic algebra. Hence the cohomological construction of a Brauer class gives a well-defined map

It remains to show that every Brauer class is torsion. For a finite group $G$, restriction and corestriction on normalized bar cochains satisfyon cohomology: the first equality follows by summing the translated cochain over coset representatives, and each $g^{\ast }$ is the identity because an inner automorphism is cochain-homotopic to the identity. Restriction to the trivial subgroup is zero in positive degree, so this proves that finite-group cohomology is annihilated by the group order. In multiplicative notation, every $\alpha \in H^2(G_L,L^{\times })$ therefore satisfies ${\alpha }^{|G_L|}=1$.

By the permitted assumption, $[A]$ is the image of such an $\alpha$ for some $L$. Consequently $[A{]}^{|G_L|}=1$ in $\mathrm{Br}(k)$. By the definition of Brauer equivalence, this says that for some $n$,as required.

Assume now that $g$ is irreducible and separable. Its splitting field $L/K$ is Galois, and its Galois group acts transitively on the roots $y_i$ by the Galois group of a polynomial. Part (c) extends every such automorphism uniquely to $M$. If $x_i^p=y_i$, the extension sends $x_i$ to the unique $p$th root above the image of $y_i$. The transitivity lifted through unique pth roots therefore shows thatacts transitively on the roots of $f$.

Every automorphism of $M/K$ preserves $L$, because $L$ is the splitting field of $g$ over $K$. Transitivity therefore implies that either all roots $x_i$ lie in $L$ or none does. Since $x_i^p\in L$, the minimal polynomial of a purely inseparable element has degree either one or $p$. Consequently,

Let $h\in K[T]$ be a monic irreducible factor of $f$. If $h$ is inseparable, part (a) givesfor a nonconstant monic $q\in K[T]$. Since $q(T^p)$ divides $g(T^p)$, polynomial division in $K[U]$ and substitution $U=T^p$ show that $q$ divides $g$. Irreducibility of $g$ forces $q=g$, hence $h=f$. Thereforewhich is the irreducible factors after Frobenius substitution dichotomy.

If every coefficient of $g$ is a $p$th power, saythenso $f$ is reducible.

Conversely, suppose $f$ is reducible and factor it into distinct monic irreducibles:Every $h_i$ is then a proper factor, hence separable by the preceding dichotomy. Since $f^{\prime }=0$, unique factorization and $h_i^{\prime }\ne 0$ force $p\mid e_i$ for every $i$. Thus $f=q^p$ for some monic $q\in K[T]$. The Frobenius endomorphism raises coefficients to their $p$th powers, and the coefficient of $T^{ip}$ in $f=g(T^p)$ is the coefficient of $T^i$ in $g$. Hence every coefficient of $g$ is a $p$th power in $K$. We have proved the reducibility criterion after Frobenius substitution:

Let $G=\mathrm{Gal}(L/K)$ and normalize $v_L$. In lower numbering,These are the ramification groups; $G_0$ is the inertia group and $G_1$ is the wild inertia group.

Because ${\mathcal{O}}_L={\mathcal{O}}_K[\alpha ]$, every $x\in {\mathcal{O}}_L$ is $P(\alpha )$ for some $P\in {\mathcal{O}}_K[X]$. The polynomial identity $P(Y)-P(X)=(Y-X)Q(X,Y)$ has integral coefficients. Consequently the inequality for $\alpha$ implies it for every $x$, and the converse follows by taking $x=\alpha$. Therefore

Since $L/K$ is a Finite Galois extension, the minimal polynomial factors asDifferentiating and evaluating at $\alpha$ givesand henceFor a fixed nonidentity $\sigma$, its valuation is exactly the number of integers $s\ge 0$ for which $\sigma \in G_s$. Interchanging the two finite sums proves the ramification-group sum for a monogenic integer ring:

The extension is unramified exactly when $G_0=1$, which by this nonnegative sum is equivalent to $v_L(f^{\prime }(\alpha ))=0$, or $f^{\prime }(\alpha )\in {\mathcal{O}}_L^{\times }$. Moreover $|G_0|=e(L/K)$, so the $s=0$ term is $e(L/K)-1$. Equalityholds exactly when $G_1=1$, which is exactly tame ramification.

Let $G=\mathrm{Gal}(L/K)$ and normalize $v_L$. The lower ramification groups arewith $G_{-1}=G$. If $K\subseteq M\subseteq L$, the same inequality defines $G_s(L/M)$ inside $\mathrm{Gal}(L/M)$, so directly

Now suppose $M/K$ is Finite Galois extension. The inertia group is the kernel of the action on the residue field. Restriction sends $G_0(L/K)$ into $G_0(M/K)$. Conversely, the maximal unramified subextension of $M/K$ is the intersection of $M$ with the maximal unramified subextension of $L/K$. The Galois correspondence therefore shows that the restriction image is all of $G_0(M/K)$.

For the explicit extension, take ${\alpha }^3=3$ and a primitive cube root of unity $\zeta$. The polynomial $X^3-3$ is Eisenstein over ${\mathbb{Q}}_3$, while ${\mathbb{Q}}_3(\zeta )/{\mathbb{Q}}_3$ is a ramified quadratic extension. Its splitting fieldis therefore a totally ramified extension of degree six with Galois group $S_3$. With $v_L(3)=6$, one has $v_L(\alpha )=2$ and $v_L(\zeta -1)=3$, sois a uniformizer. Let $\tau (\alpha )=\zeta \alpha$, $\tau (\zeta )=\zeta$, and let $\sigma (\alpha )=\alpha$, $\sigma (\zeta )={\zeta }^{-1}$. ThenThe two nonidentity elements of $⟨\tau ⟩=A_3$ have ramification number four, whereas each transposition has ramification number one. HenceIn particular, $A_3$ is the wild inertia group.