Let K be a subfield of Q. Prove that if is 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: Let be an extension field over . Let be algebraic over . Suppose that has property that . Show that is algebraic over .