# Algebraic Element of Field Extension/Definition 2

Jump to navigation Jump to search

## Definition

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.