Assertion: commutative ring | /r/HasProperty | catenary
Facets:
Source sentences:
text: A commutative ring R is said to be catenary if any pair of prime ideals p ⊂ p ′ {\displaystyle {\mathfrak {p}}\subset {\mathfrak {p}}'} can be extended to a chain of prime ideals p = p 0