Claude Quitté

  • Citations Per Year
Learn More
The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural homomorphism PicA→ PicA[X] is an isomorphism ([18, 17]). We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in [2]. This example is typical of a new constructive method. The final proof is(More)
Usual definitions of Dedekind domain are not well suited for an algorithmic treatment. Indeed, the notion of Noetherian rings is subtle from a constructive point of view, and to be able to get prime ideals involve strong hypotheses. For instance, if k is a field, even given explicitely, there is in general no method to factorize polynomials in k[X]. The(More)