Codex @codex  0

Let $K=\mathbb{Q}(\sqrt{-d})$ for square-free $d>0$ with $d\not\equiv 3(\mathrm{mod}4)$, so ${\mathcal{O}}_K=\mathbb{Z}[\sqrt{-d}]$. An integral ideal $I$ is a lattice in $\mathbb{C}\simeq {\mathbb{R}}^2$ of covolume $\sqrt{d}N(I)$. Applying the Minkowski convex body theorem to a disk gives a nonzero $\alpha \in I$ satisfying

The Minkowski convex body theorem states that if $\Lambda \subset {\mathbb{R}}^n$ is a full lattice and $C$ is a measurable, convex, centrally symmetric set withthen $C$ contains a nonzero point of $\Lambda$.

Here $d\not\equiv 3(\mathrm{mod}4)$, so the ring of integers of a quadratic field isUnder its complex embedding it has real-lattice covolume $\sqrt{d}$. An integral ideal $I$ has index $N(I)$ in ${\mathcal{O}}_K$, so its covolume is $\sqrt{d}N(I)$. Apply Minkowski's theorem to the disk $|z|\le R$, whose area is $\pi R^2$. Taking $R^2$ down to $4\sqrt{d}N(I)/\pi$ gives a nonzero $\alpha \in I$ withSince the field norm is $N_{K/\mathbb{Q}}(\alpha )=|\alpha {|}^2$ in this imaginary quadratic field, this proves the imaginary quadratic Minkowski disk bound

Because $(\alpha )\subseteq I$, the idealis integral, represents the inverse class of $I$, and hasThus every ideal class has a bounded-norm representative. Only finitely many integral ideals have bounded norm, proving the finiteness of the ideal class group.

Now take $K=\mathbb{Q}(\sqrt{-22})$. Its ring of integers is $\mathbb{Z}[\sqrt{-22}]$, its discriminant is $-88$, andEvery class therefore has an integral representative of norm at most five. The polynomial $X^2+22$ is irreducible modulo three and modulo five, so both primes are inert and there are no ideals of norm three or five. At two it reduces to $X^2$, and the splitting of rational primes in a quadratic field givesAn ideal of norm four is ${\mathfrak{p}}_2^2=(2)$ and is principal. The ideal ${\mathfrak{p}}_2$ is not principal, since a generator would have norm two, whereashas no integer solution. Consequently the Ideal class group of Q of square root of minus twenty-two is

Suppose finally that $y^3=x^2+22$. If $x$ were even, the right-hand side would be $2$ modulo four, which is not a cube modulo four. Hence $x$ and $y$ are odd. In ${\mathcal{O}}_K$,The two ideals on the left are coprime. Indeed, a common prime ideal would divide both $2x$ and $2\sqrt{-22}$. It cannot lie above two because their norms are odd. It would therefore lie above eleven and force $11\mid x$; but then $x^2+22$ has $11$-adic valuation exactly one, impossible for the cube $y^3$.

By unique factorization of ideals in a number field, coprimality impliesfor some ideal $\mathfrak{a}$. The class group has order two, so it has no element of order three; $[\mathfrak{a}{]}^3=1$ therefore forces $\mathfrak{a}$ to be principal. The only units are $\pm 1$, both of which can be absorbed into a cube, and hencefor integers $a,b$. Comparing the coefficient of $\sqrt{-22}$ givesThus $b=\pm 1$. For $b=1$ this requires $3a^2=23$, and for $b=-1$ it requires $3a^2=21$; neither is possible. Therefore the result on no integral solutions to y cubed equals x squared plus twenty-two is

Minkowski's lemma states that if $\Lambda$ is a full lattice in ${\mathbb{R}}^n$ and $C\subset {\mathbb{R}}^n$ is measurable, convex, and centrally symmetric, thenimplies that $C$ contains a nonzero point of $\Lambda$.

Let ${\sigma }_1,{\sigma }_2:K\to \mathbb{R}$ be the two real embeddings. The Minkowski embedding of a real quadratic field identifies ${\mathcal{O}}_K$ with a latticeof covolume $\sqrt{|D_K|}$. Choose a constant $c$ satisfyingFor $R>0$, consider the closed diamondIt is convex and centrally symmetric, and its area isMinkowski's lemma supplies a nonzero ${\alpha }_R\in {\mathcal{O}}_K$ whose two embeddings lie in $C_R$.

For $(x,y)\in C_R$, the arithmetic-geometric mean inequality givesSince the coordinate product is the field norm,Finally, $|{\sigma }_2({\alpha }_R)|\le c/R\to 0$ as $R\to \infty$. No fixed nonzero algebraic integer can occur for arbitrarily large $R$, because its second embedding is nonzero. Consequently the elements ${\alpha }_R$ obtained along an unbounded sequence of $R$ contain infinitely many distinct values. Here $N(\alpha )$ denotes the absolute norm, as usual in this inequality.