Exercise 8, § 2
Commutative Algebra, V, 363
A local ring is called unibranche if its integral closure is a local ring. (a) Let be a local integral domain and its field of fractions. For to be unibranche, it is necessary and sufficient that every sub--algebra of which is a finitely generated -module be a local ring. (b) Show that, if the completion of a Noetherian local ring is an integral domain, is unibranche (if is a finite -algebra contained in , show that the subring of the field of fractions of generated by and is isomorphic to , using the flatness of the -module and the fact that is contained in a finitely generated free -module contained in ; then use (a) and Chapter III, § 2, no. 13, Corollary to Proposition 19).
Solution
No solution has been written yet.