Lower ramification filtration of a prime-power cyclotomic extension

ID: lower-ramification-filtration-of-a-prime-power-cyclotomic-extension

For , the uniformiser and the uniformizer criterion for lower ramification groups give the displayed valuation for . Thus is the full unit group modulo , and consists of units congruent to one modulo when , . All groups are trivial for . The formula includes , where the first congruence subgroup is already the full group.

New to topics? Read the docs here!