4
$\begingroup$

I am working with the ideals $\mathfrak{p}=\left<2,1+\sqrt{-5}\right>, \mathfrak{q}=\left<3,1+\sqrt{-5}\right>, \mathfrak{t}=\left<3,1-\sqrt{-5}\right>$ and I am trying to prove that they are prime in $\mathbb{Z}[\sqrt{-5}]$.

I understand a good method to do this involves taking norms of each element that generates the ideals. This gives, for instance, the norms of the generators of $\mathfrak{p}=4,6$. These are both divisible by $2$. I have also calculated $\mathfrak{p}^2=\left<2\right>$. I get the feeling that since both norms are divisible by the generator of the ideal squared this proves it is prime, but I am not quite sure why.

In a similar vein, the norms of the generators of $\mathfrak{q,t}=9,6$ which are both divisible by $3$. I know $\mathfrak{qt}=\left<3\right>$, but I am not sure if this is relevant, since it is not either ideal squared. I think the norm of the ideal itself being prime implies the ideal is prime, but I am not sure how to find the norm of the ideal from the norm of its generating elements.

This question is similar to: Prove that ideals are prime, but I don't quite understand the reasoning behind the chosen answer. I am not sure how the answerer deduces that the example there is prime either. Following their reasoning as far as I can, the fact that $2$ divides both norms means that $\left<2\right> \subset \mathfrak{p} \subset \mathbb{Z}[\sqrt{-5}]$ but I'm not sure how, and then I don't know how this proves it is prime.

|cite|improve this question
$\endgroup$
  • $\begingroup$ An ideal is prime (or maximal, that's another term you might see) if it it's not properly contained in any ideal other than the whole ring itself. So $\langle 2 \rangle$ is not a prime ideal because it's contained in the larger ideal $\langle 2, 1 + \sqrt{-5} \rangle$ (larger in the sense that $\langle 2, 1 + \sqrt{-5} \rangle$ contains numbers not in $\langle 2 \rangle$). $\endgroup$ – Robert Soupe Mar 25 '15 at 1:36
3
$\begingroup$

There are several ways to deduce that these are ideals are prime. The easiest might be to just compute the quotient:

$$\mathbb Z[\sqrt{-5}]/(2,1+\sqrt{-5}) \cong \mathbb Z[X]/(X^2+5,2,1+X) = \mathbb Z[X]/(2,1+X) \cong \mathbb Z/2\mathbb Z$$

But you can also use some theory (And this somehow fits to your norm approach). Whenever we have an quadratic integer ring and an integer prime number $p \in \mathbb Z$, then the ideal $(p) \subset \mathcal O_K$ behaves in three ways:

  • $(p)$ is prime.
  • $(p) = \mathfrak p^2$ for some prime ideal.
  • $(p) = \mathfrak p_1 \mathfrak p_2$ for two different prime ideals.

Together with the fact, that there exists a unique prime ideal factorization, we get the following corollary: Whenever we have $(p)=IJ$ for some ideals $I,J$, then $I$ and $J$ are necessarily prime (If one of them would factor into primes, $(p)$ would factor into at least $3$ primes).

|cite|improve this answer
$\endgroup$
  • $\begingroup$ So, using your second method, is it enough to say that $2,3 \in \mathbb{Z}$ are prime $\implies <2>, <3>$ can be factored into two prime ideals (not necessarily distinct), and therefore $<2>=\mathfrak{p}^2, <3>=\mathfrak{qt} \implies \mathfrak{p,q,t}$ are prime? $\endgroup$ – AccioHogwarts Mar 24 '15 at 20:57
  • $\begingroup$ There are no norms taken in this approach, however. Have I missed a step or are they not completely necessary? $\endgroup$ – AccioHogwarts Mar 24 '15 at 20:59
  • $\begingroup$ I have not explicitly used the norm. But when you want to show the theorem that I stated, one might want to use the norm: Since the norm of ideals is multiplicative and we have $N((p))=p^2$, the ideal $(p)$ can only factor into at most two prime ideals. $\endgroup$ – MooS Mar 25 '15 at 7:29
2
$\begingroup$

In that answer, the answerer speaks about norm of ideals, not norm of numbers. You can think geometrically, if $\langle 2, 1 + \sqrt{-5} \rangle \subset A$ then its lattice is a sub lattice of $A$, so the area of the fundamental area (the area of the smallest parallelogram in the lattice ) of $A$ divide the area of the fundamental area of $\langle 2, 1 + \sqrt{-5}\rangle$ but this area is two so the fundamental area of $A$ is one and $A = \mathbb{Z}[\sqrt{-5}]$. So $\langle 2, 1 + \sqrt{-5}\rangle$ is a maximal ideal, and so it is a prime ideal.

|cite|improve this answer
$\endgroup$
2
$\begingroup$

The norm of $\mathfrak{p}$ is \begin{equation*} \big\lvert \mathbb{Z}[\sqrt{-5}]\big/(2,1+\sqrt{-5})\big\rvert = 2, \end{equation*} as was observed in another answer. So if $\mathfrak{p}$ is a product of two ideals, their norms must have product $2$. Thus one of the ideals has norm $1$ so is the whole ring. Thus $\mathfrak{p}$ is prime.

|cite|improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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