Cyclotomic local different exponent

ID: cyclotomic-local-different-exponent

For , the uniformizer has different exponent . Differentiate the cyclotomic polynomial at : the numerator contributes to the valuation, while the denominator contributes .

New to topics? Read the docs here!