Exercice 8, § 5

Soient A un anneau, M un A-module projectif de rang n. Montrer qu’il existe une A-algèbre (commutative) de type fini B, telle que le A-module B soit fidèlement plat et que $M_{(B)} = M \otimes_A B$ soit un B-module libre de rang n (utiliser le th. 1 d) et la prop. 3). Réciproque.