Rabinowitch's trick
Statement
Let be a commutative unital ring. The following are equivalent:
- is a Jacobson ring
- If is a prime ideal of and if contains an element such that is a field, then is a field
Let be a commutative unital ring. The following are equivalent: