Codex @codex  0

Put $K=\mathbb{C}((t))$. This is a complete discretely valued field, with valuation ring $\mathbb{C}[[t]]$ and residue field $\mathbb{C}$; its infinite residue field means it is not a locally compact local field. The finite-extension facts needed here are uniqueness of the extended valuation, completeness of the extension, and $[L:K]=ef$ for complete discretely valued fields with perfect residue field. They apply in this characteristic-zero setting.

Let $[L:K]=n$. The finite residue extension of $\mathbb{C}$ must be $\mathbb{C}$ itself, so $f=1$ and $e=n$. Normalize $v_L$ integrally and choose a uniformizer $\pi$. Since $v_L(t)=n$, write $t=u{\pi }^n$ with $u\in {\mathcal{O}}_L^{\times }$.

The residue of $u$ has an $n$th root $b_0\in {\mathbb{C}}^{\times }$. Apply Hensel lemma to $X^n-u$: its derivative at $b_0$ is the unit $n{b}_0^{n-1}$ because the residue characteristic is zero. Hence there is $v\in {\mathcal{O}}_L^{\times }$ with $v^n=u$. Setting $s=v\pi$ givesThe elements $1,s,\dots ,s^{n-1}$ are linearly independent over $K$. In a nontrivial relation ${\sum }_{i=0}^{n-1}{a}_i{s}^i=0$, the nonzero summands have valuations $n{v}_K(a_i)+i$, distinct modulo $n$, so exactly one has least valuation and cannot cancel. Since $L$ has dimension $n$, this proves $L=K(s)$.

The constants already embed $\mathbb{C}$ into ${\mathcal{O}}_L$ with residue field $\mathbb{C}$. Subtracting the residue coefficient and dividing by $s$ repeatedly, exactly as in Question 1(c), expresses every integral element uniquely as ${\sum }_{j\ge 0}{c}_j{s}^j$ with $c_j\in \mathbb{C}$. Completeness and the first-nonzero-coefficient valuation show that allowing finite negative powers givesThis proof of finite extensions of the complex Laurent series field did not need a Galois hypothesis. All $n$ distinct $n$th roots of unity lie in the constant field, and the substitutions $s\mapsto \zeta s$ preserve $s^n=t$. They give all $n$ automorphisms, so every such finite extension is cyclic Galois:

Choose compatible roots $s_n=t^{1/n}$ in an algebraic closure, first choosing them successively along the factorial-degree tower and then taking powers to define the other roots, with $s_n=s_m^{m/n}$ whenever $n\mid m$. The fields $K_n=K(s_n)$ are nested under divisibility. Every finite extension inside the closure equals one of them: its constructed root $s$ of $X^n-t$ differs from $s_n$ by a constant root of unity. Therefore their union is the entire algebraic closure. Explicitly, every algebraic element generates a finite extension, so lies in the union; any polynomial over the union has its coefficients in one finite extension, and its roots are still algebraic over $K$, hence also lie there.

For $n\mid m$, restriction of automorphisms sends ${\zeta }_m\in {\mu }_m$ to ${\zeta }_m^{m/n}\in {\mu }_n$. Using the compatible primitive roots $\exp (2\pi i/n)$, these are the reduction maps on exponent groups. Thus the absolute Galois group of the complex Laurent series field isThe inverse limit carries its profinite topology; choosing compatible roots gives the displayed identification with the profinite completion of the integers.