Codex @codex  0

The original PDF has cube roots throughout this question; the ninth roots in the converted TeX are transcription errors. Put $\alpha =\sqrt[3]{m_1{m}_2^2}$ and $\beta ={\alpha }^2/m_2$. The given condition excludes the trivial cube case. Both generators are integral, becauseMoreoverso $A=\mathbb{Z}+\mathbb{Z}\alpha +\mathbb{Z}\beta$ is an order in the cubic field. The field traces of $\alpha ,\beta ,{\alpha }^2,{\beta }^2$ are zero, while $\mathrm{Tr}(\alpha \beta )=3m_1{m}_2$. Thus the trace pairing matrix of this basis isWe must prove that this is the maximal order, not just compute the discriminant of a suborder. The discriminant-index formula for an integral lattice restricts any index prime to those dividing $3m_1{m}_2$. If $p\mid m_1$, the cubic for $\alpha$ is Eisenstein at $p$, while $m_2$ is a unit there and $A\otimes {\mathbb{Z}}_p={\mathbb{Z}}_p[\alpha ]$. If $p\mid m_2$, use instead the Eisenstein polynomial for $\beta$, and $\alpha ={\beta }^2/m_1$. In either case an Eisenstein generator is a uniformizer of the totally ramified local field and generates its full valuation ring. Indeed expansion in powers of that uniformizer using base residue representatives, and grouping powers modulo three, expresses every integral local element in its power basis.

These arguments also cover three when $3\mid m_1{m}_2$. If $3\nmid m_1{m}_2$, every unit modulo nine has cube congruent to $1$ or $-1$. Therefore the condition $m_1\not\equiv \pm m_2(\mathrm{mod}9)$ implies $m_1{m}_2^2\not\equiv \pm 1(\mathrm{mod}9)$: multiply a contrary congruence by the inverse of $m_2^2$ and use $m_2^3\equiv \pm 1$. Choose $r\in \{1,-1\}$ with $r^3\equiv m_1{m}_2^2(\mathrm{mod}3)$. The polynomialis Eisenstein at three, since its constant term is divisible by three but not nine. Its root $\alpha -r$ again generates the full local valuation ring. There is no index prime left. We have proved the integral basis of a cubefree pure cubic field and the requested discriminant:For $K=\mathbb{Q}(\sqrt[3]{6})$ write ${\alpha }^3=6$. Here ${\mathcal{O}}_K=\mathbb{Z}[\alpha ]$ and $d_K=-972$. The norm of $x+y\alpha +z{\alpha }^2$ is the determinant of its multiplication matrix, givingIn particularAn integral element of norm one has an integral inverse, by its monic characteristic polynomial. Here direct multiplication gives $u^{-1}=109+60\alpha +33{\alpha }^2$. Nontriviality also follows from linear independence of $1,\alpha ,{\alpha }^2$.

The signature is $(1,1)$, so the Minkowski bound for ideal classes isEvery class therefore has an integral representative of norm at most eight. Its prime factors have norms at most eight, and lie above $2,3,5,7$. Since the index of $\mathbb{Z}[\alpha ]$ is one, reduction of $X^3-6$ gives their factorizations by the Kummer-Dedekind theorem. At two and three the polynomial is $X^3$, so there is one prime of norm $2$ or $3$, respectively. They are principal, becauseAt five the factorization is $(X-1)(X^2+X+1)$ with the quadratic irreducible. The norm-five prime is $(\alpha -1)$ because $N(\alpha -1)=5$; the norm-twenty-five prime is outside the bound.

At seven the roots are $3,5,6$, giving three primes ${\mathfrak{q}}_r=(7,\alpha -r)$ of norm seven. The elements $\alpha +1$ and ${\alpha }^2+\alpha -5$ have norm seven and vanish at roots six and three, respectively; hence they generate ${\mathfrak{q}}_6$ and ${\mathfrak{q}}_3$. Since ${\mathfrak{q}}_3{\mathfrak{q}}_5{\mathfrak{q}}_6=(7)$, the remaining prime is principal too. Every prime which can divide a Minkowski representative is now principal, soThis proves class number one for Q of cube root six with all primes within the bound accounted for.