If F and G are fields and G contains F, then the field extension G/F is called algebraic if every element of G is algebraic over F, meaning that for every element x of G there exists a non-zero polynomial p with coefficients in F such that p(x) = 0. |
If F and G are fields and G contains F, then the field extension G/F is called algebraic if every element of G is algebraic over F, meaning that for every element x of G there exists a non-zero polynomial p with coefficients in F such that p(x) = 0. |
F[x] is a field, and it is unique up to isomorphism if and only if |
F[x], the set of all polynomials in x with coefficients in F, is a field, and it is unique up to isomorphism if and only if |
(Notation: F[x] is the ring of polynomials over F, that is, their coefficents, arguments, and values are elements of F.) |