5
$\begingroup$

If $R$ is a commutative ring with unit and $p$ is a prime number, then is $pR$ a maximal ideal of $R$? If not what conditions should I impose on $R$?

$\endgroup$
7
  • $\begingroup$ Clearly not if $R$ is a field for instance. $\endgroup$
    – lhf
    Commented Aug 25, 2015 at 13:21
  • $\begingroup$ @lhf Why is this true? $\endgroup$
    – HAHA
    Commented Aug 25, 2015 at 13:22
  • $\begingroup$ Zero is the only maximal ideal in fields. $\endgroup$
    – lhf
    Commented Aug 25, 2015 at 13:22
  • $\begingroup$ @lhf Ah and zero is not a prime, correct? $\endgroup$
    – HAHA
    Commented Aug 25, 2015 at 13:23
  • $\begingroup$ @HAHA zero is prime if R is a domain. $\endgroup$
    – Lolman
    Commented Aug 25, 2015 at 14:29

3 Answers 3

6
$\begingroup$

A silly example : Consider the field of real numbers, $\mathbb{R}$. Clearly $p\mathbb{R}=\mathbb{R}$, so $\mathbb{R}/p\mathbb{R} \cong \lbrace 0\rbrace$. More interesting: Let $R=\mathbb{Z}[x]$. $\mathbb{Z}[x]/p\mathbb{Z}[x] \cong (\mathbb{Z}/p\mathbb{Z})[x]$ which is not a field!

$\endgroup$
1
  • $\begingroup$ I fixed a typo. Hope you don't mind! $\endgroup$ Commented Aug 25, 2015 at 14:42
1
$\begingroup$

There are also plenty of counterexamples apart from fields. For example $p$ could be a unit even if $R$ is not a field, e.g. in $\mathbf Z [\frac{1}{p}]$, or $p$ could fail to be irreducible, e.g in $\mathbf Z[i]$ we have $(1+i)(1−i)=2$.

$\endgroup$
0
$\begingroup$

A prime $p$ is not prime in $\mathbb Z[\sqrt p]$ because $(\sqrt p)^2 \in p\mathbb Z[\sqrt p]$ but $\sqrt p \notin p\mathbb Z[\sqrt p]$. Thus $p\mathbb Z[\sqrt p]$ is not a prime ideal of $\mathbb Z[\sqrt p]$.

Therefore, no prime remains prime in the ring of all algebraic integers.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .