Remarque 2

Soit $\rho$ un homomorphisme unifère de A dans un anneau commutatif B. Comme on l’a vu dans III, p. 20, on déduit de $\rho$ un isomorphisme $\sigma$ de Lib_B(I) (resp. Libas_B(I), resp. Libasc_B(I)) sur l’algèbre $(\mathrm{Lib}_A(I))_{(B)}$ (resp. $(\mathrm{Libas}_A(I))_{(B)}$, resp. $(\mathrm{Libasc}_A(I))_{(B)}$) obtenue par extension des scalaires à B au moyen de $\rho$; si $X_i^A, X_i^B$ sont les indéterminées d’indice i correspondant respectivement à A et à B, on a $\sigma(X_i^B) = X_i^A \otimes 1$.