field extension

《代数学引论》 · 第 209 页

在 $K$ 中任意取定一个子域 $F$ 作为基域，$K$ 看作 $F$ 上的扩域，叫做 $F$ 上的域扩张，记作 $K/F$。

由 admin 提交

《Abstract Algebra》 · 第 511 页 · Section 13.1「Basic Theory of Field Extensions」

If $K$ is a field containing the subfield $F$, then $K$ is said to be an extension field (or simply an extension) of $F$, denoted $K/F$. In particular, every field $F$ is an extension of its prime subfield. The field $F$ is sometimes called the base field of the extension.