Exercice 5, § 5

Soient K un corps, A l'anneau produit K^N, a l'idéal K^{(N)} de A, B l'anneau A/a. Montrer que a est un A-module projectif qui n'est pas de type fini, bien que a_{(B)} = {0}.