Proprieties of Kernel of Subring of Field

79 Views Asked by At

While exploring concepts related to field extensions, I came across the following statement:

"Let $K$ be an extension field of $F$ and $u\in K$ an algebraic element over $F$. Consider the homomorphism $F[x]\to K$ defined by evaluation of a polynomial at $u$. Since the image is a subring of a field, the kernel is a prime ideal in the PID $F[x]$"

How does one prove the final sentence?

1

There are 1 best solutions below

2
On BEST ANSWER

Hint: Every subring of a field is a domain.The image is isomorphic to $F[x]/kernel$.