Dejemos que $A,N$ sea $A$ -módulos. Estoy tratando de probar $A^{\oplus n} \otimes_A N \cong N^{\oplus n}$ . Primero definimos $f: F(A,N) \rightarrow N^{\oplus n}$ donde $F(A,N)$ es un módulo libre con una base $e_{a,\nu}, a \in A, \nu \in N$ . Vemos que $f: e_{(a_1,...,a_n),\nu} \mapsto (a_1\nu,...,a_n\nu), a_i \in A, \nu \in N$ es un homomorfismo correctamente definido, porque $e_{\alpha_1(\alpha_2+\alpha_3),\nu}-e_{\alpha_1\alpha_2,\nu}-e_{\alpha_1\alpha_3,\nu} \mapsto (0,...,0), \\ e_{\alpha,\nu_1(\nu_2+\nu_3)}-e_{\alpha,\nu_1\nu_2}-e_{\alpha,\nu_1\nu_3} \mapsto (0,...,0), \\ e_{a\alpha,\nu}- a e_{\alpha,\nu}\mapsto(0,...,0),\\ e_{\alpha,a\nu} - ae_{\alpha,\nu}\mapsto(0,...,0).$
A continuación tenemos que demostrar que $f$ es un isomorfismo. Pero, ¿cómo hacerlo?