PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] extensions without unramified subextensions and class number divisibility (Theorem)
Theorem 1   Let $ F/K$ be an extension of number fields such that for any intermediate Galois extension $ L/K$, with $ K\subsetneq L \subsetneq F$, there is at least one finite place or infinite place which ramifies in the extension $ L/K$. Then, $ h_K$, the class number of $ K$, divides the class number of $ F$, $ h_F$.

First, we deduce some immediate corollaries.

Corollary 1   Let $ F/K$ be an extension of number fields which is totally ramified at some prime (or at an archimedean place). Then $ h_K$ divides $ h_F$.
Proof. The proof is clear since there cannot be unramified subextensions. The theorem applies. $ \qedsymbol$
Corollary 2   Let $ F/K$ be a Galois extension of number fields such that $ \operatorname{Gal}(F/K)$ is a non-abelian simple group. Then $ h_K$ divides $ h_F$.
Proof. In this case, there cannot be subextensions with abelian Galois group and the theorem applies. $ \qedsymbol$
Proof. [Proof of the Theorem] Let $ H$ be the Hilbert class field of $ K$. By definition, $ H$ is the maximal unramified abelian extension of $ K$, $ \operatorname{Gal}(H/K)$ is isomorphic to $ \operatorname{Cl}(K)$, the ideal class group of $ K$ and $ [H:K]=h_K$. Since there are no nontrivial unramified abelian subextensions of $ F/K$, we have $ F\cap H=K$ and so $ [FH:F]=[H:K]=h_K$. One can show that the extension $ FH/F$ is unramified and abelian (in fact $ \operatorname{Gal}(FH/F)\cong \operatorname{Gal}(H/K)$). Therefore $ FH$ is contained in $ L$, the Hilbert class field of $ F$. Hence:
$\displaystyle h_F=[L:F]=[L:FH]\cdot[FH:F]=[L:FH]\cdot [H:K]=[L:FH]\cdot h_K$
and so, $ h_K$ divides $ h_F$. $ \qedsymbol$



"extensions without unramified subextensions and class number divisibility" is owned by alozano.
(view preamble)

View style:

See Also: push-down theorem on class numbers, class number divisibility in extensions, ideal class, existence of Hilbert class field, the compositum of a Galois extension and another extension is Galois, decomposition group

Keywords:  divisibility, class number, tower of number fields

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contained, ideal class group, isomorphic, abelian extension, Hilbert class field, Galois group, abelian, simple group, clear, archimedean place, prime, totally ramified, divides, class number, ramifies, finite place, Galois extension, number fields, extension
There are 2 references to this entry.

This is version 1 of extensions without unramified subextensions and class number divisibility, born on 2005-03-10.
Object id is 6866, canonical name is ExtensionsWithoutUnramifiedSubextensionsAndClassNumberDivisibility.
Accessed 1171 times total.

Classification:
AMS MSC11R29 (Number theory :: Algebraic number theory: global fields :: Class numbers, class groups, discriminants)
 11R32 (Number theory :: Algebraic number theory: global fields :: Galois theory)
 11R37 (Number theory :: Algebraic number theory: global fields :: Class field theory)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)