Producto tensorial. Propiedad universal.

Sea A un anillo conmutativo unitario. Sean M , N A-módulos. Consideremos el A-módulo libre A(M ×N ) ,
identificando M × N con la base usual de A(M ×N ) , donde cada elemento de A(M ×N ) descompone de modo único
como:
P
ai (mi , ni ) con ai ∈ A, (mi , ni ) ∈ (M × N )

Consideremos R ⊂ A(M ×N ) el submódulo generado por los elementos de la forma:

(m + m0 , n) − (m, n) − (m0 , n)
(m, n + n0 ) − (m, n) − (m, n0 )
(am, n) − a(m, n)
(m, an) − a(m, n)

Llamaremos producto tensorial de M × N sobre A al A-módulo A(M ×N ) /R que denotaremos por M ⊗A N . Para
cada elemento de M × N , (m, n) entendido como elemento de A(M ×N ) su imagen en M ⊗A N se denotará por
m ⊗ n Todo elemento de M ⊗A N es de la forma:
P
f inita ai (mi ⊗ ni )

En particular si:
{mi }i∈I sistema de generadores de M
⇒ {(mi , nj )}(i,j)∈I×J sistema de generadores deM ⊗A N
{ni }j∈J sistema de generadores de N
Con la definición de R tenemos además que:

(m + m0 ) ⊗ n = m ⊗ n + m0 ⊗ n
m ⊗ (n + n0 ) = m ⊗ n + m ⊗ n0
am ⊗ n = m ⊗ an = a(m ⊗ n)
De modo que la aplicación canónica es A-bilineal:
M ×N −→ M ⊗A N
(m, n) −→ m⊗n

Propiedad Universal del Producto Tensorial

Sean M y N dos A- módulos. Si f : M × N −→ P es una aplicación A-bilineal, existe un único morfismo de
A-módulos φ : M ⊗A N −→ P tal que φ(m ⊗ n) = f (m, n):
HomA (M ⊗A N, P ) = BilA (M, N ; P )

DEMOSTRACIÓN
La unicidad de tal morfismo se debe a que los elementos m ⊗ n generan M ⊗A N como A-módulo. En cuanto
a la existencia, la condición de que f sea A-bilineal expresa precisamente que el morfismo de A-módulos
f¯ : AM ×N −→ P, f¯( i ai (mi , ni )) = i ai f (mi , ni )
P P

se anula sobre los generadores del submódulo R; luego sobre R y, por la propiedad universal del módulo cociente,
induce un morfismo de A-módulos
φ : A(M ×N ) /R = M ⊗A N −→ P , φ(m ⊗ n) = f¯(m, n) = f (m, n)