Note to Goto's paper: ''Every noetherian uniformly coherent ring has dimension at most 2'' (Q790191): Difference between revisions

A commutative ring R is said to be uniformly coherent if for any positive integer n and any nonzero homomorphism \(f:R^ n\to R,\) ker f can be generated by \(\phi\) (n) elements, where \(\phi\) (n) is a nonnegative integer depending only on n. \textit{J. Sally} proved that any two- dimensional Noetherian local ring is uniformly coherent [''Numbers of generators of ideals in local rings'', Lect. Notes Pure Appl. Math. 35 (1978; Zbl 0395.13010)] and \textit{S. Goto} established the converse of this result [J. Math. Kyoto Univ. 23, 269-279 (1983; Zbl 0533.13005)]. In this note, the authors prove that the ideal-adic completion of a Noetherian uniformly coherent ring is uniformly coherent, and then they apply this result to give an alternate proof of the Sally-Goto theorem.