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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| isIntegrallyClosed canonical | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isIntegrallyClosed
Generated description
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 ⓘ |