Tensor product of modules

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear maps (module homomorphisms). The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a left-module and a right-module over any ring, with result an abelian group. Tensor products are important in areas of abstract algebra, homological algebra, algebraic topology and algebraic geometry. The universal property of the tensor product of vector spaces extends to more general situations in abstract algebra. It allows the study of bilinear or multilinear operations via linear operations. The tensor product of an algebra and a module can be used for extension of scalars. For a commutative ring, the tensor product of modules can be iterated to form the tensor algebra of a module, allowing one to define multiplication in the module in a universal way.

Balanced product[edit]

For a ring R, a right R-module M, a left R-module N, and an abelian group G, a balanced product or bilinear map from M × N to G is a function φ: M × NG such that for all m, m′ in M, n, n′ in N, and r in R:

  1. φ(m + m′, n) = φ(m, n) + φ(m′, n)
  2. φ(m, n + n′) = φ(m, n) + φ(m, n′)
  3. φ(m · r, n) = φ(m, r · n)

The set of all such balanced products over R from M × N to G is denoted by BilinR(M, N; G).

Property 3 differs slightly from the definition of bilinearity for vector spaces. This is necessary because the usual requirements are overly restrictive for noncommutative R,[1] and thus G is assumed to be an abelian group rather than an R-module. However, when R is commutative, the balanced product naturally produces an R-module, and is bilinear in the normal sense of being R-linear in each argument.

If φ, ψ are balanced products, then the operations φ + ψ and −φ defined pointwise are each a balanced product. This turns the set BilinR(M, N; G) into an abelian group.

For M and N fixed, the map G ↦ BilinR(M, N; G) is a functor from the category of abelian groups to the category of sets. The morphism part is given by mapping a group homomorphism g : GG to the function φgφ, which goes from BilinR(M, N; G) to BilinR(M, N; G′).

Definition[edit]

For a ring R, a right R-module M, a left R-module N, the tensor product over R

M \otimes_R N

is an abelian group together with a balanced product (as defined above)

\otimes :  M \times N \to M \otimes_{R} N

which is universal in the following sense:[2]

Tensor product of modules.png
For every abelian group G and every balanced product
f:  M \times N \to G\,
there is a unique group homomorphism
 \tilde{f}: M \otimes_R N \to G
such that
\tilde{f} \circ \otimes = f.

As with all universal properties, the above property defines the tensor product uniquely up to a unique isomorphism: any other object and balanced product with the same properties will be isomorphic to MR N and ⊗. The definition does not prove the existence of MR N; see below for a construction.

The tensor product can also be defined as a representing object for the functor G → BilinR(M,N;G); explicitly, this means there is a natural isomorphism:

\operatorname{Hom}_{\mathbb{Z}} (M \otimes_R N, G) \simeq \operatorname{Bilin}_R(M, N; G), \, g \mapsto g \circ \otimes.

This is a succinct way of stating the universal mapping property given above. (A priori, if one is given this is natural isomorphism, then \otimes can be recovered by taking G = M \otimes_R N and then mapping the identity map.)

Similarly, given the identification \operatorname{Bilin}_R(M, N; G) = \operatorname{Hom}_R(M, \operatorname{Hom}_{\mathbb{Z}}(N, G)),[3] one can also define MR N by the formula

\operatorname{Hom}_{\mathbb{Z}} (M \otimes_R N, G) \simeq \operatorname{Hom}_R(M, \operatorname{Hom}_{\mathbb{Z}}(N, G)).

The universal property of a tensor product has the following important consequence:

Proposition — Every element of M \otimes_R N can be written, non-uniquely, as

\sum_i x_i \otimes y_i, \, x_i \in M, y_i \in N

where x \otimes y is the image of (x, y) under \otimes: M \times N \to M \otimes_R N. In other words, the image of \otimes generates M \otimes_R N. Also, for any x, x′ in M and y, y′ in N and r in R,

  • (x+ x') \otimes y = x \otimes y + x' \otimes y.
  • x \otimes (y + y') = x \otimes y + x \otimes y'.
  • xr \otimes y = x \otimes ry.

Furthermore, if f is a function defined on elements x \otimes y with values in abelian group, then f extends to the homomorphism defined on the whole M \otimes_R N if and only if f(x \otimes y) is Z-bilinear in x and y.

Proof: Let L be the subgroup of M \otimes_R N generated by elements of the form in question, Q = (M \otimes_R N) / L and q the quotient map to Q. We have: 0 = q \circ \otimes as well as 0 = 0 \circ \otimes. Hence, by the uniqueness part of the universal property, q = 0. The remaining assertions are restatement of the universal property. \square

If R is commutative, then M \otimes_R N becomes an R-module by the formula

r \cdot (x \otimes y) = r x \otimes y = x \otimes r y.

If R is not commutative but if M has a left action by a ring S or if N has a right action by a ring T, then M \otimes_R N has the structure of a left S-module or a right T-module in the similar way.

Strictly speaking, the ring used to form the tensor should be indicated: most modules can be considered as modules over several different rings or over the same ring with a different actions of the ring on the module elements. For example, it can be shown that RR R and RZ R are completely different from each other.[clarification needed] (Note this example fails if we use Q instead of R; see "examples" below) However in practice, whenever the ring is clear from context, the subscript denoting the ring may be dropped.

Tensor product of linear maps[edit]

Given linear maps f: M \to M' of right modules over a ring R and g: N \to N' of left modules, one writes

f \otimes g: M \otimes _R N \to M' \otimes_R N'

for the unique linear map such that (f \otimes g)(x \otimes y) = f(x) \otimes g(y).

See also: Tensor product#Tensor product of linear maps.

Several modules[edit]

(This section need to be updated. For now, see #Properties for the more general discussion.)

It is possible to extend the definition to a tensor product of any number of modules over the same commutative ring. For example, the universal property of

M1M2M3

is that each trilinear map on

M1 × M2 × M3Z

corresponds to a unique linear map

M1M2M3Z.

The binary tensor product is associative: (M1M2) ⊗ M3 is naturally isomorphic to M1 ⊗ (M2M3). The tensor product of three modules defined by the universal property of trilinear maps is isomorphic to both of these iterated tensor products.

Properties[edit]

Let R be a commutative ring, and M, N and P be R-modules. Then (in the below "=" would generally means a canonical isomorphism of R-modules)

  • (identity) R \otimes_R M = M
  • (symmetry) M \otimes_R N = N \otimes_R M; in fact, for any permutation σ of the set { 1, 2, …, n }, there is a unique isomorphism
M_1 \otimes \cdots \otimes M_n \to M_{\sigma(1)} \otimes \cdots \otimes M_{\sigma(n)}
under which x_1 \otimes \cdots \otimes x_n maps to x_{\sigma(1)} \otimes \cdots \otimes x_{\sigma(n)}.
  • (associativity) (M \otimes_R N) \otimes_R P = M \otimes_R (N \otimes_R P); see below for a more general form.[4]
  • (distributive property) M \otimes_R (N \oplus P) = (M \otimes_R N) \oplus (M \otimes_R P); in fact,
M \otimes_R (\bigoplus_{i \in I} N_i) = \bigoplus_{i \in I} M \otimes_R N_i
for an index set I of arbitrary cardinality.
  • (commutes with finite product) for any finitely many N_i,
M \otimes_R \prod_{i = 1}^n N_i = \prod_{i = 1}^nM \otimes_R N_i
  • (commutes with localization) for any multiplicatively closed subset S of R,
S^{-1}(M \otimes_R N) = S^{-1}M \otimes_{S^{-1}R} S^{-1}N
as S^{-1} R-module. Since S^{-1} R is an R-algebra and S^{-1} - = S^{-1} R \otimes_R -, this is a special case of:
  • (commutes with base extension) If S is an R-algebra, writing -_{S} = S \otimes_R -,
(M \otimes_R N)_S = M_S \otimes_S N_S;[5]
cf. #Extension of scalars.
  • (commutes with direct limit) for any direct system of R-modules Mi,
(\varinjlim M_i) \otimes_R N = \varinjlim (M_i \otimes_R N).
  • (tensoring is right exact) if 0 \to N' \overset{f}\to N \overset{g}\to N'' \to 0 is an exact sequence of R-modules, then
M \otimes_R N' \overset{1 \otimes f}\to M \otimes_R N \overset{1 \otimes g}\to M \otimes_R N'' \to 0
is an exact sequence of R-modules, where (1 \otimes f)(x \otimes y) = x \otimes f(y). This is a consequence of:
\operatorname{Hom}_R(M, N) \otimes P \to \operatorname{Hom}_R(M, N \otimes P),
which is an isomorphism if either M or P is a finitely generated projective module (see #As linearity-preserving maps for the non-commutative case);[6] more generally, there is a canonical R-linear map:
\operatorname{Hom}_R(M, N) \otimes \operatorname{Hom}_R(M', N') \to \operatorname{Hom}_R(M \otimes M', N \otimes N')
which is an isomorphism if either (M, N) or (M, M') is a pair of finitely generated projective modules.

To give a practical example, suppose M, N are free modules with bases e_i, i \in I and f_j, j \in J. Then M is the direct sum M = \bigoplus_{i \in I} R e_i and the same for N. By the distributive property, one has:

M \otimes_R N = \bigoplus_{i, j} R(e_i \otimes f_j);

i.e., e_i \otimes f_j, \, i \in I, j \in J are the R-basis of M \otimes_R N. Even if M is not free, a free presentation of M can be used to compute tensor products.

The tensor product, in general, does not commute with inverse limit: on the one hand,

\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Z}/p^n = 0

(cf. "examples"). On the other hand,

(\varprojlim \mathbb{Z}/p^n) \otimes_{\mathbb{Z}} \mathbb{Q} = \mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Q} = \mathbb{Z}_p[p^{-1}] = \mathbb{Q}_p

where \mathbb{Z}_p, \mathbb{Q}_p are the ring of p-adic integers and the field of p-adic numbers.

If R is not commutative, the order of tensor products could matter in the following way: we "use up" the right action of M and the left action of N to form the tensor product M \otimes_R N; in particular, N \otimes_R M would not even be defined. If M, N are bi-modules, then M \otimes_R N has the left action coming from the left action of M and the right action coming from the right action of N; those actions need not be the same as the left and right actions of N \otimes_R M.

The associativity holds more generally for non-commutative rings: if M is a right R-module, N a (R, S)-module and P a left S-module, then

(M \otimes_R N) \otimes_S P = M \otimes_R (N \otimes_S P)

as abelian group.

The general form of adjoint relation of tensor products says: if R is not necessarily commutative, M is a right R-module, N is a (R, S)-module, P is a right S-module, then as abelian group

\operatorname{Hom}_S(M \otimes_R N, P) = \operatorname{Hom}_R(M, \operatorname{Hom}_S(N, P)), \, f \mapsto f'[7]

where f' is given by f'(x)(y) = f(x \otimes y). See also: tensor-hom adjunction.

Extension of scalars[edit]

Main article: extension of scalars

The adjoint relation in the general form has an important special case: for any R-algebra S, M a right R-module, P a right S-module, using \operatorname{Hom}_S (S, -) = -, we have the natural isomorphism:

\operatorname{Hom}_S (M \otimes_R S, P) = \operatorname{Hom}_R (M, \operatorname{Res}_R(P)).

This says that the functor - \otimes_R S is a left adjoint to the forgetful functor \operatorname{Res}_R, which restricts an S-action to an R-action. Because of this, - \otimes_R S is often called the extension of scalars from R to S. In the representation theory, when R, S are group algebras, the above relation becomes the Frobenius reciprocity.

Example: R^n \otimes_R S = S^n for any R-algebra S (i.e., a free module remains free after extending scalars.)

Example: For a commutative ring R and a commutative R-algebra S, we have:

  • S \otimes_R R[x_1, \dots, x_n] = S[x_1, \dots, x_n]; in fact, more generally,
  • S \otimes_R (R[x_1, \dots, x_n]/I) = S[x_1, \dots, x_n]/ IS[x_1, \dots, x_n], \, I an ideal.

Example: Using the fact \mathbb{C} = \mathbb{R}[x]/(x^2 + 1), by the previous example and the Chinese remainder theorem, we have: as ring

\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} = \mathbb{C}[x]/(x^2 + 1) = \mathbb{C}[x]/(x+i) \times \mathbb{C}[x]/(x-i) = \mathbb{C}^2

(this gives an example when a tensor product is a direct product.)

Example: \mathbb{R} \otimes_{\mathbb{Z}} \mathbb{Z}[i] = \mathbb{C}[i] = \mathbb{C} where i is the imaginary unit.

Examples[edit]

Let G be an abelian group in which every element has finite order (that is G is a torsion abelian group; for example G can be a finite abelian group or Q/Z). Then

\mathbb{Q} \otimes_{\mathbb{Z}} G = 0.[8]

Indeed, any element x of \mathbb{Q} \otimes_{\mathbb{Z}} G is of the form

x = \sum_i r_i \otimes g_i

where r_i \in \mathbb{Q}, g_i \in G. If n_i is the order of g_i, then we compute:

x = \sum (r_i / n_i )n_i \otimes g_i = \sum r_i / n_i \otimes n_i g_i = 0.

Similarly, one sees

\mathbb{Q}/\mathbb{Z} \otimes_{\mathbb{Z}} \mathbb{Q}/\mathbb{Z}  = 0.

Here are some useful identities: Let R be a commutative ring, I, J ideals, M, N R-modules. Then

  1. R/I \otimes_R M = M/IM. If M is flat, IM = I \otimes_R M.
  2. M/IM \otimes_{R/I} N/IN = M \otimes_R N \otimes_R R/I.
  3. R/I \otimes_R R/J = R/(I + J).

Proof: Tensoring with M the exact sequence 0 \to I \to R \to R/I \to 0 gives

I \otimes_R M \overset{f}\to R \otimes_R M = M \to R/I \otimes_R M \to 0

where f is given by i \otimes x \mapsto ix. Since the image of f is IM, we get the first part of 1. If M is flat, f is injective and so is an isomorphism onto its image. 2. follows from 1. and 3. is because

R/I \otimes_R R/J = {R/J \over I(R/J) }= {R/J \over (I + J)/J} = R/(I+J). \square

Example: If G is an abelian group, G \otimes_{\mathbb{Z}} \mathbb{Z}/n = G/nG; this follows from 1.

Example: \mathbb{Z}/n \otimes_{\mathbb{Z}}  \mathbb{Z}/m = \mathbb{Z}/{\operatorname{gcd}(n, m)}; this follows from 3.

Example: Let \mu_n be the group of n-th roots of unity. It is a cyclic group and cyclic groups are classified by orders. Thus, non-canonically, \mu_n \approx \mathbb{Z}/n and thus, when g is the gcd of n and m,

\mu_n \otimes_{\mathbb{Z}}  \mu_m \approx \mu_g.

Example: Consider \mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Q}. Since \mathbb{Q} \otimes_{\mathbb{Q}} \mathbb{Q} is obtained from \mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Q} by imposing \mathbb{Q}-linearity on the middle, we have the surjection

\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Q} \to \mathbb{Q} \otimes_{\mathbb{Q}} \mathbb{Q}

whose kernel is generated by elements of the form {r \over s} x \otimes y - x \otimes {r \over s} y where r, s, x, u are integers and s is nonzero. Since

{r \over s} x \otimes y = {r \over s} x \otimes {s \over s} y = x \otimes {r \over s} y,

the kernel actually vanishes; hence, \mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Q} = \mathbb{Q} \otimes_{\mathbb{Q}} \mathbb{Q} = \mathbb{Q}.

Construction[edit]

The construction of MN takes a quotient of a free abelian group with basis the symbols mn for m in M and n in N by the subgroup generated by all elements of the form

  1. −(m + m′) ⊗ n + mn + m′ ⊗ n
  2. m ⊗ (n + n′) + mn + mn
  3. (m · r) ⊗ nm ⊗ (r · n)

where m, m′ in M, n, n′ in N, and r in R. The function which takes (m, n) to the coset containing mn is balanced, and the subgroup has been chosen minimally so that this map is balanced.

If S is a subring of a ring R, then M \otimes_R N is the quotient group of M \otimes_S N by the subgroup generated by xr \otimes y - x \otimes ry, \, r \in R, x \in M, y \in N. In particular, any tensor product of R-modules can be constructed, if so desired, as a quotient of tensor product of abelian groups by imposing R-linearity.

The direct product of M and N is rarely isomorphic to the tensor product of M and N. When R is not commutative, then the tensor product requires that M and N be modules on opposite sides, while the direct product requires they be modules on the same side. In all cases the only function from M × N to G that is both linear and bilinear is the zero map.

As linear maps[edit]

In the general case, not all the properties of a tensor product of vector spaces extend to modules. Yet, some useful properties of the tensor product, considered as module homomorphisms, remain.

Dual module[edit]

The dual module of a right R-module E, is defined as HomR(E, R) with the canonical left R-module structure, and is denoted E.[9] The canonical structure is the pointwise operations of addition and scalar multiplication. Thus, E is the set of all R-linear maps ER (also called linear forms), with operations

(\phi + \psi)(u) = \phi(u) + \psi(u), \quad \phi, \psi \in E^*, u \in E
(r \cdot \phi) (u) = r \cdot \phi(u), \quad \phi \in E^*, u \in E, r \in R,

The dual of a left R-module is defined analogously, with the same notation.

Duality pairing[edit]

We denote the natural pairing of its dual E and a right R-module E, or of a left R-module F and its dual F as

 \langle \cdot , \cdot \rangle : E^* \times E \to R : (e', e) \mapsto \langle e', e \rangle = e'(e)
 \langle \cdot , \cdot \rangle : F \times F^* \to R : (f, f') \mapsto \langle f, f' \rangle = f'(f) .

The pairing is left R-linear in its left argument, and right R-linear in its right argument:

 \langle r \cdot g, h \cdot s \rangle = r \cdot \langle g, h \rangle \cdot s, \quad r, s \in R .

An element as a (bi)linear map[edit]

In the general case, each element of the tensor product of modules gives rise to a left R-linear map, to a right R-linear map, and to an R-bilinear form. Unlike the commutative case, in the general case the tensor product is not an R-module, and thus does not support scalar multiplication.

  • Given right R-module E and right R-module F, there is a canonical homomorphism θ : FR E → HomR(E, F) such that θ(fe′) is the map efe′, e.[10]
  • Given left R-module E and right R-module F, there is a canonical homomorphism FR E → HomR(E, F) such that θ(fe) is the map e′ ↦ fe, e.[11]

Both cases hold for general modules, and become isomorphisms if the modules E and F are restricted to being finitely generated projective modules (in particular free modules of finite ranks). Thus, an element of a tensor product of modules over a ring R maps canonically onto an R-linear map, though as with vector spaces, constraints apply to the modules for this to be equivalent to the full space of such linear maps.

  • Given right R-module E and left R-module F, there is a canonical homomorphism FR E → BilinR(F × E, R) such that θ(f′ ⊗ e′) is the map (f, e) ↦ f, fe′, e.[citation needed] Thus, an element of a tensor product ξFR E may be thought of giving rise to or acting as an R-bilinear map F × ER.

Trace[edit]

Let R be a commutative ring and E an R-module. Then there is a canonical R-linear map:

E^* \otimes_R E \to R

induced by \phi \otimes x \mapsto \phi(x); it is the unique R-linear corresponding to the duality pairing.

If E is a finitely generated projective R-module, then one can identify E^* \otimes_R E = \operatorname{End}_R(E) through the canonical homomorphism mentioned above and then the above is the trace map:

\operatorname{tr}: \operatorname{End}_R(E) \to R.

When R is a field, this is the usual trace of a linear transformation.

Example from differential geometry: tensor field[edit]

The most prominent example of a tensor product of modules in differential geometry is the tensor product of the spaces of vector fields and differential forms. More precisely, if R is the (commutative) ring of smooth functions on a smooth manifold M, then one puts

\mathfrak{T}^p_q = \Gamma(M, T M)^{\otimes p} \otimes_R \Gamma(M, T^* M)^{\otimes q}

where Γ means the space of sections and the superscript \otimes p means tensoring p times over R. By definition, an element of \mathfrak{T}^p_q is a tensor field of type (p, q).

As R-modules, \mathfrak{T}^q_p is the dual module of \mathfrak{T}^p_q.[12]

To lighten the notation, put E  = \Gamma(M, T M) and so E^* = \Gamma(M, T^* M).[13] When p, q ≥ 1, for each (k, l) with 1 ≤ k ≤ p, 1 ≤ l ≤ q, there is an R-multilinear map:

E^p \times {E^*}^q \to E^{p-1} \times {E^*}^{q-1}, \, (X_1, \dots, X_p, \omega_1, \dots, \omega_q) \mapsto \langle X_k, \omega_l \rangle (X_1, \dots, \widehat{X_l}, \dots, X_p, \omega_1, \dots, \widehat{\omega_l}, \dots, \omega_q)

where E^p means \prod_1^p E and the hat means a term is omitted. By the universal property, it corresponds to a unique R-linear map:

C^k_l: \mathfrak{T}^p_q \to \mathfrak{T}^{p-1}_{q-1}.

It is called the contraction of tensors in the index (k, l). Unwinding what the universal property says one sees:

C^k_l(X_1 \otimes \cdots \otimes X_p \otimes \omega_1 \otimes \cdots \otimes \omega_q) = \langle X_k, \omega_l \rangle X_1 \otimes \cdots \widehat{X_l} \cdots \otimes X_p \otimes \omega_1 \otimes \cdots \widehat{\omega_l} \cdots \otimes \omega_q.


Remark: The preceding discussion is standard in textbooks on differential geometry (e.g., Helgason). In a way, the sheaf-theoretic construction (i.e., the language of sheaf of modules) is more natural and increasingly more common; for that, see the section #Tensor product of sheaves of modules.

Relationship to flat modules[edit]

In general, -\otimes_R-:\mathrm{Mod}\mbox{--}R\times R\mbox{--}\mathrm{Mod}\rightarrow \mathrm{Ab} is a bifunctor which accepts a right and a left R module pair as input, and assigns them to the tensor product in the category of abelian groups.

By fixing a right R module M, a functor M\otimes_R-:R\mbox{--}\mathrm{Mod}\rightarrow \mathrm{Ab} arises, and symmetrically a left R module N could be fixed to create a functor -\otimes_RN:\mathrm{Mod}\mbox{--}R\rightarrow \mathrm{Ab}. Unlike the Hom bifunctor \mathrm{Hom}_R(-,-), the tensor functor is covariant in both inputs.

It can be shown that M⊗- and -⊗N are always right exact functors, but not necessarily left exact. By definition, a module T is a flat module if T⊗- is an exact functor.

If {mi}iI and {nj}jJ are generating sets for M and N, respectively, then {minj}iI,jJ will be a generating set for MN. Because the tensor functor MR- sometimes fails to be left exact, this may not be a minimal generating set, even if the original generating sets are minimal. If M is a flat module, the functor MR- is exact by the very definition of a flat module. If the tensor products are taken over a field F, we are in the case of vector spaces as above. Since all F modules are flat, the bifunctor -⊗R- is exact in both positions, and the two given generating sets are bases, then  \{m_i \otimes n_j \mid i\in I, j \in J\} indeed forms a basis for MF N.

When the tensor products are taken over a field F so that -⊗- is exact in both positions, and the generating sets are bases of M and N, it is true that  \{m_i \otimes n_j \mid i\in I, j \in J\} indeed forms a basis for MF N.

Additional structure[edit]

The tensor product, as defined, is an abelian group, but in general, it does not immediately have an R-module structure. However, if M is an (S,R)-bimodule, then MR N can be made into a left S-module using the obvious operation s(mn) = (smn). Similarly, if N is an (R,T)-bimodule, then MR N is a right T-module using the operation (mn)t = (mnt). If M and N each have bimodule structures as above, then MR N is an (S,T)-bimodule. In the case where R is a commutative ring, all of its modules can be thought of as (R,R)-bimodules, and then MR N can be made into an R-module as described. In the construction of the tensor product over a commutative ring R, the multiplication operation can either be defined a posteriori as just described, or can be built in from the start by forming the quotient of a free R-module by the submodule generated by the elements given above for the general construction, augmented by the elements r(mn) − m ⊗ (rn), or equivalently the elements mrnr(mn).

If S and T are commutative R-algebras, then SR T will be a commutative R-algebra as well, with the multiplication map defined by (m1m2) (n1n2) = (m1n1m2n2) and extended by linearity. In this setting, the tensor product become a fibered coproduct in the category of R-algebras. Note that any ring is a Z-algebra, so we may always take MZ N.

If S1MR is an S1-R-bimodule, then there is a unique left S1-module structure on MN that is compatible with the tensor map ⊗ : M × NMR N. Similarly, if RNS2 is an R-S2-bimodule, then there is a unique right S2-module structure on MR N which is compatible with the tensor map.[citation needed]

If M and N are both R-modules over a commutative ring, then their tensor product is again an R-module. If R is a ring, RM is a left R-module, and the commutator

rssr

of any two elements r and s of R is in the annihilator of M, then we can make M into a right R module by setting

mr = rm.

The action of R on M factors through an action of a quotient commutative ring. In this case the tensor product of M with itself over R is again an R-module. This is a very common technique in commutative algebra.

Generalization[edit]

Tensor product of complexes of modules[edit]

If X, Y are complexes of R-modules (R a commutative ring), then their tensor product is the complex given by

(X \otimes_R Y)_n = \sum_{i + j = n} X_i \otimes_R Y_i.[14]

For example, if C is a chain complex of flat abelian groups and if G is an abelian group, then the homology group of C \otimes_{\mathbb{Z}} G is the homology group of C with coefficients in G (see also: universal coefficient theorem.)

Tensor product of sheaves of modules[edit]

Main article: Sheaf of modules

In this setup, for example, one can define a tensor field on a smooth manifold M as a (global or local) section of the tensor product (called tensor bundle)

(T M)^{\otimes p} \otimes_{O} (T^* M)^{\otimes q}

where O is the sheaf of rings of smooth functions on M and the bundles TM, T^*M are viewed as locally free sheaves on M. See also: http://www.encyclopediaofmath.org/index.php/Tensor_bundle

The exterior bundle on M is the subbundle of the tensor bundle consisting of all antisymmetric covariant tensors. Sections of the exterior bundle are differential forms on M.

See also: Tensor product bundle.

One important case when one forms a tensor product over a sheaf of non-commutative rings appears in theory of D-modules; this sheaf of rings over which tensor products are formed is the sheaf of differential operators.

See also[edit]

Notes[edit]

  1. ^ For example, if we take R as a (strictly noncommutative) division ring such as the quarternions, φ(m · r, n) = φ(m, r · n) = r · φ(m, n) implies that φ(m, n) = 0
  2. ^ Hazewinkel, et al. (2004), p. 95, Prop. 4.5.1.
  3. ^ First, if R = Z, then the claimed identification is given by f \mapsto f' with f'(x)(y) = f(x, y). In general, \operatorname{Hom}_{\mathbb{Z}}(N, G) has the structure of a right R-module by (g \cdot r)(y) = g(r y). Thus, for any Z-bilinear map f, f′ is R-linear \Leftrightarrow f'(xr) = f'(x) \cdot r \Leftrightarrow f(xr, y) = f(x, ry).
  4. ^ The first three properties (plus identities on morphisms) say that the category of R-modules, with R commutative, forms a symmetric monoidal category.
  5. ^ Proof: (using associativity in a general form) (M \otimes_R N)_S = (S \otimes_S M) \otimes_R N = M_S \otimes_R N = M_S \otimes_S S \otimes_R N = M_S \otimes_S N_S.
  6. ^ Bourbaki, Ch II. § 4. 4.
  7. ^ Bourbaki, § 4.1. Proposition 1.
  8. ^ Example 3.6. of http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/tensorprod.pdf
  9. ^ Bourbaki, Algebra, ch. II §2.3
  10. ^ Bourbaki, Algebra, ch. II §4.2 (11)
  11. ^ Bourbaki, Algebra, ch. II §4.2 (15)
  12. ^ Helgason, Lemma 2.3'.
  13. ^ This is actually the definition of differential one-forms, global sections of T^*M, in Helgason, but is equivalent to the usual definition that does not use module theory.
  14. ^ May Ch 12. § 3.

References[edit]