Es sei ( B , p ) ⊆ ( S , q ) {\displaystyle {}(B,{\mathfrak {p}})\subseteq (S,{\mathfrak {q}})} eine endliche Erweiterung von diskreten Bewertungsringen. Es sei h ∈ S {\displaystyle {}h\in S} eine Ortsuniformisierende derart, dass
gilt.
Dann ist S = B [ h ] {\displaystyle {}S=B[h]} .
![{\displaystyle {}\kappa ({\mathfrak {p}})[{\overline {h}}]=\kappa ({\mathfrak {q}})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b8ac330b013d06740a7a5c463285e35a41bf3a9)
![{\displaystyle {}S=B[h]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d48a2aa968f03cac213e2c3698a1f579d78db937)