Easy way to show that $\mathbb{Z}[\sqrt[3]{2}]$ is the ring of integers of $\mathbb{Q}[\sqrt[3]{2}]$

The short answer is no, in that you almost certainly have to perform separate checks "one prime at a time." For that matter, there's no really slick of doing the quadratic case, either. You either have to do some grunt work with mod-4 conditions on coefficients of minimal polynomials, etc., or build up the theory of the different, etc., and start hitting problems with bigger hammers. When you get past the quadratic case, the grunt work becomes increasingly tedious (/impossible), and you're only left with hammers. So you need technical lemmas on how to conclude that a subring of a ring of integers is really the whole thing, and I don't think it's possible to do that without considering the various primes which could possibly divide the index. Keith Conrad's notes that Álvaro mentions give one solution (his Lemma 1) -- here's another slightly different approach. At the very least, it avoids working explicitly with local rings, even if it doesn't avoid the fact that philosophically we're working locally anyway.

Let $\mathcal{O}$ be the ring of integers of $\mathbb{Q}(\sqrt[3]{2})$. We have $\mathbb{Z}[\sqrt[3]{2}]\subset\mathcal{O}$, and we wish to show equality. It suffices to show that for each prime $\mathfrak{p}$ of $\mathbb{Z}[\sqrt[3]{2}]$, we have $\mathcal{O}=\mathbb{Z}[\sqrt[3]{2}]+\mathfrak{p}$ (this is basically using Nakayama's Lemma to disguise a collection of local things to check with a collection of global things to check). Since for $\alpha:=\sqrt[3]{2}$, the minimal polynomial of $\alpha$ is $f_\alpha(x)=x^3-2$, we also know that $$ \mathcal{O}\subset \tfrac{1}{f'(\alpha)}\mathbb{Z}[\sqrt[3]{2}]=\frac{1}{3\sqrt[3]{4}}\mathbb{Z}[\sqrt[3]{2}], $$ making it trivial to check the desired equality for everything but $p=2$ and $p=3$. Now (this part is basically the same as in Keith Conrad's notes) we observe that it suffices to demonstrate $p$-Eisenstein polynomials $h_p(x)$ for a generator $x_p\in\mathbb{Z}[\sqrt[3]{2}]$ for $p=2$ and $p=3$. But these are easy to come by: For $p=2$, take $x_2=\sqrt[3]{2}$ and $h_2(x)=f_\alpha(x)$ and for $p=3$, take $x_3=\sqrt[3]{2}+1$ and $h_3(x)=f_\alpha(x-1)$. Ta-da.


It is inescapable that one has to do some work here. The methods sketched by Cam McLeman, and surely what is in KConrad's notes, and also in Lang's Alg No Th, are probably the minimum, because it is not always the case that the ring of integers in $\mathbb Q({\root 3 \of a})$ is $\mathbb Z({\root 3 \of a})$ for square-free $a$. Just as ${1+\sqrt{D}\over 2}$ is an algebraic integer for $D=1\mod 2^2$, ${1+{\root 3\of a}+{\root 3\of a^2}\over 3}$ is an algebraic integer for $a=1\mod 3^2$. Similarly with $3$ replaced by $p$ prime, and so on.


Notations. Let $p$ be a prime number. Let $n$ be an integer. If $n$ is divisible by $p$, but not divisible by $p^2$, we write $p\mid\mid n$.

Let $A$ be a Dedekind domain. Let $P$ be a non-zero prime ideal of $A$. Let $\alpha \in A$. If $\alpha$ is divisible by $P$, but not divisible by $P^2$, we write $P\mid\mid\alpha$.

Let $A$ be an integral domain containing $\mathbb{Z}$. Let $p$ be a prime number. Let $S = \mathbb{Z} - p\mathbb{Z}$. $S$ is a multiplicative subset of $\mathbb{Z}$. We denote by $A_p$ the localization of $A$ with respect to $S$.

Lemma 1. Let $A$ be a discrete valuation ring, $K$ its field of fractions. Let $P$ be the maximal ideal of $A$. Let $L$ be a finite separable extension of $K$. Let $B$ be the integral closure of $A$ in $L$. Suppose $P$ is totally ramified in $L$. Let $Q$ be the unique prime ideal of $B$ lying over $P$. Let $\pi$ be an element of $B$ such that $Q\mid\mid\pi$. Then $B = A[\pi]$.

Proof. Let $n = [L : K]$. Since $PB = Q^n$, $[B/Q : A/P] = 1$. Hence for every $\alpha \in B$, there exists $a_0 \in A$ such that $\alpha \equiv a_0$ (mod $Q$). Consider the congruence equation $\pi x \equiv \alpha - a_0$ (mod $Q^2$). Since $(\pi, Q^2) = Q$ and $\alpha - a_0 \in Q$, there exists a solution $x = a_1 \in A$. Hence $\alpha \equiv a_0 + a_1\pi$ (mod $Q^2$). Similarly there exist $a_0, a_1,\dots, a_{n-1} \in A$ such that $\alpha \equiv a_0 + a_1\pi +\cdots+ a_n\pi^{n-1}$ (mod $Q^n$). Since $PB = Q^n$, $B = A[\pi] + PB$. Let $M = B/A[\pi]$. $M$ is a finitely generated $A$-module. Since $PM = (A[\pi] + PB)/A[\pi] = M$, $M = 0$ by Nakayama's lemma. Hence $B = A[\pi]$. QED

Lemma 2. Let $K$ be an algebraic number field. Let $A$ be the ring of algebraic integers in $K$. Let $p$ be a prime number. Suppose $p$ is totally ramified in $K$. Let $P$ be a prime ideal of $A$ lying over $p$. Let $\pi$ be an element of $A$ such that $P\mid\mid\pi$. Let $S = \mathbb{Z} - p\mathbb{Z}$. Let $\mathbb{Z}_p$ be the localization of $\mathbb{Z}$ with respect to $S$. Let $A_p$ be the localization of $A$ with respect to $S$. Then $A_p = \mathbb{Z}_p[\pi]$.

Proof. Since $A_p$ is integrally closed and integral over $\mathbb{Z}_p$, the assertion follows from Lemma 1. QED

Lemma 3. Let $p$ be a prime number. Let $f(X) = X^n + a_{n-1}X^{n-1} +\cdots+ a_1X + a_0 \in \mathbb{Z}[X]$ be an Eisenstein polynomial at $p$. That is, $p\mid a_i, i = 0,\dots,a_{n-1}$ and $p\mid\mid a_0$. Let $\theta$ be a root of $f(X)$. Let $K = \mathbb{Q}(\theta)$. Let $A$ be the ring of algebraic integers in $K$. Let $P$ be a prime ideal of $A$ lying over $p$.

Then $p$ is totally ramified in $K$ and $P\mid\mid\theta$.

Proof. Since $f(X)$ is irreducible in $\mathbb{Q}[X]$, $n = [K : \mathbb{Q}]$. Let $v_P$ be the discrete valuation associated with $P$. Let $e = v_P(p)$. Since $f(\theta) = 0$ and $p\mid a_i, i = 0,\dots,a_{n-1}$, $\theta^n \equiv 0$ (mod $P$). Hence $\theta\equiv 0$ (mod $P$). Since $p\mid a_i, a_i\theta^i \equiv 0$ (mod $P^{e+1}$) for $i = 1,\dots,a_{n-1}$. Hence $\theta^n + a_0 \equiv 0$ (mod $P^{e+1}$). Since $p\mid\mid a_0$, $v_P(a_0) = e$. Hence $v_P(\theta^n) = e$. On the other hand, $v_P(\theta^n) \geq n$. Hence $e = n$. Hence $v_P(\theta) = 1$ and $p$ is is totally ramified in $K$. QED

Lemma 4. Let $n > 1$ be an integer. Let $m$ be an an integer. Let $p$ be a prime number such that $p\mid\mid m$. Let $\theta$ be a root of $X^n - m$. Let $K = \mathbb{Q}(\theta)$. Let $A$ be the ring of algebraic integers in $K$. Then the following assertions hold.

(1) $X^n - m$ is irreducible in $\mathbb{Q}[X]$.

(2) $p$ is totally ramified in $K$.

(3) Let $P$ be a prime ideal of $A$ lying over $p$. Then $P\mid\mid\theta$.

Proof. $X^n - m$ is an Eisenstein polynomial at $p$. Hence the assertions immediately follows from Lemma 3. QED

Lemma 5. Let $p$ be a prime number. Let $m$ be an integer. Let $\theta$ be a root of $X^p - m$. Let $K = \mathbb{Q}(\theta)$. Let $A$ be the ring of algebraic integers in $K$. Suppose there exists $a \in \mathbb{Z}$ such that $p\mid\mid (m - a^p)$. Then the following assertions hold.

(1) $X^p - m$ is irreducible in $\mathbb{Q}[X]$.

(2) $p$ is totally ramified in $K$.

(3) Let $P$ be a prime ideal of $A$ lying over $p$. Then $P\mid\mid (\theta - a)$.

Proof. $(X + a)^p - m$ is an Eisenstein polynomial at $p$. $\theta - a$ is a root of this polynomial. Hence $\mathbb{Q}(\theta) = \mathbb{Q}(\theta - a)$ has degree $p$ over $\mathbb{Q}$. This proves (1). (2) and (3) follows from Lemma 3. QED

Lemma 6. Let $K$ be an algebraic number field. Let $A$ be an order of $K$. Suppose $A_p$ is integrally closed for all prime numbers $p$. Then $A$ is the ring of algebraic integers in $K$.

Proof. Let $B$ be the ring of algebraic integers in $K$. Let $p$ be a prime number. Since $B$ is integral over $A$, $B_p$ is integral over $A_p$. Since $A_p$ is integrally closed and $K$ is the field of fractions of $A_p$, $B_p = A_p$.
Let $I$ = {$a \in \mathbb{Z}; aB \subset A$}. $I$ is an ideal of $\mathbb{Z}$. Suppose $I \neq \mathbb{Z}$. There exists a prime number $p$ such that $I \subset p\mathbb{Z}$. Since $B \subset A_p$ and $B$ is a finite $\mathbb{Z}$-module, there exists $s \in \mathbb{Z} - p\mathbb{Z}$ such that $sB \subset A$. Hence $s \in I$. This is a contradiction. Hence $I = \mathbb{Z}$. Hence $B = A$. QED

Proposition. Let $p, q$ be distinct prime numbers. Let $\theta$ be a root of $X^p - q$. Let $K = \mathbb{Q}(\theta)$. Suppose there exists $a \in \mathbb{Z}$ such that $p\mid\mid(q - a^p)$.

Then $\mathbb{Z}[\theta]$ is the ring of algebraic integers in $K$.

Proof. Let $B$ be the ring of algebraic integers in $K$. Let $A = \mathbb{Z}[\theta]$. Let $f(X) = X^p - q$. Since $f(X)$ is Eisenstein at $q$, it is irreducible in $\mathbb{Q}[X]$. Let $d$ be the discriminant of $f(X)$. $|N_{K/\mathbb{Q}}(\theta)| = |q|$. Hence $|d| = |N_{K/\mathbb{Q}}(f'(\theta))| = |N_{K/\mathbb{Q}}(p\theta^{p-1})| = p^p q^{p-1}$.

Let $r$ be a prime number other than $p$, $q$. Since $\mid d\mid = p^p q^{p-1}$, $r$ does not divide $d$. Let $R$ be a prime ideal of $A$ lying over $r$. By this, $A_R$ is a discrete valuation ring. Hence $A_r$ is integrally closed. Hence $A_r = B_r$.

On the other hand, by Lemma 4 and Lemma 2, $B_q = \mathbb{Z}_q[\theta] = A_q$. By Lemma 5 and Lemma 2, $B_p = \mathbb{Z}_p[\theta - a] = \mathbb{Z}_p[\theta] = A_p$.

Hence we are done by Lemma 6. QED

Corollary. Let $\theta$ be a root of $X^3 - 2$. Let $K = \mathbb{Q}(\theta)$. Then $\mathbb{Z}[\theta]$ is the ring of algebraic integers in $K$.

Proof: $3\mid\mid(2 - 2^3)$. QED