Totally ramified extensions October 23, 2009Posted by Akhil Mathew in algebra, algebraic number theory, number theory.
Tags: discrete valuation rings, Eisenstein polynomials, ramification, totally ramified extensions
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, 2009Posted by Akhil Mathew in algebra, algebraic number theory, number theory.
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, 2009Posted by Akhil Mathew in algebra, algebraic number theory, number theory.
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, 2009Posted by Akhil Mathew in algebra, algebraic number theory, number theory.
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.
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 1 Let , be absolute values on inducing the same topology. Then is a power of . (more…)
A talk on the p-adic numbers September 16, 2009Posted by Akhil Mathew in algebraic number theory, General, math education, number theory.
Tags: independent study, p-adic numbers, talks
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.
e, f, and the remainder theorem September 12, 2009Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.
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, 2009Posted 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
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. (more…)
Hensel’s lemma and a classification theorem September 2, 2009Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.
Tags: characteristic zero, discrete valuation rings, Hensel's lemma
So, I’ll discuss the proof of a classification theorem that DVRs are often power series rings, using Hensel’s lemma.
Systems of representatives
The main result that we have today is:
Theorem 1 Suppose 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, 2009Posted by Akhil Mathew in algebra, algebraic number theory, commutative algebra, number theory.
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.
Definition 1 The completion of is defined as the set of equivalence classes of Cauchy sequences: (more…)
Dedekind domains August 31, 2009Posted 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
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.