On complete integral closure of G-domain (Q1262345): Difference between revisions

For a commutative ring R with 1, it is known that the complete integral closure \(R_ 0\) of R in the total quotient ring \(R'\) of R is in fact a subring of \(R'\), though \(R_ 0\) is not necessarily itself completely integrally closed. By denoting \(R^{(1)}=R_ 0\), \(R^{(2)}=(R_ 0)_ 0=R_{00}\) and, for any integer \(n\geq 3\), \(R^ n=(R^{(n-1)})_ 0\) the author determines the classes of rings R for which there exist an integer \(n\geq 1\), such that \(R^{(n)}=R^{(n+1)}\) and hence \(R^{(n)}=R^{(m)}\) for all \(m\geq n\) and ends up showing that \(R^{(2)}=R^{(3)}\) for R a G-domain, i.e. an integral domain with quotient field K with one of the following equivalent conditions: (i) K is a finitely generated R-algebra, in particular even (ii) K is generated as an R-algebra by one element.