Constructive General Neron Desingularization for one dimensional local rings
Commutative Algebra
2016-07-12 v2
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.
Cite
@article{arxiv.1512.08435,
title = {Constructive General Neron Desingularization for one dimensional local rings},
author = {Gerhard Pfister and Dorin Popescu},
journal= {arXiv preprint arXiv:1512.08435},
year = {2016}
}
Comments
This version will appear in Journal of Symbolic Computation. arXiv admin note: text overlap with arXiv:1508.05511