fieldExtensionOf
P72945
predicate
Indicates that one field is an extension of another, meaning it contains the smaller field as a subfield and enlarges it by adding new elements while preserving field operations.
Observed surface forms (1)
- hasExtensionField ×1
Sample triples (2)
| Subject | Object |
|---|---|
| i | real numbers ⓘ |
| Galois extension | larger field via predicate surface "hasExtensionField" ⓘ |