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 1Let be a Dedekind domain with quotient field , a finite separable extension of , and the integral closure of in . Then is Dedekind.

This can be generalized to the Krull-Azizuki theorem.

I’ll sketch the proof. We need to check that is Noetherian, integrally, closed, and of dimension 1.

- Noetherian. Indeed, is a finitely generated module. The -linear map , is nondegenerate since is separable over . Let be a free module spanned by a -basis for . Then since traces preserve integrality and is integrally closed, we have , where . Now is -free on the dual basis of though, so is a submodule of a f.g. module, hence a f.g. -module.
- Integrally closed. It is an integral closure, and integrality is transitive.
- Dimension 1. Indeed, integral extensions preserve dimension by lying over, going up, and a corollary.

So, consequently the ring of algebraic integers (integral over ) in a number field (finite extension of ) is Dedekind.

**Extensions of discrete valuations **

The real result we care about is:

Theorem 2Let be a field, a finite separable extension. Then a discrete valuation on can be extended to one on .

Indeed, let be the ring of integers. Then is a DVR, hence Dedekind, so the integral closure is Dedekind too (though in general it is not a DVR). Now as above, is a finite -module, so if is the maximal ideal, then

by Nakayama. So is contained in a maximal ideal of with, therefore, . (This is indeed the basic argument behind lying over, which I could have just invoked.) Now is a DVR as it is the localization of a Dedekind domain at a prime ideal. So there is a discrete valuation on . Restricted to , it will be a power of the given -valuation. This is ok, since a power of a discrete valuation is a discrete valuation too.

This completes the proof. Note that there is a one-to-one correspondence between extensions of the valuation on and primes of lying above . Indeed, the above proof indicated a way of getting valuations from primes. For an extension of the valuation on to , let .

Also, I think the above result can be extended to purely inseparable extensions (hence all algebraic extensions): if is purely inseparable of degree , then define the valuation on by raising to the power , taking the valuation in , and raising the resulting real number to the power .

Next up: Ramification.

## Leave a Reply