Effective computation of the integral closure of a morphism

DOI10.1016/0022-4049(93)90098-EMaRDI QIDQ2366061zbMATH OpenFDO

Authors Joseph P. Brennan, Wolmer V. Vasconcelos

Publication date 29 June 1993

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(93)90098-E

zbMATH Keywords

computation of the integral closureGröbner basis

Mathematics Subject Classification ID

Integral closure of commutative rings and ideals (13B22) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Review text

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)].

Recommendations

• scientific article; zbMATH DE number 1253986
• scientific article; zbMATH DE number 1296990
• Computing the Integral Closure of an Affine Domain

Cites work

• Computing the Integral Closure of an Affine Domain
• Constructive Aspects of Noetherian Rings
• Constructive normalization of an algebraic variety
• Constructive Proof of Hilbert's Theorem on Ascending Chains
• scientific article; zbMATH DE number 4147500 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 4047850 (Why is no real title available?)
• scientific article; zbMATH DE number 67334 (Why is no real title available?)
• scientific article; zbMATH DE number 3229633 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Uniform bounds in noetherian rings
• Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence

Cited in

(13)

• Direct methods for primary decomposition
• A weighted module view of integral closures of affine domains of type I
• On abstract homomorphisms of Chevalley groups over the coordinate rings of affine curves
• Computation of unirational fields
• Integral closure and operations of algebraic tori of complexity 1 in affine varieties
• Computing the Integral Closure of an Affine Domain
• scientific article; zbMATH DE number 1296990 (Why is no real title available?)
• scientific article; zbMATH DE number 1175412 (Why is no real title available?)
• Rings of Constants of the Formk[f]
• On maximal subalgebras
• Divisorial extensions and the computation of integral closures
• The determination of integral closures and geometric applications
• Computing the binomial part of a polynomial ideal

This page was built for publication: Effective computation of the integral closure of a morphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366061)