class number divisibility in extensions

Throughout this entry we will use the following corollary to the existence of the Hilbert class field (see the parent entry, unramified extensions and class number divisibility for details of the proof).

Corollary 1.

Let $K$ be a number field, $h_{K}$ is its class number and let $p$ be a prime. Then $K$ has an everywhere unramified Galois extension of degree $p$ if and only if $h_{K}$ is divisible by $p$ .

In this entry we are concerned about the divisibility properties of class numbers of number fields in extensions.

Theorem 1.

Let $F/K$ be a Galois extension of number fields, let $h_{F}$ and $h_{K}$ be their respective class numbers and let $p$ be a prime number such that $p$ does not divide $[F:K]$ , the degree of the extension. Then, if $p$ divides $h_{K}$ , the class number of $F$ , $h_{F}$ , is also divisible by $p$ .

Proof.

Let $F$ , $K$ and $p$ be as in the statement of the theorem. Assume that $p|h_{K}$ . Thus, by the corollary above, there exists an unramified Galois extension field $E$ of $K$ of degree $p$ . Notice that the fact that $p$ does not divide the degree of the extension $F/K$ implies that $F\\cap E=K$ . In particular, the compositum $F E$ is a Galois extension of $F$ and

\\operatorname{Gal}(FE/F)\\cong\\operatorname{Gal}(E/E\\cap F)\\cong\\operatorname{%Gal}(E/K).

Thus, the extension $FE/F$ is of degree $p$ , Galois, and therefore abelian. By the corollary above, in order to prove the theorem it suffices to show that the extension $FE/F$ is unramified. Suppose for a contradiction that $\\mathcal{Q}_{F}$ is a prime ideal which ramifies in the extension $FE/F$ . Let $\\mathcal{Q}_{EF}$ be a prime lying above $\\mathcal{Q}_{F}$ and let $\\mathcal{Q}_{K}$ be a prime of $K$ such that $\\mathcal{Q}_{F}$ lies above it. Similarly, let $\\mathcal{Q}_{E}$ be a prime of $E$ lying above $\\mathcal{Q}_{K}$ and such that the prime $\\mathcal{Q}_{EF}$ lies above $\\mathcal{Q}_{E}$ . For an arbitrary extension $A/B$ , the ramification index of a prime $\\mathcal{Q}_{A}$ is denoted by $e(\\mathcal{Q}_{B}|\\mathcal{Q}_{A})$ . Then, by the multiplicativity of the ramification index in towers, we have:

e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{K})=e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{F})\\cdot e%(\\mathcal{Q}_{F}|\\mathcal{Q}_{K})=e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{E})\\cdot e(%\\mathcal{Q}_{E}|\\mathcal{Q}_{K})

Since we assumed that $\\mathcal{Q}_{F}$ is ramified in $EF/F$ , and the degree of the extension is $p$ , we must have $e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{F})=p$ . Therefore, by the equality above, $p$ divides $e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{E})\\cdot e(\\mathcal{Q}_{E}|\\mathcal{Q}_{K})$ . Notice that the extension $E/K$ is everywhere unramified, therefore $e(\\mathcal{Q}_{E}|\\mathcal{Q}_{K})=1$ . Also, $[EF:E]=[F:K]$ which, by hypothesis, is relatively prime to $p$ . Thus $e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{E})$ is also relatively prime to $p$ , and so, $p$ is not a divisor of $e(\\mathcal{Q}_{EF}|\\mathcal{Q}_{E})\\cdot e(\\mathcal{Q}_{E}|\\mathcal{Q}_{K})$ , which leads to the desired contradiction, finishing the proof of the theorem.∎

Also, read the entry extensions without unramified subextensions and class number divisibility for a similar and more general result.

Title	class number divisibility in extensions
Canonical name	ClassNumberDivisibilityInExtensions
Date of creation	2013-03-22 15:04:17
Last modified on	2013-03-22 15:04:17
Owner	alozano (2414)
Last modified by	alozano (2414)
Numerical id	9
Author	alozano (2414)
Entry type	Theorem
Classification	msc 11R37
Classification	msc 11R32
Classification	msc 11R29
Related topic	IdealClass
Related topic	ExistenceOfHilbertClassField
Related topic	CompositumOfAGaloisExtensionAndAnotherExtensionIsGalois
Related topic	DecompositionGroup
Related topic	ExtensionsWithoutUnramifiedSubextensionsAndClassNumberDivisibility
Related topic	ClassNumbersAndDiscriminantsTopicsOnClassGroups