Extensions of discrete valuations

With the school year starting, I can’t keep up with the one-post-a-day frequency anymore. Still, I want to keep plowing ahead towards class field theory.

Today’s main goal is to show that under certain conditions, we can always extend valuations to bigger fields. I’m not aiming for maximum generality here though. 

Dedekind Domains and Extensions  

One of the reasons Dedekind domains are so important is

Theorem 1 Let be a Dedekind domain with quotient field , a finite separable extension of , and the integral closure of in . Then is Dedekind.