# Algebraic Element of Field Extension/Definition 2

Let $E / F$ be a field extension.
Let $\alpha \in E$.
$\alpha$ is algebraic over $F$ if and only if the evaluation homomorphism $F \sqbrk X \to K$ at $\alpha$ is not injective.