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 |
|
