The Stacks project

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$.