Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am probably being very naive, but I don't see why the Kronecker-Weber theorem is regarded as such a significant result. Is it surprising and unintuitive? Are many important historical number-theoretic questions answered as immediate corollaries of it?

share|improve this question
1  
To begin with, it is rather surprising and terribly beautiful... –  DonAntonio Feb 23 at 4:59
    
How so? Perhaps I just don't have enough of an intuition of number fields to appreciate it. –  Mehta Feb 23 at 5:00
1  
How so what , @Mehta ? –  DonAntonio Feb 23 at 5:01

1 Answer 1

A Galois group is basically the symmetry of a number system: the ways of relabelling the numbers (elements of a field) in a way which preserves the truth of all (algebraic) equations involving them.

One of the prime directives in all of mathematics is the task of classification, and the classification of various structures or situations that have a given kind of symmetry is no exception. The most canonical choice of field is the field of rational numbers $\Bbb Q$, and so there is the problem of, for instance, finding all number fields with a given Galois group. This is too much to ask in general; the much simpler question "are all finite groups realizeable as symmetries over $\Bbb Q$" is itself a very hard open problem, called the Inverse Galois Problem.

Within the family of isomorphism classes of finite groups, there are various ways to think of it as a heirarchy or a spectrum, where on one end we have those groups that are easiest to work with in a given context, and then on the other extreme there are groups that are hardest. Generally speaking the easiest will be cyclic of prime degree, then all cyclic groups, then abelian, then nilpotent, then solvable, or perhaps only focusing on $p$-groups or on simple groups, etc. So with our Very Hard problem of classifying the Symmetries of Numbers, the first steps on the ladder of difficulty comprise the task of thinking about abelian Galois groups.

So even before one considers if Kronecker-Weber is surprising or intuitive, its significance is already understood, because it is the answer to an important question: "where do abelian extensions lie?"

Unfortunately, I lack the experience and background to say definitively how KW might be intuitive or why it could be considered surprising. On the former point, perhaps it could be considered analogous to the positive characteristic situation where all abelian extensions of finite fields are contained in cyclotomic extensions $-$ it is much tighter than that though: all extensions of finite fields are cyclic and cyclotomic, so I am skeptical about that thought. On the latter point, as "galois problems" are so apparently hard, it could be considered surprising that such a clean, simple answer turns up for abelian groups, even if abelian is the easy mode part of the game (relatively speaking).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.