Today we consider the case of a totally ramified extension of local fields , with residue fields —recall that this means . It turns out that there is a similar characterization as for unramified extensions. (more…)

October 23, 2009

## Totally ramified extensions

Posted by Akhil Mathew under algebra, algebraic number theory, number theory | Tags: discrete valuation rings, Eisenstein polynomials, ramification, totally ramified extensions |[6] Comments

October 20, 2009

## Unramified extensions

Posted by Akhil Mathew under algebra, algebraic number theory, number theory | Tags: discrete valuation rings, Nakayama's lemma, unramified extensions |1 Comment

As is likely the case with many math bloggers, I’ve been looking quite a bit at MO and haven’t updated on some of the previous series in a while.

Back to ANT. Today, we tackle the case . We work in the local case where all our DVRs are complete, and all our residue fields are perfect (e.g. finite) (EDIT: I don’t think this works out in the non-local case). I’ll just state these assumptions at the outset. Then, **unramified extensions** can be described fairly explicitly. (more…)

September 5, 2009

## Extensions of discrete valuations

Posted by Akhil Mathew under algebra, algebraic number theory, commutative algebra, number theory | Tags: absolute values, Dedekind domains, discrete valuation rings, separable extensions |Leave a Comment

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. (more…)

September 2, 2009

## Hensel's lemma and a classification theorem

Posted by Akhil Mathew under algebra, algebraic number theory, commutative algebra, number theory | Tags: characteristic zero, discrete valuation rings, Hensel's lemma |[3] Comments

So, I’ll discuss the proof of a classification theorem that DVRs are often power series rings, using Hensel’s lemma.

**Systems of representatives **

Let be a complete DVR with maximal ideal and quotient field . We let ; this is the **residue field** and is, e.g., the integers mod for the -adic integers (I will discuss this more later).

The main result that we have today is:

Theorem 1Suppose is of characteristic zero. Then , the power series ring in one variable, with respect to the usual discrete valuation on . (more…)

August 31, 2009

## Dedekind domains

Posted by Akhil Mathew under algebra, algebraic number theory, commutative algebra, number theory | Tags: Dedekind domains, discrete valuation rings, Krull dimension, unique factorization |[2] Comments

Today’s (quick) topic focuses on Dedekind domains. These come up when you take the ring of integers in any finite extension of (i.e. number fields). In these, you don’t necessarily have unique factorization. But you do have something close, which makes these crucial.

Definition 1A(more…)Dedekind domainis a Noetherian integral domain that is integrally closed, and of Krull dimension one—that is, each nonzero prime ideal is maximal.

August 30, 2009

## DVRs II

Posted by Akhil Mathew under algebra, algebraic number theory, commutative algebra, number theory | Tags: discrete valuation rings, PIDs, prime ideals, UFDs |[3] Comments

Earlier I went over the definition and first properties of a discrete valuation ring. Today, it’s time to say how we can tell a ring is a DVR–it turns out to be not too bad, which is nice because the properties we need in this criterion are often easier to work with than the existence of some discrete valuation.

Today’s result is:

Theorem 1If the domain is Noetherian, integrally closed, and has a unique nonzero prime ideal , then is a DVR. Conversely, any DVR has those properties. (more…)

August 28, 2009

## Discrete valuation rings and absolute values

Posted by Akhil Mathew under algebra, algebraic number theory, commutative algebra, number theory | Tags: absolute values, discrete valuation rings, p-adic absolute value, principal ideal domains |[3] Comments

I was initially planning on doing a post on Hensel’s lemma. Actually, I think I’ll leave that for later, after I’ve covered some more number theory (which may motivate it better).

So the goal for the next several posts is to cover some algebraic number theory, eventually leading into class field theory. At least in the near future, I intend to keep everything purely local. Thus, the appropriate place to start is to discuss discrete valuation rings rather than Dedekind domains.

**Absolute Values **

Actually, it is perhaps more logical to introduce discrete valuations as a special case of absolute values, which in turn generalize the standard absolute value on . (more…)