Lemma 15.112.1. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension with Galois group $G$. Then $G$ acts on the ring $B$ of Remark 15.111.6 and acts transitively on the set of maximal ideals of $B$.

Proof. Observe that $A = B^ G$ as $A$ is integrally closed in $K$ and $K = L^ G$. Hence this lemma is a special case of Lemma 15.110.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).