Question
Given the following definition: "An element α of an extension field E is transcendental over F if and only if α is not a zero of any nonzero polynomial in F[x]". Every element in the extension field E is trivially a root of the zero polynomial. Our definition above has excluded the zero polynomial. Is that necessary ?