Roots of unity at the tame ramification boundary
ID: roots-of-unity-at-the-tame-ramification-boundary
For odd , both possibilities occur at : contains -torsion, while does not. Both extensions are totally ramified of degree by the Eisenstein criterion. In the second field, if with , the cyclotomic equation reduced after division by would give in , contradicting . For , always permits the root , so the torsion exponent is exactly one and the zero-exponent alternative is impossible.
New to topics? Read the docs here!