1
$\begingroup$

I'd like a little help on how to begin this problem.

Show that a PID $R$ is Jacobson-semisimple $\Leftrightarrow$ $R$ is a field or $R$ contains infinitely many nonassociate irreducible elements.

Thanks.

2 Answers 2

2

If $R$ is a PID and has infinitely many nonassociated irreducible elements, then given any nonunit $x\in R$ you can find an irreducible element that does not divide $x$; can you find a maximal ideal that does not contain $x$? If so, you will have proven that $x$ is not in the Jacobson radical of $R$. The case where $R$ is a field is pretty easy as well.

Conversely, suppose $R$ is a PID that is not a field, but contains only finitely many nonassociated primes; can you exhibit an element that will necessarily lie in every maximal ideal of $R$?

0

HINT $\ $ A PID has a nonzero element divisible by every prime iff it has finitely many primes.

NOTE $\ $ This holds much more generally. We have the following generalization to Krull domains (e.g. UFDs and Noetherian integrally-closed domains, e.g. Dedekind domains, number rings)

THEOREM $\ $ A Krull domain has a nonzero element in every nonzero prime ideal iff it is a PID with finitely many primes.

For a proof see e.g. Theorem 1 in Gilmer: The pseudo-radical of a commutative ring.

  • 0
    Thanks for the alternative.2011-05-05