Cyclotomic reduction at a conductor prime

ID: cyclotomic-reduction-at-a-conductor-prime

For and , the identity gives the displayed reduction, since taking a th power equals substitution in characteristic . The reduction of is squarefree because it divides the separable polynomial . The Kummer-Dedekind theorem therefore gives ramification index of a prime ideal in the cyclotomic field. In particular, a conductor factor occurring only to the first power has index one and creates no ramification by itself.

New to topics? Read the docs here!