$K$-theory of local fields Algebraic number theory (local fields) mathematics