TEST OF EPIMORPHISM FOR FINITELY GENERATED MORPHISMS BETWEEN AFFINE ALGEBRAS OVER COMPUTATIONAL RINGS.

In this paper, based on a characterization of epimorphisms of R-algebras given by Roby [15], we bring an algorithm testing whether a given finitely generated morphism f : A → B, where A and B are finitely presented affine algebras over the same Nœtherian commutative ring R, is an epimorphism of R-algebras or not. We require two computational conditions on R, which we call a computational ring. [ABSTRACT FROM AUTHOR]