Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
34 2. MODULES<br />
(3) The formation <strong>of</strong> partial homomorphism are again homomorphisms.<br />
and<br />
N → HomR(M, M ⊗R N)), y ↦→ (x ↦→ x ⊗ y)<br />
M → HomR(N, M ⊗R N)), x ↦→ (y ↦→ x ⊗ y)<br />
2.6.3. Proposition. Given a map µ : M × N → L such that the partial maps x ↦→<br />
µ(x, y) : M → L and y ↦→ µ(x, y) : N → L are homomorphisms. Then there<br />
exists a unique homomorphism u : M ⊗R N → L such that u(x ⊗ y) = µ(x, y).<br />
⊗<br />
M × N <br />
<br />
M ⊗R N<br />
<br />
<br />
µ u<br />
<br />
<br />
<br />
L<br />
Pro<strong>of</strong>. By 2.6.1 M ⊗R N = F/F ′ . The homomorphism 2.4.11 F → K, (x, y) ↦→<br />
µ(x, y) has F ′ in the kernel. 2.3.5 gives the homomorphism u.<br />
2.6.4. Remark. Two homomorphisms u, v : M ⊗RN → L are equal if u(x⊗y) =<br />
v(x ⊗ y) for all x ∈ M, y ∈ N.<br />
2.6.5. Proposition. Let R be a ring and f : M → M ′ , g : N → N ′ homomorphisms<br />
<strong>of</strong> modules. Then there is induced a homomorphism<br />
Pro<strong>of</strong>. The map south-east<br />
M ⊗R N → M ′ ⊗R N ′ , x ⊗ y ↦→ f(x) ⊗ g(y)<br />
M × N<br />
f×g<br />
<br />
M ′ × N ′<br />
⊗<br />
<br />
M ⊗R N<br />
<br />
⊗<br />
<br />
M ′<br />
⊗R N ′<br />
satisfies the assumptions in 2.6.3 to induce the right vertical map x ⊗ y ↦→ f(x) ⊗<br />
g(y).<br />
2.6.6. Definition. f ⊗ g : M ⊗R N → M ′ ⊗R N ′ is the induced homomorphism<br />
2.6.5.<br />
2.6.7. Proposition. Let R be a ring. The constructions<br />
(1)<br />
(2)<br />
are functors.<br />
M ↦→ M ⊗R N, f ↦→ f ⊗ 1N<br />
N ↦→ M ⊗R N, g ↦→ 1M ⊗ g<br />
Pro<strong>of</strong>. Given also homomorphisms f ′ : M ′ → M ′′ and g ′ : N ′ → N ′′ . Then by<br />
2.6.4<br />
f ′ ◦ f ⊗ g ′ ◦ g = f ′ ⊗ g ′ ◦ f ⊗ g<br />
The rest follows directly from 2.6.5.