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!