isIntegrallyClosed
P27198
predicate
Indicates that a ring (or similar algebraic structure) contains all elements of its field of fractions that are integral over it, i.e., it has no proper integral extension within its field of fractions.
Sample triples (1)
| Subject | Object |
|---|---|
| Gaussian integers | true → |