06.08.2013 Views

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

22 2. MODULES<br />

(5) If R is a field, a module is a vector space and a homomorphism is a linear<br />

map.<br />

(6) A module over Z is an abelian group and an additive map <strong>of</strong> abelian groups<br />

is a homomorphism.<br />

2.1.5. Proposition. A bijective homomorphism is an isomorphism.<br />

Pro<strong>of</strong>. Let f : M → N be a bijective homomorphism <strong>of</strong> R-modules and let g :<br />

N → M be the inverse map. For x, y ∈ N write x = f(g(x)), y = f(g(y)) and<br />

get additivity <strong>of</strong> g, g(x + y) = g(f(g(x)) + f(g(y))) = g(f(g(x) + g(y))) =<br />

g(x) + g(y). Similarly for a ∈ R g(ax) = g(af(g(x))) = g(f(ag(x))) = ag(x),<br />

so g respects scalar multiplication and is a homomorphism.<br />

2.1.6. Lemma. Let a ∈ R and M be a module. The map M → M, x ↦→ ax is a<br />

homomorphism.<br />

Pro<strong>of</strong>. Let f(x) = ax and calculate f(x+y) = a(x+y) = ax+ay = f(x)+f(y)<br />

and f(bx) = a(bx) = (ab)x = (ba)x = b(ax) = bf(x) to get that f is a<br />

homomorphism. Remark that the last calculation uses that R is commutative 1.1.2<br />

(4).<br />

2.1.7. Definition. Let a ∈ R and M be a module.<br />

(1) The scalar multiplication with a is the homomorphism, 2.1.6,<br />

aM : M → M, x ↦→ ax<br />

(2) a ∈ R is a nonzero divisor on M if scalar multiplication aM is injective, i.e.<br />

ax = 0 for all 0 = x ∈ M. Otherwise a is a zero divisor.<br />

2.1.8. Remark. The two notions <strong>of</strong> nonzero divisor on R : 1.1.6 as element in the<br />

ring and 2.1.4 as scalar multiplication on the ring coincide.<br />

2.1.9. Example. If R is a field, then scalar multiplication on a vector space is either<br />

zero or an isomorphism.<br />

2.1.10. Lemma. Let φ : R → S be a ring homomorphism and N an S-module.<br />

The map<br />

R × N → N, (a, x) ↦→ φ(a)x<br />

is an R-scalar multiplication on N, 2.1.1.<br />

Pro<strong>of</strong>. Let a, b ∈ R, x, y ∈ N and µ(a, x) = φ(a)x. Calculate µ(a + b, x) =<br />

φ(a + b)x = φ(a)x + φ(b)x = µ(a, x) + µ(b, x), µ(a, x + y) = φ(a)(x + y) =<br />

φ(a)x + φ(a)y = µ(a, x) + µ(a, y), µ(1, x) = φ(1)x = 1x = x and µ(ab, x) =<br />

φ(ab)x = φ(a)φ(b)x = µ(a, µ(bx)) showing the conditions 2.1.1.<br />

2.1.11. Definition. Let φ : R → S be a ring homomorphism. The restriction <strong>of</strong><br />

scalars <strong>of</strong> an S-module N is the same additive group N viewed as an R-module<br />

through φ. The scalar multiplication is 2.1.10<br />

R × N → N, (a, x) ↦→ ax = φ(a)x<br />

An S-module homomorphism g : N → N ′ is also an R-module homomorphism.<br />

2.1.12. Example. (1) The scalar multiplication with a Restriction <strong>of</strong> scalars for<br />

the unique ring homomorphism Z → R give just the underlying abelian group<br />

<strong>of</strong> a module, 2.1.4 (6).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!