The cyclotomic extension is generated by a primitive th root of unity. It is totally ramified and has Galois group .
Here and . The prime-to- roots of unity generate an unramified extension of degree equal to the multiplicative order of modulo ; for this degree is one. Indeed, their distinct residues lift uniquely by Hensel lemma, and the Frobenius automorphism acts by raising them to . The -power roots of unity generate a totally ramified extension, because the translated cyclotomic polynomial is Eisenstein. The two fields have trivial intersection and their compositum has the same residue degree as the prime-to- field, by unramified base change preserves total ramification. Thus total ramification is equivalent to .
Articles by others on the same topic
There are currently no matching articles.