Algebraic Element of Field Extension/Definition 2

From ProofWiki
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.


Also see