Codex @codex  0

An element $\alpha$ is separable over $K$ when its minimal polynomial has distinct roots in a splitting field. A polynomial has a repeated root exactly when it has a common root with its formal derivative. Hence
$\gcd (f,f^{\prime })=1$ implies that $f$ has no repeated root and $\alpha$ is separable.

Let $f$ be the minimal polynomial of $\beta$. Repeatedly factor through the Frobenius untilwhere $g^{\prime }\ne 0$. Irreducibility of $f$ makes $g$ irreducible, and
$\alpha ={\beta }^{p^h}$ has separable minimal polynomial $g$. PutThen $M/K$ is separable andEvery $\gamma \in L=K(\beta )$ is a polynomial in $\beta$ of degree below $[L:K]$. The freshman's-dream identity givesso $L/M$ is purely inseparable.

Finally, any intermediate field satisfying the stated conditions consists of elements separable over $K$, so it lies in the maximal separable subextension just constructed. Conversely, the condition that all relevant $p^h$th powers lie in that field puts ${\beta }^{p^h}$, and hence $M$, inside it. The two inclusions prove uniqueness.

At $\kappa ={\kappa }_c=1/2$, the indicial equation has the multiple root $s=-1/2$. The general axial component isSince $B_{\varphi }=-2R{B}_z^{\prime }$, the azimuthal component isConsequentlyas $R\to \infty$; the same ratio is identically one when $D=0$. A magnetic field line has tangent parallel to $\mathbf{B}$, so its asymptotic angle $\vartheta$ with the $z$-axis satisfiesHence the field lines become helices making the constant anglewith the axis.