Exercice 6, § 5

Les anneaux A et B étant définis comme dans II, p. 179, exerc. 7, soit M un A-module. montrer que pour que M soit de type fini (resp. libre, projectif), il faut et il suffit que M ⊗_A I soit de type fini (resp. libre, projectif).