Professional Documents
Culture Documents
h P
. ↓ f
M → N → 0
g
The definition may look obscure, but the condition described is a familiar
property of free modules.
4.1.2. Proposition. Every free module is projective.
Proof. Let S be a basis for the free module FR . Then f is determined by its
behavior on basis elements s ∈ S (see Theorem 1.3.1, 1.3. §1, Chap. 1). Since
g is epimorphic, there exists a ∈ M such that g(a) = f (s). Take h(s) = a and
extend by linearity from S to F. Since f = gh on S, the same must be true on
all of F.
Typeset by AMS-TEX
1
2
Hom(1,f ) HomR(1,g)
0 −→ HomR (P, L) −→ HomR (P, M ) −→ HomR (P, N ) −→ 0.
HomR(1,g)
HomR (P, M ) −→ HomR (P, N ).
h P
. ↓ f
M → N → 0
g
3
h ↓ h0 . ↓ f
M −→ N → 0
g