LINEAR ALGEBRA II: PROJECTIVE MODULES

Similar documents
Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

A Primer on Homological Algebra

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

REPRESENTATION THEORY, LECTURE 0. BASICS

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

HOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at

Ring Theory Problems. A σ

0.1 Universal Coefficient Theorem for Homology

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

MATH RING ISOMORPHISM THEOREMS

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

NOTES ON FINITE FIELDS

Two subgroups and semi-direct products

Collected trivialities on algebra derivations

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

TCC Homological Algebra: Assignment #3 (Solutions)

NOTES IN COMMUTATIVE ALGEBRA: PART 2

Projective modules: Wedderburn rings

Matsumura: Commutative Algebra Part 2

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Indecomposable Quiver Representations

ALGEBRA HW 3 CLAY SHONKWILER

Tensor Product of modules. MA499 Project II

REPRESENTATION THEORY WEEK 9

n-x -COHERENT RINGS Driss Bennis

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

Homological Methods in Commutative Algebra

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

9. Integral Ring Extensions

0.2 Vector spaces. J.A.Beachy 1

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Math 121 Homework 4: Notes on Selected Problems

Homological Dimension

NOTES ON SPLITTING FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

Representations of quivers

3 The Hom Functors Projectivity and Injectivity.

Total 100

Lecture 4.1: Homomorphisms and isomorphisms

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

A Version of the Grothendieck Conjecture for p-adic Local Fields

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

n P say, then (X A Y ) P

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

Math 210B: Algebra, Homework 4

A Bridge between Algebra and Topology: Swan s Theorem

48 CHAPTER 2. COMPUTATIONAL METHODS

Rings and Fields Theorems

11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Formal power series rings, inverse limits, and I-adic completions of rings

INVERSE LIMITS AND PROFINITE GROUPS

Topics in Module Theory

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

Gorenstein Injective Modules

Recall: a mapping f : A B C (where A, B, C are R-modules) is called R-bilinear if f is R-linear in each coordinate, i.e.,

Lectures - XXIII and XXIV Coproducts and Pushouts

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

Adjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact

Derivations and differentials

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

Written Homework # 2 Solution

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

Euler s, Fermat s and Wilson s Theorems

and this makes M into an R-module by (1.2). 2

ON sfp-injective AND sfp-flat MODULES

Injective Modules and Matlis Duality

HOMOLOGY AND COHOMOLOGY. 1. Introduction

Math 6510 Homework 10

Critical Groups of Graphs with Dihedral Symmetry

Solutions of exercise sheet 8

On Commutative FDF-Rings

Math 120 HW 9 Solutions

A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group

DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY

The most important result in this section is undoubtedly the following theorem.

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

EXT, TOR AND THE UCT

Equivalence Relations

Hungry, Hungry Homology

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 21. Solvability by Radicals

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Notes on p-divisible Groups

SEPARATED AND PROPER MORPHISMS

Lecture 29: Free modules, finite generation, and bases for vector spaces

1. Algebraic vector bundles. Affine Varieties

Review of Linear Algebra

Graduate Preliminary Examination

12. Hilbert Polynomials and Bézout s Theorem

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

43 Projective modules

arxiv: v2 [math.ra] 14 Sep 2016

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by

Transcription:

LINEAR ALGEBRA II: PROJECTIVE MODULES Let R be a ring. By module we will mean R-module and by homomorphism (respectively isomorphism) we will mean homomorphism (respectively isomorphism) of R-modules, unless explicitly stated otherwise. 1. Definition and motivation Definition 1.1. A module P is projective if, given any surjective homomorphism ε : B C, and any homomorphism γ : P C, there exists a homomorphism β : P B such that ε β = γ. Proposition 1.2. Let P be a projective module. Then any surjective homomorphism ε : Q P induces an isomorphism of the form Q = ker(ε) P. Proof. Since P is projective, we may and will define a homomorphism β : P Q which satisfies (ε β)(p) = p for all p P. We may hence define a map α : ker(ε) P Q by the formula α((q, p)) := q +β(p) and proceed to prove that it is an isomorphism. The fact that α is a homomorphism is a straightforward consequence of the fact that so is β. In order to prove injectiveness, we assume that α((q, p)) = q + β(p) = 0 and deduce that β(p) = q ker(ε) and hence that p = ε(β(p)) = 0. It follows that q = β(0) = 0 and hence that (q, p) = 0, as required. In order to prove surjectiveness, we let q be any element of Q. We then have that ε(q β(ε(q))) = ε(q) ε(β(ε(q))) = ε(q) ε(q) = 0. So we have that q β(ε(q)) belongs to ker(ε) and finally find that α((q β(ε(q)), ε(q))) = q β(ε(q)) + β(ε(q)) = q. Remark 1.3. Proposition 1.2 shows than when studying the structure of a module, it can be useful to construct a surjective homomorphism to a projective module in order to shift attention to the two components in the direct sum decomposition given by the proposition, whose structure may then turn out to be easier to understand. We proved in Theorem 3.15 b) that free modules have the precise same property that Proposition 1.2 attributes to projective modules. In fact, it is easy to use Theorem 3.15 a) to show that every free module is projective. However, the converse is not true in general, which justifies giving a name to this important class of modules. Theorem 1.4. Every free module is projective. Proof. Let F = j J Rf j be a free module and suppose given any surjective homomorphism ε : B C and any homomorphism γ : F C. For any j J, let b j be any 1

2 LINEAR ALGEBRA II: PROJECTIVE MODULES element of B such that ε(b j ) = γ(f j ). By Theorem 3.15 a), there exists a homomorphism β : F B such that β(f j ) = b j for every j J. But then (ε β)(f j ) = γ(f j ) for every j J, and since this equality holds for every generator f j of F, it is easy to deduce that ε β = γ, as required. Definition 2.1. 2. Exact sequences and commutative diagrams Let φ : A B and ψ : B C be homomorphisms. The sequence of homomorphisms A φ B ψ C is said to be exact at B if ker(ψ) = im(φ). A sequence of homomorphisms M 0 M 1... M n M n+1 is called exact if it is exact at M 1,..., M n. An exact sequence of the form 0 A B C 0 is called a short exact sequence (or s.e.s. for short). Here 0 denotes the trivial module, and both the arrow going from 0 to the A and the arrow going from C to 0 denote the zero homomorphism (i.e., the homomorphism sending every element to zero). Remark 2.2. To understand the significance of short exact sequences, consider the following situations: (1) Let 0 A φ B ψ C 0 be a short exact sequence. Exactness at A is equivalent to φ being injective, exactness at C is equivalent to ψ being surjective and exactness at B is equivalent to having ker(ψ) = im(φ). The first isomorphism theorem implies that φ induces an isomorphism of the form A/ker(φ) im(φ) and that ψ induces an isomorphism of the form B/ker(ψ) im(ψ). So the assumption that the sequence is exact means that φ gives an isomorphism from A to the submodule im(φ) = φ(a) of B and that ψ induces an isomorphism of the form B/φ(A) = B/im(φ) = B/ker(ψ) im(ψ) = C. (2) Conversely, let A be a submodule of a module B. Then we obtain a short exact sequence of the form 0 A ι B π B/A 0 where ι is just the tautological inclusion (i.e., ι(a) = a for all a A) and π is just the natural projection given by π(b) := b + A for any b B. Indeed, ι is clearly injective, π is clearly surjective and ker(π) = A = im(ι), so the sequence is exact. Definition 2.3. We say that a diagram of homomorphisms of the form α A B β γ C δ D

LINEAR ALGEBRA II: PROJECTIVE MODULES 3 is commutative if β α = δ γ. This notion generalizes in an obvious way to more complicated diagrams of homomorphisms. Lemma 2.4. Let A 1 µ A 2 α 1 α 2 α 3 ε A 3 0 0 B 1 µ B 2 ε B 3 be a commutative diagram with exact rows and assume that both α 1 and α 3 are isomorphisms. Then α 2 is an isomorphism. Proof. We first show that α 2 is injective: suppose that a A 2 is such that α 2 (a) = 0. Then (α 3 ε)(a) = (ε α 2 )(a) = 0. Since α 3 is injective, this implies that ε(a) = 0. Since ker(ε) = im(µ), there exists a A 1 such that µ(a ) = a. Then (µ α 1 )(a ) = (α 2 µ)(a ) = α 2 (a) = 0. But, since both µ and α 1 are injective, this implies that a = 0, so that a = µ(a ) = µ(0) = 0, as required. We now show that α 2 is surjective: let b B 2. Since α 3 is surjective, there exists a A 3 such that α 3 (a) = ε (b), and since ε is surjective, there exists a A 2 such that ε(a ) = a. But then ε (b α 2 (a )) = ε (b) (ε α 2 )(a ) = ε (b) (α 3 ε)(a ) = ε (b) ε (b) = 0. Since ker(ε ) = im(µ ), there exists b B 1 such that µ (b ) = b α 2 (a ). Since α 1 is surjective, there exists a A 1 such that α 1 (a ) = b. But then α 2 (µ(a ) + a ) = (µ α 1 )(a ) + α 2 (a ) = µ (b ) + α 2 (a ) = b, and we have proved that α 2 is surjective. Definition 2.5. A short exact sequence 0 A µ B ε C 0 splits if there exists a homomorphism σ : C B with the property that ε σ = id C. The homomorphism σ is then called a splitting. Remark 2.6. For any modules A and C, the short exact sequence 0 A ι A A C π C C 0, where ι A (a) = (a, 0) and π C ((a, c)) = c, splits. Conversely, the following also holds: Lemma 2.7. If the short exact sequence 0 A µ B ε C 0 splits, then B = A B. Proof. We fix a splitting σ : C B and define a homomorphism ψ : A C B by setting ψ((a, c)) := µ(a) + σ(c). We then have that ψ(ι A (a)) = ψ((a, 0)) = µ(a) and that ε(ψ((a, c))) = ε(µ(a)) + ε(σ(c)) = 0 + id C (c) = c = π C ((a, c)), where we have used the fact that ker(ε) = im(µ) so ε µ = 0. We deduce the existence of a

4 LINEAR ALGEBRA II: PROJECTIVE MODULES commutative diagram with exact rows 0 A ι A A C id A ψ µ π C C 0 id C ε 0 A B C 0. Since id A and id C are clearly bijective, Lemma 2.4 implies that ψ is an isomorphism. 3. The group of homomorphisms For any modules A and B, we write Hom R (A, B) for the set of homomorphisms from A to B. We define a binary operation on Hom R (A, B) as follows: given φ, ψ Hom R (A, B), we define an element φ + ψ of Hom R (A, B) by the formula (φ + ψ)(a) := φ(a) + ψ(a), a A. Lemma 3.1. The map φ + ψ : A B is indeed an element of Hom R (A, B). Furthermore, this binary operation makes Hom R (A, B) into an abelian group (or, equivalently, a Z-module). Proof. The first assertion of the lemma is straightforward to prove, as is associativity of the binary operation. The identity element of Hom R (A, B) with respect to this binary operation is the zero homomorphism given by sending any element of A to the identity element 0 of B, and for any φ Hom R (A, B), we obtain an inverse by setting ( φ)(a) := φ(a) for every a A. Let β : B 1 B 2 be a homomorphism (of R-modules). We define a map by setting β (φ) := β φ. β = Hom R (A, β) : Hom R (A, B 1 ) Hom R (A, B 2 ) Lemma 3.2. (1) β is a Z-module homomorphism. (2) Given β : B 2 B 3, we have that (β β) = β β. (3) (id B ) = id HomR (A,B) where, for any set S, id S denotes the identity function S S (i.e., id S (s) = s for all s S). Proof. We prove claim (1) by obtaining identities β (φ + ψ)(a) = β((φ + ψ)(a)) = β(φ(a) + ψ(a)) = β(φ(a)) + β(ψ(a)) Claim (2) is clear since = β (φ)(a) + β (ψ)(a) = (β (φ) + β (ψ))(a). (β β) (φ) = (β β) φ = β (β φ) = β (β (φ)) = (β β )(φ). Claim (3) is clear since (id B ) (φ) = id B φ = φ, so that (id B ) is the identity map on Hom R (A, B), as required.

LINEAR ALGEBRA II: PROJECTIVE MODULES 5 Theorem 3.3. Let 0 B 1 µ B2 ε B 3 be an exact sequence (of R-modules). Then the sequence of Z-modules is exact for any (R-)module A. 0 Hom R (A, B 1 ) µ Hom R (A, B 2 ) ε Hom R (A, B 3 ) Proof. We first prove that µ is injective: suppose that µ φ = µ (φ) = 0 Hom R (A, B 2 ) for some φ Hom R (A, B 1 ). Then, since µ(φ(a)) = 0 for every a A and µ is injective, we have that φ(a) = 0 for every a A, i.e., φ = 0 in Hom R (A, B 1 ), as required. We now prove that im(µ ) ker(ε ), i.e., that ε (µ (φ)) = ε µ φ = 0 for any φ Hom R (A, B 1 ): since ker(ε) = im(µ), it follows that ε(µ(b)) = 0 for any b B 1, and so (ε µ φ)(a) = ε(µ(φ(a))) = 0 for any a A and any φ Hom R (A, B 1 ). We next prove that ker(ε ) im(µ ): let ψ Hom R (A, B 2 ) be such that ε (ψ) = ε ψ = 0. Then for any a A we have that ε(ψ(a)) = 0 and since ker(ε) = im(µ), it follows that for any a A there exists b a B 1 such that µ(b a ) = ψ(a) and, furthermore, b a is the unique element of B 1 with this property (because µ is injective). We may hence define φ : A B 1 by setting φ(a) := b a. We first claim that φ is actually an element of Hom R (A, B 1 ): indeed, given a, a A and r R, one has that and that µ(φ(a + a )) = µ(b a+a ) = ψ(a + a ) = ψ(a) + ψ(a ) = µ(b a ) + µ(b a ) = µ(b a + b a ) = µ(φ(a) + φ(a )) µ(φ(ra)) = µ(b ra ) = ψ(ra) = rψ(a) = rµ(b a ) = µ(rb a ) = µ(rφ(a)) and so, since µ is injective, that φ(a + a ) = φ(a) + φ(a ) and that φ(ra) = rφ(a). We now simply note that µ (φ) = µ φ = ψ, so we have proved that ker(ε ) im(µ ). We may now conclude that the sequence is exact both at Hom R (A, B 1 ) and at Hom R (A, B 2 ), as required. Example 3.4. It is not true in general that, if the sequence 0 B 1 µ B2 ε B 3 0 is exact (i.e., is a short exact sequence), the induced sequence should also be short exact for any A; that is, even if ε happens to be surjective, ε might not be so. To illustrate this counter-intuitive phenomenon, consider the sequence of Z-modules (so we are taking R to be Z) 0 Z µ Z ε Z/nZ 0, where µ denotes multiplication by an integer n 1, 0, 1 and ε denotes the natural projection. It is easy to see that this sequence is exact. However, the map ε = Hom Z (Z/nZ, ε) : Hom Z (Z/nZ, Z) Hom Z (Z/nZ, Z/nZ)

6 LINEAR ALGEBRA II: PROJECTIVE MODULES (so we are taking A to be Z/nZ) is not surjective. To see this, one need only note that Hom Z (Z/nZ, Z) is a trivial Z-module (indeed, the image under any Z- homomorphism of Z/nZ can have at most n elements, but all the Z-submodules of Z other than the trivial one are infinite, so the zero homomorphism is the only element of Hom Z (Z/nZ, Z)), while Hom Z (Z/nZ, Z/nZ) is a non-trivial Z-module (we have for instance the non-trivial element id Z/nZ Hom Z (Z/nZ, Z/nZ)). Since a set consisting of just one element cannot surject onto a set containing more than one element, the map ε cannot be surjective. 4. Characterization of projective modules Lemma 4.1. Let α : A 1 A 2 B be a homomorphism. Then the maps α i : A i B defined for i {1, 2} by the formulas α 1 (a 1 ) := α((a 1, 0)) for any a 1 A 1 and α 2 (a 2 ) := α((0, a 2 )) for any a 2 A 2 are also homomorphisms. Proposition 4.2. A direct sum of modules P 1 P 2 is projective if and only if both P 1 and P 2 are projective. Proof. We first assume that both P 1 and P 2 are projective and proceed to prove that so is P 1 P 2. Suppose given a surjective homomorphism ε : B C and a homomorphism γ : P 1 P 2 C. We define homomorphisms γ i : P i C for i {1, 2} as in Lemma 4.1. Then, for each such i, there exists a homomorphism β i : P i B with the property that ε β i = γ i. We now define a map β : P 1 P 2 B by the formula β((p 1, p 2 )) := β 1 (p 1 ) + β 2 (p 2 ) is easily shown to be a homomorphism. But (ε β)((p 1, p 2 )) = ε(β 1 (p 1 ) + β 2 (p 2 )) = γ 1 (p 1 ) + γ 2 (p 2 ) = γ((p 1, 0)) + γ((0, p 2 )) = γ((p 1, 0) + (0, p 2 )) = γ((p 1, p 2 )) and so we have proved that P 1 P 2 is projective. Conversely, we now assume that P 1 P 2 and proceed to prove that P 1 is projective, noting that the prove for P 2 is completely analogous. Suppose given a surjective homomorphism ε : B C and a homomorphism γ : P 1 C. We now define a map γ : P 1 P 2 C by setting γ ((p 1, p 2 )) := γ(p 1 ) and note that it is clearly a homomorphism. Using the hypothesis, we find that there exists a homomorphism β : P 1 P 2 B with the property that ε β = γ. But is we now define a homomorphism β 1 : P 1 B as in Lemma 4.1, we finally have that (ε β 1 )(p) = ε(β((p, 0))) = γ ((p, 0)) = γ(p) and so we have proved that P 1 is projective. Remark 4.3. The proposition extends to direct sums indexed by arbitrary sets. Theorem 4.4. For a module P, the following statements are equivalent: (1) P is projective.

LINEAR ALGEBRA II: PROJECTIVE MODULES 7 (2) for every short exact sequence (of R-modules) 0 A µ B ε C 0, the induced sequence of Z-modules 0 Hom R (P, A) µ Hom R (P, B) ε Hom R (P, C) 0 is exact. (3) for any surjective homomorphism ε : B P there exists a homomorphism β : P B such that ε β = id P. (4) P is a direct summand in every module of which it is a quotient. (5) P is a direct summand in a free module. Proof. We first prove that (1) implies (2): by the definition of projective modules, we have that for any γ Hom R (P, C) there exists β Hom R (P, B) such that γ = ε β = ε (β). We have proved that ε is surjective, or equivalently that the induced sequence is exact at Hom R (P, C). Now we may simply note that the sequence is exact by Theorem 3.3. To prove that (2) implies (3), we simply apply (2) to the short exact sequence 0 ker(ε) B ε P 0. we deduce that the map ε : Hom R (P, B) Hom R (P, P ) is surjective, and hence that there exists a homomorphism β : P B such that ε β = ε (β) = id P. To prove that (3) implies (4), we recall that if B is isomorphic to a quotient B/A, then we have a short exact sequence 0 A B ε P 0 which, by (3), splits. Lemma 2.7 now implies that P is a direct summand in B, as required. To prove that (4) implies (5), we simply have to prove that every module P is a quotient of a free module. Let S be a set of generators of P and define a free module F := s S Rs. Then the (unique) homomorphism f : F P sending each element (..., 0,..., 0, s, 0,..., 0,...) to s is clearly surjective, and P is thus isomorphic to F/ker(f). To prove that (5) implies (1), we simply fix a free module F which contains P as a direct summand. Then F is projective by Theorem 1.4 and hence P is projective by Proposition 4.2. Examples 4.5. (1) Some of these properties for modules might seem familiar from the theory of vector spaces. This is simply because if R is a field, then every (R-)module is free, hence projective. (2) By combining Example 3.4 and Theorem 4.4, we know that Z/nZ is not projective as a Z-module for any integer n 1, 0, 1. By the structure theorem for finitely generated abelian groups and Proposition 4.2, we find that a finitely generated Z-module is projective if and only if it is free. As we will soon see, this result generalizes to finitely generated modules over any principal ideal domain by simply applying the analogous structure theorem and combining it with Proposition 4.2 and the equivalence of conditions (1) and (4) in Theorem 4.4.

8 LINEAR ALGEBRA II: PROJECTIVE MODULES (3) Let p and q be distinct primes; it is easy to prove that Z/pqZ is isomorphic to Z/pZ Z/qZ as a Z/pqZ-module, so by Proposition 4.2 we find that both Z/pZ and Z/qZ are projective Z/pqZ-modules. They are however clearly not free, so the converse of Theorem 1.4 does not hold in general. (4) Submodules of projective modules need not be projective; to construct a counterexample, one may just let p be a prime and prove that the sequence of Z/p 2 Z-modules 0 Z/pZ µ Z/p 2 Z ε Z/pZ 0 is exact but does not split. Here µ sends an element a + pz to a + p 2 Z and ε sends an element b+p 2 Z to b+pz. So Z/pZ identifies via µ with a submodule of the free, hence projective, Z/p 2 Z-module Z/p 2 Z, but is not exact because if it were the short exact sequence would split by property (3) of Theorem 4.4. After working through examples (3) and (4), and noting the contrast with the situation in examples (1) and (2), it is natural to ask over which class of rings are all projective modules free, and over which class of rings are all submodules of projective modules also projective. As one could expect, things work nicely over any principal ideal domain. Theorem 4.6. If R is a principal ideal domain, then every submodule of a free R- module is free. Proof. The proof of the general case can be found at [1, I,Thm. 5.1] and we do not give it here. However, we note that the result is immediate for submodules of finitely generated free R-modules by the structure theorem of finitely generated modules over principal ideal domains. Corollary 4.7. Over a principal ideal domain, every projective module is free. Proof. By Theorem 4.4, every projective module is a direct summand in a free module, and hence must be free itself. Corollary 4.8. Over a principal ideal domain, every submodule of a projective module is projective. Proof. We simply combine Corollary 4.7, Theorem 4.6 and Theorem 1.4. References [1] P. J. Hilton, U. Stammbach, A course in homological algebra, Springer-Verlag, 1971.