element of an extension field which is a root of a non-zero polynomial with coefficients in the subfield