finite extension,
n.
a
field
that contains a given field K, and is a
finite-dimensional vector space
over K.
