I think I have proved the following theorem:(adsbygoogle = window.adsbygoogle || []).push({});

"If R is an integral domain, x is integral of degree n over R, and K is the fraction field of R, then the intersection of R[x] with K is included in 1/n R[X] (the set of elements r/n where r belongs to R). Furthermore, if R is Dedekind, then this intersection is R."

My simple proof can be found here:

https://upload.wikimedia.org/wikipedia/commons/d/de/Bensimhoun-1.lemma_in_Galois_Theory-2.RxInterQuotR-3.conjugates_of_polynomial.pdf [Broken] (pp. 3--5).

My question is: Where can I found reliable references to this theorem, or at least reliable references to another theorem implying it ?

Thx.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# About integral extensions

**Physics Forums | Science Articles, Homework Help, Discussion**