Effective computation of the integral closure of a morphism (Q2366061): Difference between revisions

Let \(B = k[y_1, \ldots, y_m]/{\mathfrak p}\) be an affine domain and let \(A\) be a finitely generated \(k\)-subalgebra of \(B\). We provide direct methods to determine the integral closure of \(A\) in \(B\). The tools are derived from Gröbner basis computations. The procedures that are presented are closely modelled on Peskine's proof of Zariski's main theorem [\textit{C. Peskine}, Bull. Sci. Math., II. Ser. 90, 199-127 (1966; Zbl 0142.287)].