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

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

## Comments (4)

Comment #3784 by Dario Weißmann on

Comment #3785 by Dario Weißmann on

Comment #3786 by Dario Weißmann on

Comment #3911 by Johan on