A method to compute the General Neron Desingularization in the frame of one dimensional local domains
Commutative Algebra
2015-09-22 v2
Abstract
An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in \textsc{Singular}. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional Cohen-Macaulay local rings.
Keywords
Cite
@article{arxiv.1508.05511,
title = {A method to compute the General Neron Desingularization in the frame of one dimensional local domains},
author = {Adrian Popescu and Dorin Popescu},
journal= {arXiv preprint arXiv:1508.05511},
year = {2015}
}
Comments
In this version some examples were added and many misprints were corrected especially from the last section