[GAP Forum] Proof of Existence of Unique Monic Polynomial of Minimal Degree

[Minh Vaughn]

I would be grateful for a proof of the following problem:

Suppose R is a unique factorization domain, and suppose S is an integral domain which is integral over R.  Then for every element s in S there is a UNIQUE monic polynomial P in R[x] of MINIMAL degree, such that P(s) = 0.

Thanks.
-Tim
       
---------------------------------
Looking for the perfect gift? Give the gift of Flickr!