Let K be a subfield of Q. Prove that ifis algebriac over K, then
is algebriac over K
There are some problems here. First, Q has no subfields other than itself. Second,is not well-defined. Third, we do not know even if
exists.
Let me phrase the question differently: Letbe an extension field over
. Let
be algebraic over
. Suppose that
has property that
. Show that
is algebraic over
.