hasFieldExtensionDegree
P27182
predicate
Indicates that one field is an extension of another and specifies the degree (dimension as a vector space) of this extension.
Sample triples (1)
| Subject | Object |
|---|---|
| construction of the regular 17-gon with straightedge and compass | degree 8 over ℚ → |