MHB Why is the Kernel of the Evaluation Map Principal?

  • Thread starter Thread starter Euge
  • Start date Start date
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Let $F$ be the field of fractions of a unique factorization domain $A$, and let $L$ be an algebraic extension field of $F$. Fix $c\in L$. Prove that the kernel of the evaluation map $\operatorname{ev}_c : A[x] \to L$ is principal.-----

Remember to read the https://mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to https://mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered this week’s problem. You can read my solution below.

Since $L$ is an algebraic extension of $F$, $c$ has a minimal polynomial $p(x) \in F[x]$. Fix $f \in \operatorname{ker}(\operatorname{ev}_c)$. By the Euclidean algorithm, $f(x) = p(x) q(x) + r(x)$ for some polynomials $q(x)$ and $r(x)$ in $F[x]$ with $\operatorname{deg} r < \operatorname{deg} q$. Now $r(c) = f(c) - p(c)q(c) = 0 - 0q(c) = 0$, so by minimality of $p$, $r \equiv 0$. Thus $f(x) = p(x)q(x)$ in $F[x]$. Write $p(x) = u p’(x)$ where $u$ is nonzero in $F$ and $p’(x)\in A[x]$ is primitive. By Gauss’s lemma, $f$ is in the principal ideal (in $A[x]$) generated by $p’$. As $p’(c) = 0$, $\operatorname{ker}(\operatorname{ev}_c) = (p’)$.
 
Back
Top