Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $K=\mathbb{Q}(\alpha)$, where $\alpha$ is a root of $f(x)=x^3+x+1$. If $p$ is a rational prime. What can you say about factorization of $p\mathcal{O}_K$ in $\mathcal{O}_K$?

I have this: The discriminant is -31 and the minkowski bound, $M_K \leq 1.57$. Then $N(\mathcal{A})=1$, $\mathcal{A}$ a ideal class. I can say anything about the question?

share|cite|improve this question
Have you ever done anything with the Minkowski bound? If so, please tell us, because the fact that the bound is less than 2 and you don't notice anything from that seems unusual. – KCd Dec 19 '12 at 3:31
@KCd, see… from a few minutes ago. No response from the OP before posting this new question. Lord, there is yet another one after. – Will Jagy Dec 19 '12 at 3:34

The Discriminant of the $\mathbb{Q}$-basis $\{1, \alpha, \alpha^2\}$ is $-31$ which is square free, and contained in $\mathcal{O}_K$. From this can you conclude that $\{1, \alpha, \alpha^2\}$ is a basis for $\mathcal{O}_K$? You should be able to (this is a standard result).

If you convince yourself that the ring of integers is indeed $\mathbb{Z}[\alpha]$, then try to use the following (also well-known ?) result:

Let $p$ be a rational prime. Now $f = x^3 + x + 1$ is the minimal polynomial of $\alpha$ over $\mathbb{Q}$. Reduce $f$ mod $p$ to obtain $\overline{f}$, and let $\overline{f} = \prod_i h^{e_i}_i$, be an irreducible factorization of $\overline{f}$ in $\mathbb{F}_p[x]$. Let $f_i \in \mathbb{Z}[x]$ such that $f_i$ mod p $= h_i$. Then the ideal $P_i = (p, f_i(\alpha))$ is prime in $\mathcal{O}_k$, and \begin{equation} (p) = \prod_i P^{e_i}_i \end{equation}

From your observation that $M_K \leq 1.57$, you further know that $\mathcal{O}_K$ is a PID, so all you $P_i$ are principal.

share|cite|improve this answer
Thanks! In conclusion, $\mathbb{Z}[\alpha]$ is a Unique factorization domain! – P. M. O. Dec 19 '12 at 4:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.