isNoetherianRing
P27197
predicate
Indicates that the ring satisfies the ascending chain condition on ideals, equivalently that every ideal is finitely generated.
Sample triples (1)
| Subject | Object |
|---|---|
| Gaussian integers | true → |