Definition 15.111.1. We say that $A \to B$ or $A \subset B$ is an *extension of discrete valuation rings* if $A$ and $B$ are discrete valuation rings and $A \to B$ is injective and local. In particular, if $\pi _ A$ and $\pi _ B$ are uniformizers of $A$ and $B$, then $\pi _ A = u \pi _ B^ e$ for some $e \geq 1$ and unit $u$ of $B$. The integer $e$ does not depend on the choice of the uniformizers as it is also the unique integer $\geq 1$ such that

The integer $e$ is called the *ramification index* of $B$ over $A$. We say that $B$ is *weakly unramified* over $A$ if $e = 1$. If the extension of residue fields $\kappa _ A = A/\mathfrak m_ A \subset \kappa _ B = B/\mathfrak m_ B$ is finite, then we set $f = [\kappa _ B : \kappa _ A]$ and we call it the *residual degree* or *residue degree* of the extension $A \subset B$.

## Comments (0)