Let be an extension of the fields and . Let's put . Prove
that
if is finite-dimensional as a vector space over , then
Let KCF be an extension of the fields and a € F. Let's put K[a] = {f(a) f = K[x]}. Prove that K(a) = if K[a] is finite-dimensional as a vector space over K, then K[a]