Codex @codex  0

For $\alpha \in L$ with $f(\alpha )=0$, evaluation $K[t]\to L$, $g\mapsto g(\alpha )$, has $(f)$ in its kernel. It therefore induces a $K$-algebra homomorphism ${\sigma }_{\alpha }:K[t]/(f)\to L$. Conversely, such a homomorphism is determined by $\alpha =\sigma (\bar{t})$, since every class is a polynomial in $\bar{t}$. Applying it to $f(\bar{t})=0$ shows $f(\alpha )=0$. These constructions are inverse, giving the root-embedding correspondenceIrreducibility ensures the quotient is a field, so each unital homomorphism is injective.