Kronecker's theorem says that if $F$ is a field and $f(x)$ is a non-constant polynomial in $F[x]$, then there exists an extension field $E$ of $F$ in which $f(x)$ has a root.
Here's the proof provided in the book:
proof:
Since $F[x]$ is a UFD, $f(x)$ can be expressed as a product of irreducible factors. Consider one of these irreducible factors and call it $p(x)$. We need to find an extension in which $p(x)$ has a zero. We chose:
$F[x]/<p(x)>$
This is a field, since $p(x)$ is irreducible.
starting here is where I have questions
Also, we have the inclusion $F \rightarrow E$, given by $a \mapsto a + <p(x)>$ (I'm not 100% sure how we know this, what allows us to say this map exists?)
Now, $p(x + <p(x)>) = \sum_{i = 0}^n a_i(x + <p(x)>)^i = \sum_{i = 0}^n a_ix^i + <p(x)> = p(x) + <p(x)> = 0 + <p(x)>$
I'm not 100% clear on the last part
The proof ends there with no additional comments.
If I'm understanding it correctly, this shows that $x + <p(x)>$ is a root of p(x), and we can do this for the other irreducible factors as well, but what then? Do we take the union of all of the $F[x]/<p_i(x)>$'s to get $E$?
Best Answer
Observe that for an element $\;h(x)\in F[x]\;$ ,we have (put $\;I:=\langle p(x)\rangle\;$ for simplicity)
$$f(x)+I=I\iff f(x)\in I\iff f(x)=p(x)k(x)\;,\;\;k(x)\in F[x]\iff p(x)\,\mid\,f(x)$$
and since $\;F\;$ is "naturally" (because "naturally" may depend on the author) embedded in $\;F[x]/I\;$ , we can talk of $\;g(\alpha)\;$ , for $\;g(x)\in F[x]\;,\;\;\alpha\in F[x]/I\;$ , so
$$p\left(x+I\right)=p(x)+I=I\;,\;\;\text{since}\;\;p(x)=1\cdot p(x)\in I$$
and remember that $\;I=\overline 0\;$ is the zero element in the ring (and in this case, field) $\;F[x]/I\;$ .
Your understanding is thus correct, and you need no more to prove Kronecker theorem: you already showed there is a root of $\;p(x)\;$ , which of course is also a root of the original $\;f(x)\;$ .