If is an unramified extension and is a totally ramified extension of non-Archimedean local fields inside a fixed algebraic closure, then is totally ramified of degree . A uniformizer of has an Eisenstein polynomial over . Since a uniformizer of remains a uniformizer in , that polynomial remains Eisenstein over and generates .
Let , with , and . The extension is unramified quadratic, whereas is totally ramified quadratic over , by the Eisenstein polynomial . Also , so . The Hensel lemma gives with . Put ; then and . Consequently , defines an automorphism whose square fixes and negates . It generates the cyclic Galois group of order four. Its unique quadratic subfield is , which is unramified. A decomposition as an unramified field and a totally ramified field would require a totally ramified quadratic subfield, and therefore cannot exist.
Articles by others on the same topic
There are currently no matching articles.