Constructions cachées en algèbre abstraite (2)
Le principe local global

pdf file, dvi file.
avec Quitté, C. in:
Commutative ring theory and applications. Eds: Fontana M., Kabbaj S.-E., Wiegand S.
Lecture notes in pure and applied mathematics vol 131. M. Dekker. (2002) 461-476.

Résumé
Nous appliquons une forme constructive de principes local-global en algèbre commutative pour décrypter, cachées dans des théorèmes d'algèbre abstraite, des constructions de matrices inversibles dans des anneaux de polynomes. Ceci nous donne une nouvelle preuve constructive de la conjecture de Serre (théorème de Quillen-Suslin) et une preuve constructive du théorème de stabilité de Suslin.



Hidden constructions in abstract algebra (2)
The local global principle

Abstract
We apply a constructive form of local-global principles in commutative algebra in order to decipher some constructions of invertible polynomial matrices hidden in theorems of abstract algebra. This leads us to a new constructive proof of Serre's conjecture (Quillen-Suslin theorem). We get also a constructive proof of Suslin's stability theorem.