Abstract:
Integral extensions have properties called Lying Over and Incomparabilty established by Cohen and Seidenberg. I will present a folklore theorem I learned of in work by David Dobbs. It shows that under certain lying over and incomparable conditions, integrality holds. I follow a proof by Dobbs which uses the idea of primitive elements ie ones whose content is the whole ring.