Similar to クンマー環

Main conjecture of Iwasawa theory

Gauss sum

Kronecker–Weber theorem

Regular prime

Hasse–Davenport relation

Jacobi sum