付値と整数 メモ

$$\newcommand{Ast}[0]{\operatorname{Ast}} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{floor}[1]{\lfloor #1 \rfloor} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{Max}[0]{\operatorname{Max}} \newcommand{Spec}[0]{\operatorname{Spec}} $$