Rabinowitch's trick

From Commalg
Revision as of 00:57, 8 January 2008 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let R be a commutative unital ring. The following are equivalent:

  1. R is a Jacobson ring
  2. If P is a prime ideal of R and if S:=R/P contains an element b0 such that S[b1] is a field, then S is a field