Ramification-group sum for a monogenic integer ring

ID: ramification-group-sum-for-a-monogenic-integer-ring

If is a finite Galois extension of local fields, , and is the minimal polynomial of , then

New to topics? Read the docs here!