| 释义 |
field extension A pair of fields F and K, where the base field F is a subfield of K. Importantly, K is a vector space over F, and the degree of the extension is defined as the dimension of K as such a vector space. For example, ℂ is a degree 2 extension of R as {1, i} is a basis. See simple extension, tower law.
|