##
Totally ramified extensions
*October 23, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, number theory.*

Tags: discrete valuation rings, Eisenstein polynomials, ramification, totally ramified extensions

6 comments

Tags: discrete valuation rings, Eisenstein polynomials, ramification, totally ramified extensions

6 comments

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…)

##
Unramified extensions
*October 20, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, number theory.*

Tags: discrete valuation rings, Nakayama's lemma, unramified extensions

1 comment so far

Tags: discrete valuation rings, Nakayama's lemma, unramified extensions

1 comment so far

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…)

##
The Artin-Whaples approximation theorem
*October 6, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, number theory.*

Tags: absolute values, approximation theorem, Artin-Whaples

add a comment

Tags: absolute values, approximation theorem, Artin-Whaples

add a comment

The Artin-Whaples approximation theorem is a nice extension of the Chinese remainder theorem to absolute values, to which it reduces when the absolute values are discrete.

So fix pairwise nonequivalent absolute values on the field ; this means that they induce different topologies, so are not powers of each other.

Theorem 1 (Artin-Whaples)Hypotheses as above, given and , there exists with

##
Topologies determine the absolute value
*October 5, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, number theory.*

Tags: absolute values, completeness, norms, topologies

1 comment so far

Tags: absolute values, completeness, norms, topologies

1 comment so far

Time to go back to basic algebraic number theory (which we’ll need for two of my future aims here: class field theory and modular representation theory), and to throw in a few more facts about absolute values and completions—as we’ll see, extensions in the complete case are always unique, so this simplifies dealing with things like ramification. Since ramification isn’t affected by completion, we can often reduce to the complete case.

**Absolute Values **

Henceforth, all absolute values are nontrivial—we don’t really care about the absolute value that takes the value one everywhere except at zero.

I mentioned a while back that absolute values on fields determine a topology. As it turns out, there is essentially a converse.

Theorem 1Let , be absolute values on inducing the same topology. Then is a power of .(more…)

##
A talk on the p-adic numbers
*September 16, 2009*

*Posted by Akhil Mathew in algebraic number theory, General, math education, number theory.*

Tags: independent study, p-adic numbers, talks

7 comments

Tags: independent study, p-adic numbers, talks

7 comments

The start of the academic year has made it much more difficult for me to get in serious posts as of late, and the number theory series has slowed. Things should clear up at least somewhat in a few more weeks. In the meantime, I’ll do something that occurred to me a while back but I then forgot about: posting a talk.

I took an independent study course last semester on class field theory. As is traditional, I gave a talk last May after the course on some aspects of the subject matter. Several faculty members at the university and teachers in my school attended, along with some undergraduates there. In the talk, I gave an elementary overview of the p-adic numbers, assuming no more than basic number theory and point-set topology.

Anyway, I am posting the (slightly corrected) presentation and the notes here.

##
e, f, and the remainder theorem
*September 12, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.*

Tags: Chinese remainder theorem, Dedekind domains, ramification

1 comment so far

Tags: Chinese remainder theorem, Dedekind domains, ramification

1 comment so far

So, now to the next topic in introductory algebraic number theory: ramification. This is a measure of how primes “split.” (*No, definitely wrong word there…)*

**e and f**

Fix a Dedekind domain with quotient field ; let be a finite separable extension of , and the integral closure of in . We know that is a Dedekind domain.

(By the way, I’m now assuming that readers have been following the past few posts or so on these topics.)

Given a prime , there is a prime lying above . I hinted at the proof in the previous post, but to save time and avoid too much redundancy I’ll refer interested readers to this post.

Now, we can do a prime factorization of say . The primes contain and consequently lie above . Conversely, any prime of containing must lie above , since if is an ideal in a Dedekind domain contained in a prime ideal , then occurs in the prime factorization of (to see this, localize and work in a DVR). (more…)

##
Extensions of discrete valuations
*September 5, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.*

Tags: absolute values, Dedekind domains, discrete valuation rings, separable extensions

add a comment

Tags: absolute values, Dedekind domains, discrete valuation rings, separable extensions

add 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…)

##
Hensel’s lemma and a classification theorem
*September 2, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.*

Tags: characteristic zero, discrete valuation rings, Hensel's lemma

3 comments

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…)

##
Completions of fields
*September 1, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.*

Tags: absolute values, Cauchy sequences, completions, p-adic numbers

add a comment

Tags: absolute values, Cauchy sequences, completions, p-adic numbers

add a comment

So again, we’re back to completions, though we’re going to go through it quickly. Except this time we have a field with an absolute value like the rationals with the usual absolute value.

**Completions **

Definition 1The(more…)completionof is defined as the set of equivalence classes of Cauchy sequences:

##
Dedekind domains
*August 31, 2009*

*Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.*

Tags: Dedekind domains, discrete valuation rings, Krull dimension, localization, Noetherian rings, unique factorization

2 comments

Tags: Dedekind domains, discrete valuation rings, Krull dimension, localization, Noetherian rings, 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.