Details:
Title  Curves and coherent Prüfer rings  Author(s)  Thierry Coquand, H. Lombardi, Claude Quitté  Type  Article in Journal  Abstract  We show, in constructive mathematics, that if k is a discrete field and f an arbitrary polynomial in k [ x , y ] then the localisation R_f_y is always a semihereditary ring, where R denotes the ring k [ x , y ] quotiented by f . An important corollary is that R is semiherditary whenever 1 = 〈 f , f_x , f_y 〉 . This can be seen as the constructive content of the theorem saying that if moreover R is a domain, then it is Dedekind.  Keywords  Semihereditary ring, ppring, Prüfer ring, Smooth curve, Constructive mathematics, Generalized Hasse derivatives  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717110000969 
Language  English  Journal  Journal of Symbolic Computation  Volume  45  Number  12  Pages  1378  1390  Year  2010  Note  MEGA’2009  Edition  0  Translation 
No  Refereed 
No 
