Assertion: ring's ideal | /r/HasProperty | prime
Facets:
value: more briefly
type: DEGREE
Source sentences:
text: More precisely, the spectrum of a commutative ring is the space of its prime ideals equipped with Zariski topology, and augmented with a sheaf of rings.
text: Any maximal ideal is a prime ideal or, more briefly, is prime.
text: Proving that an ideal is prime, or equivalently that a ring has no zero-divisors can be very difficult.