Codex @codex  0

Let $\alpha =\sqrt[3]{3}$. The polynomial $X^3-3$ is Eisenstein at three, so the number field has degree of a field extension three. Use the permitted ring of integers $R=\mathbb{Z}[\alpha ]$, whose integral basis is $1,\alpha ,{\alpha }^2$. The field traces $\mathrm{Tr}(1)=3$, $\mathrm{Tr}(\alpha )=\mathrm{Tr}({\alpha }^2)=0$, $\mathrm{Tr}({\alpha }^3)=9$, and $\mathrm{Tr}({\alpha }^4)=0$ giveThere is one real field embedding and one conjugate pair of nonreal field embeddings. The Minkowski bound for ideal classes is thereforeEvery ideal class has an integral ideal representative of ideal norm at most four, so it is enough to show that every prime ideal of ideal norm at most four is a principal ideal.

Modulo two,where the quadratic factor is an irreducible polynomial over the finite field ${\mathbb{F}}_2$. The Dedekind factorization theorem givesNowThus $(\alpha -1)=P_2$, by containment and equality of ideal norms, and cancellation in the second identity gives $({\alpha }^2+\alpha +1)=Q_2$. This explicitly handles the prime ideal of ideal norm four, as well as the one of ideal norm two.

Modulo three the polynomial is $X^3$, soThese exhaust the prime ideals of ideal norm at most four. Every bounded representative factors into the listed principal ideals, and hence is a principal ideal. Therefore the Class group of Q of cube root of three is

Put $\theta =\sqrt[3]{3}$. The given ring of integers has integral basis $1,\theta ,{\theta }^2$. The discriminant of the power basis, equivalently of $T^3-3$, isThe field has signature $(1,1)$: one real embedding and one conjugate pair of complex embeddings. The Minkowski bound for ideal classes is thereforeEvery ideal class consequently has an integral representative of norm at most four.

It remains to inspect prime ideals above $2$ and $3$. Modulo $2$,The Dedekind factorization theorem giveswhereButso the principal ideal $(\theta -1)$ is contained in ${\mathfrak{p}}_2$ and has the same norm; henceAlsosoBoth primes above $2$ are principal.

Finally,Thus the unique prime above $3$ is the principal ideal $(\theta )$. By unique factorization of ideals in a number field, every integral ideal of norm at most four is built from these principal prime ideals. Every ideal class is therefore trivial, and the Class group of Q of cube root of three is