## You are here

Homeideal class group is finite

## Primary tabs

# ideal class group is finite

We give two proofs of the finiteness of the class group, one using the bound provided by Minkowski’s theorem and a second, more elementary, proof that does not provide the same computational benefits as Minkowski’s bound does. Both proofs rely on the following lemma:

###### Lemma 1.

If $K$ is an algebraic extension of $\mathbb{Q}$ and $0<d\in\mathbb{Z}$, then there are only a finite number of ideals of norm $d$.

Proof.

The norm of a prime ideal $\mathfrak{P}$ of $K$ lying over a rational prime $p$ is $p^{f}$, where $f$ is the residue field degree $[\mathcal{O}_{K}/\mathfrak{P}\mathcal{O}_{K}:\mathbb{Z}/p\mathbb{Z}]$, and there are at most $[K:\mathbb{Q}]$ prime ideals lying over any given rational prime. There are thus only a finite number of possibilities for ideals with norm $d$ - simply factor $d$ into a product of prime powers and note that each prime power must correspond to one of a finite number of possibilities.

The finiteness of the class group now follows trivially from Minkowski’s theorem:

###### Theorem 1.

If $K$ is an algebraic extension of $\mathbb{Q}$, then the class group of $K$, denoted $\Cl(K)$, is finite.

Proof.

Minkowski’s theorem guarantees that each ideal class contains a representative integral ideal whose norm is bounded by a constant depending only on the field, and the lemma shows that there are only a finite number of integral ideals with norm less than that constant.

Minkowski’s theorem gives enough information about the size of the class group to be computationally useful in some cases (see the topic on using Minkowski’s constant to find a class number). It does, however, require quite a bit of machinery. To see in a more elementary way that $\Cl(K)$ is finite, one can proceed as follows:

Proof. (alternate proof of theorem)

By the lemma, it suffices to show that there is *some* constant $C$, depending only on $K$, such that every class in $\Cl(K)$ has a representative $I\subset\mathcal{O}_{K}$ with $\N(I)\leq C$.
For $u\in K$, denote by $T_{u}$ the linear map left multiplication by $u$, and let $e_{1},\ldots,e_{n}$ be a basis of $\mathcal{O}_{K}$ as a $\mathbb{Z}$-module (where $[K:\mathbb{Q}]=n$). Then if $u=\sum b_{i}(u)e_{i}$, it follows that

$\N(u)=\det(T_{u})=\det\left(\sum b_{i}(u)T_{{e_{i}}}\right)$ |

is a polynomial of total degree at most $n$ in the $b_{i}(u)$, whose coefficients are functions of the $T_{{e_{i}}}$ and thus depend only on $K$ (and not on $u$). Let $C$ be the sum of the magnitude of those coefficients.

Let $c$ be a class in $\Cl(K)$ and let $J\subset\mathcal{O}_{K}$ be a representative of the class $c^{{-1}}$. Consider $S=\{\sum_{{i=1}}^{n}r_{i}e_{i}\ \mid\ 1\leq r_{i}\leq\lfloor\N(J)^{{1/n}}+1\rfloor\}$. The cardinality of $S$ is strictly greater than $\N(J)$, while $\lvert\mathcal{O}_{K}/J\rvert=\N(J)$. So by the pigenhole principle, two distinct elements of $S$ are in the same $J$-coset of $\mathcal{O}_{K}$. Taking their difference, we get an element $0\neq x=\sum b_{i}(x)e_{i}\in J$, where not all the $b_{i}(x)$ are zero, and $\lvert b_{i}(x)\rvert\leq\N(J)^{{1/n}}$.

Now, since $x\in J$, using unique factorization of ideals in the Dedekind ring $\mathcal{O}_{K}$, we can construct an integral ideal $I$ such that $IJ=(x)$, so that $I$ is in the class $c\in\Cl(K)$. Finally,

$\N(I)\N(J)=\N(x)\leq C(\max(b_{1}(x),\ldots,b_{n}(x)))^{n}\leq C\N(J)$ |

so that $\N(I)\leq C$.

## Mathematics Subject Classification

11R29*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prime numbers out of sequence by Rubens373

Oct 7

new question: Lorenz system by David Bankom

Oct 19

new correction: examples and OEIS sequences by fizzie

Oct 13

new correction: Define Galois correspondence by porton

Oct 7

new correction: Closure properties on languages: DCFL not closed under reversal by babou

new correction: DCFLs are not closed under reversal by petey

Oct 2

new correction: Many corrections by Smarandache

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag