不可分指数与精炼分歧断点

设 $K$ 为 $\mathbb{Q}_p$ 的有限扩张，$L/K$ 为具有单一分歧断点 $b$ 的全分歧 $(\mathbb{Z}/p\mathbb{Z})^2$-扩张。Byott 和 Elder 为 $L/K$ 定义了一个“精炼分歧断点”$b_*$。本文证明，若 $p>2$ 且 $L/K$ 的不可分指数 $i_1$ 不等于 $p^2b-pb$，则 $b_*=i_1-p^2b+pb+b$。