list of all imaginary quadratic extensions whose ring of integers is a PID

Gauss conjectured that for any , $\mathrm{\Delta }\equiv 0,1(mod4)$, then ${𝒞}_{\mathrm{\Delta }}=1$ precisely when

$$\mathrm{\Delta }=-3,-4,-7,-8,-11,-12,-16,-19,-27,-28,-43,-67,-163$$

In fact, he believed that as $\mathrm{\Delta }\to -\mathrm{\infty },\mathrm{\Delta }\equiv 0,1(mod4)$, so does the number of classes of (primitive positive integral binary quadratic) forms with http://planetmath.org/node/IntegralBinaryQuadraticFormsdiscriminant $\mathrm{\Delta }$.

It is relatively easy to show that the only $\mathrm{\Delta }\equiv 0(mod4)$ with this property are the ones in this list; that proof is given in an addendum to this article.

However, proving the remainder of Gauss’ hypotheses, regarding the odd values in the list, proved significantly harder. In the first half of the ${20}^{\mathrm{th}}$ century, Siegel showed that there was at most one such value beyond what Gauss had found. Heegner, Stark, and Baker showed, about $30$ years later, that there are in fact no more ([2],[3],[4]).

Thus given an imaginary quadratic extension $K$, it follows that the ring of integers of $K$, denoted ${𝒪}_K$, is a PID if and only if the class group of $K$ is trivial if and only if there is only one class of primitive quadratic forms of the appropriate http://planetmath.org/node/DiscriminantOfANumberFielddiscriminant $d_K$ if and only if $d_K$ is in the set above. So in particular, there are a finite number of imaginary quadratic extensions of $\mathbb{Q}$ whose ring of integers is a PID (and hence a UFD).

The values of $\mathrm{\Delta }$ above that correspond to ${𝒪}_K$ for some $K$ are:

$\mathrm{\Delta }=d_K$	$K$	${𝒪}_K$
$-3$	$\mathbb{Q}(\sqrt{-3})$	$\mathbb{Z}\left[\frac{1+\sqrt{-3}}{2}\right]$
$-4$	$\mathbb{Q}(\sqrt{-1})$	$\mathbb{Z}[\sqrt{-1}]$
$-7$	$\mathbb{Q}(\sqrt{-7})$	$\mathbb{Z}\left[\frac{1+\sqrt{-7}}{2}\right]$
$-8$	$\mathbb{Q}(\sqrt{-2})$	$\mathbb{Z}[\sqrt{-2}]$
$-11$	$\mathbb{Q}(\sqrt{-11})$	$\mathbb{Z}\left[\frac{1+\sqrt{-11}}{2}\right]$
$-19$	$\mathbb{Q}(\sqrt{-19})$	$\mathbb{Z}\left[\frac{1+\sqrt{-19}}{2}\right]$
$-43$	$\mathbb{Q}(\sqrt{-43})$	$\mathbb{Z}\left[\frac{1+\sqrt{-43}}{2}\right]$
$-67$	$\mathbb{Q}(\sqrt{-67})$	$\mathbb{Z}\left[\frac{1+\sqrt{-67}}{2}\right]$
$-163$	$\mathbb{Q}(\sqrt{-163})$	$\mathbb{Z}\left[\frac{1+\sqrt{-163}}{2}\right]$

We therefore get

Theorem 1.

(Stark-Heegner)
If , then the class number of $\mathrm{Q}\mathit{}\mathrm{(}\sqrt{d}\mathrm{)}$ is equal to $\mathrm{1}$ if and only if

$$d=-1,-2,-3,-7,-11,-19,-43,-67,\mathit{\text{ or }}-163$$

(where $d\mathrm{=}\mathrm{-}\mathrm{1}\mathrm{,}\mathrm{-}\mathrm{2}$ correspond to $\mathrm{\Delta }\mathrm{=}\mathrm{-}\mathrm{4}\mathrm{,}\mathrm{-}\mathrm{8}$ and otherwise $d\mathrm{=}\mathrm{\Delta }$).

How about the other four values $\mathrm{\Delta }=-12,-16,-27,-28$? Each of these corresponds to a non-maximal http://planetmath.org/node/OrderInAnAlgebraorder in a quadratic extension (i.e. a proper subring of the ring of algebraic integers). Specifically, we have

$\mathrm{\Delta }=-12$ $\leftrightarrow \mathit{\hspace{1em}}\mathbb{Z}\left[2{\displaystyle \frac{1+\sqrt{-3}}{2}}\right]=\mathbb{Z}[\sqrt{-3}]⊊{𝒪}_K\text{ for }K=\mathbb{Q}(\sqrt{-3})$

$\mathrm{\Delta }=-16$ $\leftrightarrow \mathit{\hspace{1em}}\mathbb{Z}[2\sqrt{-1}]⊊{𝒪}_K\text{ for }K=\mathbb{Q}(\sqrt{-1})$

$\mathrm{\Delta }=-27$ $\leftrightarrow \mathit{\hspace{1em}}\mathbb{Z}\left[3{\displaystyle \frac{1+\sqrt{-3}}{2}}\right]⊊{𝒪}_K\text{ for }K=\mathbb{Q}(\sqrt{-3})$

$\mathrm{\Delta }=-28$ $\leftrightarrow \mathit{\hspace{1em}}\mathbb{Z}\left[2{\displaystyle \frac{1+\sqrt{-7}}{2}}\right]=\mathbb{Z}[\sqrt{-7}]⊊{𝒪}_K\text{ for }K=\mathbb{Q}(\sqrt{-7})$

Note that this does not mean that these rings are PIDs, since the invertible ideals in an order that is not the entire ring of integers do not include all ideals.

Title	list of all imaginary quadratic extensions whose ring of integers is a PID
Canonical name	ListOfAllImaginaryQuadraticExtensionsWhoseRingOfIntegersIsAPID
Date of creation	2013-03-22 16:56:42
Last modified on	2013-03-22 16:56:42
Owner	rm50 (10146)
Last modified by	rm50 (10146)
Numerical id	7
Author	rm50 (10146)
Entry type	Result
Classification	msc 11E12
Classification	msc 11R29
Classification	msc 11E16
Related topic	EuclideanNumberField
Related topic	ImaginaryQuadraticField
Related topic	LemmaForImaginaryQuadraticFields