1
$\begingroup$

Let $R$ be a UFD and $P$ a prime ideal. Here we are defining a UFD with primes and not irreducibles.

Is the following true and what is the justification?

If $a$ in $R$ is prime, then $(a+P)$ is prime in $R/P$.

3 Answers 3

1

The bijection between ideals of $\,R/I\,$ and ideals of $R$ containing $I$ restricts to prime ideals, hence $\,(a+P)\,$ is prime in $\,R/P\,$ iff $\,I = (a)+P\,$ is prime in $\,R.\,$ But generally this is not true, e.g. $\,I=1\,$ for $\,a\nmid P\,$ primes in $\,\Bbb Z,\,$ or $\,I = (4\!-\!x)+(x) = (4,x)\,$ is not prime in $\,\Bbb Z[x],\,$ by $\,2^2\in I\,$ but $\,2\not\in I.$

0

There are many cases that I'm tempted to call degenerate: $R/P$ could be a field, for example. For concreteness, consider $R = \mathbf Z$, $P = 2\mathbf Z$, and $a = 3$.

Maybe it's helpful to think geometrically: if $k$ is a field of characteristic $\neq 2$ we can describe a parabola in the $k$-plane via the ring $A = k[x, y]/(y - x^2)$. The element $y - 1$ is certainly prime in $k[x, y]$, but \[ A/(y - 1)A \approx k[x]/(1 - x^2) \approx k^2 \] is not a domain, so the image of $y - 1$ in $A$ is not prime. The picture is that the line $y = 1$ and the parabola $y = x^2$ intersect in two points.

  • 0
    Also, it's very possible that you haven't thought about describing geometry using algebra before and that's perfectly alright — you can treat this example purely formally. But in the long run I think that thinking about the geometry of algebraic facts is worth it. I should add later that another thing to remember is that sums of prime ideals need not be prime.2012-06-20
-1

I think thats wrong. If $ a \in P $ holds, then $ a + P = 0 + P \in R/P$ and therefore $a+P$ not prime.

  • 1
    @sebigu In domains, some authors do, for convenience, exclude $\,0\,$ as a prime *element*, but most authors do consider $(0)$ to be a prime *ideal.* It boils down to *convention,* and authors often choose the convention that proves most convenient in their context.2012-06-20