Characteristic p Galois dimension bound (source code)

= Characteristic p Galois dimension bound
{title2=$\operatorname{cd}_p(K)\le1$}

A field of characteristic $p$ satisfies $\operatorname{cd}_p(K)\le1$. The Artin-Schreier sequence and vanishing of positive-degree cohomology of the additive separable-closure module yield the bound. It concerns discrete $p$-primary modules; it does not assert that the $p$-primary <Brauer group> vanishes.