Details:
Title | | Author(s) | Thierry Coquand, H. Lombardi, Claude | 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 | | ISSN | 0747-7171 |
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 |
|