Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $m(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1 x+ a_0$, $a_i \in \mathbb{Z}$, be an irreducible polynomial over $\mathbb{Q}$ and $K = \mathbb{Q}(x) / {m(x)\mathbb{Q}(x)}$. K is an algebraic number field. Let $\mathcal{O}_K$ be its ring of algebraic integers and $x\mathcal{O}_K$ be the ideal in $\mathcal{O}_K$ generated by $x$.

Since $\mathcal{O}_K$ is a Dedekind domain, $x\mathcal{O}_K$ is a product of prime ideals, $P_1^{j_1} P_2^{j_2} \dots P_m^{j_m}$, where each $j_i$ is a positive integer and each $P_i$ is a prime ideal. $\mathcal{O}_K/P_i$ is a finite field. My question is:

$$ Is ~\mathcal{O}_K/P_i ~always~ isomorphic~ to~ F_{p_i}~ for~ some~ prime~ p_i~ ?$$

That is the order of $\mathcal{O}_K/P_i$ is equal to $p_i$, not some power of $p_i$. Someone pointed out to me before that this is not likely to be true. But I could not find a counter example.

share|improve this question
@PeteL.Clark Shouldn't $x$ be $i$ in your example? At least that's how I interpreted the question. –  Mahdi Majidi-Zolbanin Jul 27 '13 at 20:02
@Mahdi: yes, thanks. I read the question too quickly and the notation confused me. –  Pete L. Clark Jul 27 '13 at 20:05

1 Answer 1

up vote 8 down vote accepted

No. Let $p$ be a prime number with $p \equiv 3 \pmod{4}$, and let $m(x) = x^2+p^2$. Then $K = \mathbb{Q}[x]/(m) \cong \mathbb{Q}(i)$ and the element $x$ may be identified with $ip$. Since $i$ is a unit in $\mathcal{O}_K$, we have $(ip) = (p)$ in $\mathcal{O}_K$. Since $p \equiv 3 \pmod{4}$, $\mathcal{O}_K/(ip) \cong \mathbb{F}_{p^2}$. This also shows that $(ip)$ is a prime ideal.

share|improve this answer

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.