ScalingStacks

Proof. [038F]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Splitting the extension K′/KK^{\prime}/K into a purely inseparble part and a Galois part, we can reduce to two cases. In the first case of a purely insparable extension, the result follows from Lemma 2.12 below. In the second case of a Galois extension, we can apply the argument of [BFJ15, Lemma A.4]. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.