Constructive general Néron desingularization for one dimensional local rings

From MaRDI portal
Publication:1711989



Abstract: An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local rings.


The Néron Desingularization was established in [\textit{A. Néron}, Publ. Math. IHES. 21, No. 1, 5--125 (1964; Zbl 0132.41403)] and it was generalized by several authors (Popescu, André, Swan, Spivakovsky). The authors of the paper under review give an algorithmic proof of the General Néron Desingularization for one dimensional local rings. They implement it in Computer Algebra System SINGULAR. The last section of the paper gives a result of \textit{M. Greenberg}'s type [Publ. Math. IHES. 31, No. 1, 59--64 (1966; Zbl 0146.42201)] for one-dimensional rings when the Jacobian locus is not too small.





Describes a project that uses

Uses Software






This page was built for publication: Constructive general Néron desingularization for one dimensional local rings

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