hasBaseField
P62046
predicate
Indicates that one entity serves as the foundational or underlying field structure upon which another entity is defined or constructed.
Observed surface forms (3)
- forBaseField ×1
- hasUnderlyingField ×1
- isBaseFieldFor ×1
Sample triples (8)
| Subject | Object |
|---|---|
| Weyl algebra | field of characteristic zero ⓘ |
| Noether field | K ⓘ |
| Hilbert class field | number field with given ideal class group via predicate surface "forBaseField" ⓘ |
|
Sullivan minimal model in rational homotopy theory
surface form:
Sullivan minimal model
|
rational numbers ⓘ |
| GF(p) | finite field extensions GF(p^n) via predicate surface "isBaseFieldFor" ⓘ |
| Baire space | natural numbers ⓘ |
| CancellationToken | reference to CancellationTokenSource via predicate surface "hasUnderlyingField" ⓘ |
| Galois extension | ground field ⓘ |