Download 43 Projective modules

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
43
Projective modules
43.1 Note. If F is a free R-module and P ⊆ F is a submodule then P need
not be free even if P is a direct summand of F .
Take e.g. R = Z/6Z. Notice that Z/2Z and Z/3Z are Z/6Z-modules and we
have an isomorphism of Z/6Z-modules:
Z/6Z ∼
= Z/2Z ⊕ Z/3Z
Thus Z/2Z and Z/3Z are non-free modules isomorphic to direct summands of
the free module Z/6Z.
43.2 Definition. An R-module P is a projective module if there exists an Rmodule Q such that P ⊕ Q is a free R-module.
43.3 Examples.
1) If R is a ring with identity then every free R-module is projective.
2) Z/2Z and Z/3Z are non-free projective Z/6Z-modules.
43.4 Definition. Let
fi+1
fi
. . . −→ Mi −→ Mi+1 −→ Mi+2 −→ . . .
be a sequence of R-modules and R-module homomorphisms. This sequence is
exact if Im(fi ) = Ker(fi+1 ) for all i.
43.5 Definition. A short exact sequence is an exact sequence of R-modules the
form
f
g
0 −→ N −→ M −→ K −→ 0
(where 0 is the trivial R-module).
171
43.6 Note.
f
g
1) A sequence 0 → N −→ M −→ K → 0 is short exact iff
• f is a monomorphism
• g is an epimorphism
• Im(f ) = Ker(g).
2) If M 0 is a submodule of M then we have a short exact sequence
0 −→ M 0 −→ M −→ M/M 0 −→ 1
Morever, up to an isomorphism, every short exact sequence is of this form:
/
0
∼
=
/
0
f
N
/
g
M
/
=
/
Ker(g)
/
M
/
K
0
∼
=
/
M/ Ker(g)
0
43.7 Definition. A short exact sequence
f
g
0 −→ N −→ M −→ K −→ 0
∼
=
is split exact if there is an isomorphism ϕ : M −→ N ⊕K such that the following
diagram commutes:
0
/
N
=
0
/
N
f
/M
g
/
/
ϕ ∼
=
N ⊕K
/
0
/
0
K
/
=
K
f
g
43.8 Proposition. Let R be a ring and let 0 → N −→ M −→ K → 0 be a
short exact sequence of R-modules. The following conditions are equivalent.
1) The sequence is split exact.
172
2) There exists a homomorphism h : K → M such that gh = idK .
3) There exists a homomorphism k : M → N such that kf = idN
Proof. Exercise.
43.9 Theorem. Let R be a ring with identity and let P be an R-module. The
following conditions are equivalent.
1) P is a projective module.
2) For any homomorphism f : P → N and an epimorphism g : M → N there
is a homomorphism h : P → M such that the following diagram commutes:
}
h
M
~}
}
}
}
}
}
}
P
f
g
/
f
N
g
3) Every short exact sequence 0 → N −→ M −→ P → 0 splits.
Proof.
(1) ⇒ (2) Let Q be a module such that P ⊕ Q is a free module, and let
B = {bi }i∈I be a basis of P ⊕ Q. Since g is an epimorphism for every i ∈ I we
can find mi ∈ M such that g(mi ) = f (bi ). Define
h̃ : P ⊕ Q −→ M
by
!
h̃
X
r i bi
:=
i
X
i
173
ri mi
Check: since B is a basis of P ⊕ Q the map h̃ is a well defined R-module
homomorphism and g h̃ = f . Then we can take h = h̃|P .
(2) ⇒ (3) We have a diagram
P
idP
g
/P
M
Since g is an epimorphism there is h : P → M such that gh = idP . Therefore
f
g
by (43.8) the sequence 0 → N −→ M −→ P → 0 splits.
(3) ⇒ (1) We have the canonical epimorphism of R-modules:
M
f:
R→P
p∈P
This gives a short exact sequence
0 −→ Ker(f )−→
M
f
R −→ P −→ 0
p∈P
By assumption on P this sequence splits. so we obtain
M
P ⊕ Ker(f ) ∼
R
=
p∈P
and thus P is a projective module.
43.10 Corollary. If R is a ring with identity, P is a projective R-module and
f : M → P is an epimorphism of R-modules then M ∼
= P ⊕ Ker(f ).
Proof. We have a short exact sequence
f
0 −→ Ker(f )−→M −→ P −→ 0
which splits by Theorem 43.9.
174
44
Projective modules over PIDs
44.1 Theorem. If R is a PID, F is a free R-module of a finite rank, and M ⊆ F
is a submodule then M is a free module and rank M ≤ rank F .
44.2 Corollary. If R is a PID then every finitely generated projective R-module
is free.
Proof. If P is a finitely generated projective R-module then we have an epimorphism f : Rn → P for some n > 0. By Corollary 43.10 we have an isomorphism
P ⊕ Ker(f ) ∼
= Rn
Therefore we can identify P with a submodule of Rn , and thus by Theorem 44.1
P is a free module.
44.3 Note. Theorem 44.1 is true also for infinitely generated free modules over
PIDs. As a consequence Corollary 44.2 is true for all (non necessarily finitelly
generated) projective modules over PIDs.
Proof of Theorem 44.1 (compare with the proof of Theorem 13.6).
We can assume that F = Rn .
We want to show: if M ⊆ Rn then M is a free R-module and rank M ≤ n.
Induction with respect to n:
If n = 1 then M ⊆ R, so M is an ideal of R. Since R is a PID we have M = hai
for some a ∈ R. If a = 0 then M = {0} is a free module of rank 0. Otherwise
we have an isomorphism of R-modules
∼
=
f : R −→ M,
175
f (r) = ra
and so M is a free module of rank 1.
Next, assume that for some n every submodule of Rn is a free R-module of rank
≤ n, and let M ⊆ Rn+1 . Take the homomorphism of R-modules
f : Rn+1 → R,
We have:
f (r1 , . . . , rn+1 ) = rn+1
Ker(f ) = {(r1 , . . . , rn , 0) | ri ∈ R} ∼
= Rn
We have an epimorphism:
f |M : M → Im(f |M )
Since Im(f |M ) ⊆ R, thus Im(f |M ) is a free R-module, and so by Corollary 43.10
we have
M∼
= Im(f |M ) ⊕ Ker(f |M )
We also have:
Ker(f |M ) = Ker(f ) ∩ M
It follows that that Ker(f |M ) is a submodule of Ker(f ), and since Ker(f ) is a
free R-module of rank n by the inductive assumption we get that Ker(f |M ) is a
free R-module of rank ≤ n. Therefore
M∼
= Im(f |M ) ⊕ Ker(f |M )
| {z }
| {z }
free
rank ≤ 1
free
rank ≤ n
and so M is a free R-module of rank ≤ n + 1.
176
45
The Grothendieck group
Recall. If R is a ring with IBN and F is a free, finitely generated R-module then
rank F = number of elements of a basis of F
Goal. Extend the notion of rank to finitely generated projective modules.
Idea.
1) Rank should be additive: rank(P ⊕ Q) = rank P + rank Q.
2) Rank of a module need not be an integer. Each ring determines a group
K0 (R) such that for each finitely generated projective module rank of P is an
element [P ] ∈ K0 (R).
Recall. A commutative monoid is a set M together with addition
M × M → M,
(x, y) 7→ x + y
and with a trivial element 0 ∈ M such that the addition is associative, commutative and 0 + x = x for all x ∈ M .
45.1 Example. Let ProjfRg be the set of isomorphism classes of finitely generated
projective R-modules. For a projective finitely generated R-module P denote
[P ] = the isomorphism class of P
The set ProjfRg is a commutative monoid with addition given by
[P ] + [Q] := [P ⊕ Q]
The identity element in ProjfRg is [0], the isomorphism class of the zero module.
177
45.2 Theorem. Let M be a commutative monoid. There exists an abelian
group Gr(M ) and a homomorphism of monoids
αM : M → Gr(M )
that satisfies the following universal property. If G is any abelian group and
f : M → G is a homomorphism of monoids then there exists a unique homomorphism of groups f¯: Gr(M ) → G such that the following diagram commutes:
f
M
z
αM
z
z
z
z
z f¯
z
z
/G
z=
Gr(M )
Moreover, such group Gr(M ) is unique up to isomorphism.
45.3 Note. Let CMono denote the category of commutative monoids. We have
the forgetful functor
U : Ab −→ CMono
Theorem 45.2 is equivalent to the statement that this functor has a left adjoint
Gr : CMono → Ab,
M 7→ Gr(M )
45.4 Definition. Let M be a commutative monoid. The group Gr(M ) is called
the group completion or the Grothendieck group of the monoid M .
Proof of Theorem 45.2.
Construction of Gr(M ). Let M be a commutative monoid. Define
Gr(M ) := M × M/ ∼
178
where
(x, y) ∼ (x0 , y 0 ) iff x + y 0 + t = x0 + y + t for some t ∈ M
Check: ∼ is an equivalence relation on M × M . Notation:
[x, y] := the equivalence class of (x, y)
(Intuitively: [x, y] = x − y)
Note: for any x ∈ M we have [x, x] = [0, 0] since x + 0 = 0 + x.
Addition in Gr(M ):
[x, y] + [x0 , y 0 ] = [x + x0 , y + y 0 ]
Check: this operation is well defined, it is associative, and it has [0, 0] as the
identity element.
Additive inverses in Gr(M ):
−[x, y] = [y, x]
Indeed: [x, y] + [y, x] = [x + y, y + x] = [0, 0]
Construction of the homomorphism αM : M → Gr(M ).
Define
αM : M → Gr(M ),
x 7→ [x, 0]
The universal property of Gr(M ).
Let G be an abelian group and let f : M → G be a homomorphism of commutative monoids. Define
f¯: Gr(M ) → G,
f¯([x, y]) := f (x) − f (y)
Check:
179
1) f¯ is a well defined group homomorphism.
2) f¯αM = f
3) f¯ is the only homomorphism Gr(M ) → G satisfying conditions 1)-2).
Uniqueness of Gr(M ) follows from the universal property.
45.5 Examples.
1) Gr(N) ∼
=Z
2) Let M = N ∪ {∞} with n + ∞ = ∞ for all n ∈ M . Then Gr(M ) is the
trivial group. Indeed, for any m, n ∈ M we have
[m, n] = [∞, ∞]
since m + ∞ = ∞ + n.
3) If G is an abelian group then Gr(G) ∼
= G.
45.6 Definition. If R is a ring then K0 (R) := Gr(ProjfRg )
45.7 Notation. For [P ], [Q] ∈ ProjfRg denote
[P ] − [Q] :=[P, Q] ∈ K0 (R)
[P ] :=[P, 0]
−[Q] :=[0, Q]
45.8 Proposition. Let R be a ring with identity. If P , Q are finitely generated
projective R-modules then [P ] = [Q] in K0 (R) iff there exists n ≥ 0 such that
P ⊕ Rn ∼
= Q ⊕ Rn .
180
Proof.
(⇒) If P ⊕ Rn ∼
= Q ⊕ Rn then in K0 (R) we have
[P ] + [Rn ] = [P ⊕ Rn ] = [Q ⊕ Rn ] = [Q] + [Rn ]
and so [P ] = [Q]
(⇒) If [P ] = [Q] in K0 (R) then
P ⊕S ∼
=Q⊕S
for some finitely generated projective R-module S.
Exercise: If S is a finitely generated projective R-module then there is a finitely
generated projective R-module T such that S ⊕ T ∼
= Rn for some n ≥ 0.
We obtain
P ⊕ Rn ∼
=P ⊕S⊕T ∼
=Q⊕S⊕T ∼
= Q ⊕ Rn
45.9 Definition. Let R be a ring with identity. We say that R-modules M , N
are stably isomorphic if M ⊕ Rn ∼
= N ⊕ Rn for some n ≥ 0.
45.10 Definition. Let R be a ring with identity. We say an R-module M is
stably free if M ⊕ Rn ∼
= Rm for some m, n ≥ 0.
45.11 Note. Let R be a ring with identity. We have a homomorphism ϕ : Z →
K0 (R) given by
(
[Rn ]
for n ≥ 0
ϕ(n) :=
−n
−[R ] for n < 0
181
45.12 Proposition. Let R be a ring with identity, and let ϕ : Z → K0 (R) be
the homomorphism as in (45.11).
1) ϕ is 1-1 iff R has IBN.
2) ϕ is an epimorphism iff every finitely generated projective R-module is
stably free.
Proof.
1) By Proposition 45.8 for n ≥ 0 we have n ∈ Ker(ϕ) iff Rn ⊕ Rm ∼
= 0 ⊕ Rm for
some m ≥ 0. If R has IBN this is possible only if n = 0, and so Ker(ϕ) = {0}.
Conversely, assume that R does not have IBN. Then Rn ∼
= Rm for some n > m.
This gives Rn−m ⊕ Rm ∼
= 0 ⊕ Rm , and so ϕ(n − m) ∈ Ker(ϕ).
2) (⇒) Assume that ϕ is an epimorphism. Then for every finitely generated
projective R-module P we have [P ] = [Rn ] for some n ≥ 0 or [P ] = −[Rn ] for
some n ≥ 0.
If [P ] = [Rn ] then by Proposition 45.8 we have P ⊕ Rm ∼
= Rn ⊕ Rm and so P
is a stably free module.
If [P ] = −[Rn ] then
[0] = [P ] + [Rn ] = [P ⊕ Rn ]
Again by Proposition 45.8 this gives 0 ⊕ Rm ∼
= P ⊕ Rn ⊕ Rm , and again we
obtain that P is stably free.
(⇐) The group K0 (R) is generated by elements [P ] where P is a finitely generated projective R-module, so it is enough to show that for any such P we have
[P ] = ϕ(k) for some k ∈ Z.
Since P is stably free we have P ⊕ Rn ∼
= Rm for some n, m ≥ 0. This gives
[P ] + [Rn ] = [P ⊕ Rn ] = [Rm ]
Therefore [P ] = [Rm ] − [Rn ] = ϕ(m) − ϕ(n) = ϕ(m − n).
182
45.13 Example.
Here is an example of a stable free module that is not free. For details see:
R. G. Swan, Vector bundles and projective modules, Transactions AMS 105 (2)
(1962), 264-277.
Let B be a compact, normal, topological space and let p : E → B be a real
vector bundle over B. Define:
C(B) = {f : B → R | f - continuous }
C(B) is a ring (with pointwise addition and multiplication). Let Γ(p) be the set
of all continuous sections of p:
Γ(p) = {s : B → E | ps = idB }
Note: Γ(p) is an C(B)-module with poinwise addition and pointwise multiplication by elements of C(B).
Fact 1. The module Γ(p) is free iff p is a trivial vector bundle.
Fact 2. If p : E → B and q : E 0 → B are real vector bundles over B then we
have an isomorphism of C(B)-modules:
Γ(p ⊕ q) ∼
= Γ(p) ⊕ Γ(q)
Upshot. If p : E → B, q : E 0 → B are bundles such that p is non-trivial, but
both q and p ⊕ q are trivial bundles then Γ(p) is stably free C(B)-module that
is not free.
Indeed, in such case we have:
Γ(p) ⊕ Γ(q) ∼
= Γ(p ⊕ q)
|{z} | {z }
free
183
free
Fact 3. It is possible to find vector bundles as above. Take e.g. p : T S 2 → S 2
to be the tangent bundle of the 2-dimensional sphere, and q : S 2 × R1 → S 2 to
be the 1-dimensional trivial bundle over S 2 .
Note: one can also show that a C(B)-module M is finitely generated projective
module iff M ∼
= Γ(p) for some vector bundle p : E → B.
184
Related documents