Professional Documents
Culture Documents
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 )
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
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)