Situation 16.4.1. Here $R \subset \Lambda$ is an extension of discrete valuation rings with ramification index $1$ (More on Algebra, Definition 15.111.1). We assume given a factorization

$R \to A \xrightarrow {\varphi } \Lambda$

with $R \to A$ flat and of finite type. Let $\mathfrak q = \mathop{\mathrm{Ker}}(\varphi )$ and $\mathfrak p = \varphi ^{-1}(\mathfrak m_\Lambda )$.

Comment #3784 by Dario Weißmann on

Typo: Moreover, we assume given... Sounds a bit awkward, maybe: we assume we are given?


Comment #3785 by Dario Weißmann on

And right after the situation: ...$\pi$ maps to uniformizer -> maps to a uniformizer

...wich comes endowed with -> which comes endowed with

Comment #3786 by Dario Weißmann on

Searching for "wich" also turns up 24 results

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