Similar to 離散付値環

Class number problem

Cyclotomic character