Professional Documents
Culture Documents
Modules and The Structure of Rings: A Primer
Modules and The Structure of Rings: A Primer
Primer
Jonathan S. Golan
University of Haifa
Haifa, Israel
Tom Head
Binghamton University
Binghamton, New York, USA
2
Junk Chapter
This is a junk chapter to force the table of contents to begin on page iii.
Publisher, please throw out this page.
To our grandchildren,
Contents
Introduction 1
FUNDAMENTAL CONCEPTS
iii
iv Contents
2. Cogenerators 117
3. Hereditary rings again 120
4. Noetherian rings 121
Notes for Chapter 8 124
References 205
Index
Introduction
Background
No previous acquaintance with modules is assumed, though we do presuppose
that the reader has had some experience with linear algebra and at least one solid
semester of abstract algebra, which includes some elementary knowledge of the
theory of rings. Notions from category theory have been avoided. In nite ordi-
nal numbers and trans nite constructions have been used in only three sections:
4.3, 7.3, and 12.2. The Axiom of Choice is needed throughout, as has been
noted, for the most part in the form explicitly presented in Section 0.11.
1
2 Introduction
5
Chapter 0. Modules and maps
1. Modules
Each ring R which we consider will be assumed to contain a multiplicative
identity element, denoted by 1; which differs from its additive identity element
0: Now let R be a ring.
De nition: A left R-module consists of an additive abelian group A to-
gether with a function : R A ! A which satis es the following four
conditions:
1. (r; a + a0 ) = (r; a) + (r; a0 );
2. (r + r0 ; a) = (r; a) + (r0 ; a);
3. (rr0 ; a) = (r; (r0 ; a)); and
4. (1; a) = a
for all elements r and r0 of R and all elements a and a0 of A:
By convention, the element (r; a) is denoted by r a or by ra; and
is said to provide an operation of scalar multiplication on the abelian group
A: Using this juxtaposition notation instead of the function ; the above four
conditions become:
1. r(a + a0 ) = ra + ra0 ;
2. (r + r0 )a = ra + r0 a;
3. (rr0 )a = r(r0 a) and
4. 1a = a
for all elements r and r0 of R and all elements a and a0 of A:
A purist will observe that a left R-module is an ordered pair (A; ) in
which the rst member, A; is an abelian group and the second member, ;
is a function. In refering to the module (A; ); it will always be suf ciently
clear to mention only the abelian group A; deleting explicit reference to the
function ; in the same way that we freely talk about “the abelian group A” and
not “the abelian group (A; +)”. Thus, we will continually begin discussions
with such (hopefully) unambiguous statements as “Let A and B be left R-
7
8 Chapter 0. Modules and maps
modules”. Packed into such a statement are the assumptions that R is a ring
with multiplicative identity which differs from its additive identity, that A and
B are additive abelian groups, and that there exist functions : R A ! A
and 0 : R B ! B satisfying the four conditions stated above. As we
pointed out in the introduction, without such verbal contractions mathematical
statements would surely become too unwieldy to be of use.
We are now ready for some examples of modules. If R is a eld, then left
R-modules are also called vector spaces over R: Elementary courses in linear
algebra deal with vector spaces, especially those over the eld of real numbers,
and consequently supply an immediate collection of examples of modules.
Every additive abelian group A may be regarded as a left Z-module, where
Z is the ring of integers, in precisely one way: for n 2 Z and a 2 A, de ne
na as follows:
1. If n > 0 then na is the sum of n copies of a;
2. If n = 0 then na = 0;
3. If n < 0; then na is the sum of n copies of a:
It is elementary to verify that the four conditions speci ed in the de nition of a
left Z-module are satis ed by this operation and that this is the only operation of
scalar multiplication on Z and on A which is compatible with these conditions
(see Exercise 1). Because each abelian group allows precisely one Z-module
structure (and because of some additional elementary facts to be pointed out later
in this chapter) the theory of abelian groups is indistinguishable from the theory
of left Z-modules and is therefore subsumed by module theory.
Any ring R can be considered as a left R-module in the following manner:
for the abelian group, use R with its additive structure. For the scalar multipli-
cation of the ring R on the abelian group (R; +), use the ring multiplication.
Each of the four conditions in the de nition of a left R-module follows from
the usual de ning conditions in the de nition of a ring (see Exercise 2). From
the point of view developed in this book, the ring R regarded in this way as a
module over itself is the starting point for the structure theory of left R-modules.
Chapter 1 is devoted entirely to an examination of R as a module over itself,
and the remainder of the book is an investingation of how further left R-modules
can be developed from R by means of constructions described in this chapter
and one addition construction introduced in Chapter 7.
The “smallest” of all left R-modules is the one having precisely one elemnt,
namely an additive identity. We will consistently denote this module by (0):
Our de nition of a left R-module A; given above, was based on a function
from R A to A: If we reverse the order of R and A in this cartesian
Chapter 0. Modules and maps 9
product, and make further notational changes that seem natural, we obtain the
de nition of a right R-module.
De nition: A right R-module conisists of an additive abelian group A
together with a function : A R ! A; which satis es the following
conditions:
1. (a + a0 ; r) = (a; r) + (a0 ; r);
2. (a; r + r0 ) = (a; r) + (a; r0 );
3. (a; rr0 ) = ( (a(a; r); r0 ); and
4. (a; 1) = a
for all elements r and r0 of R and all elements a and a0 of A:
As in the case of left R-modules, the element (a; r) is conventionally
denoted by a r or ar: Using the juxtaposition notation instead of the function
; these four conditions can be written as follows:
1. (a + a0 )r = ar + a0 r;
2. a(r + r0 ) = ar + ar0 ;
3. a(rr0 ) = (ar)r0 ; and
4. a1 = a:
It might appear that left and right modules differ only notationally and not math-
ematically. This would be true except for the presence of condition (3), which
constitutes a genuine mathematical distinction: for right modules the result of
applying the product of two scalars to a module element is the same as the effect
of applying the rst scalar and then the second; whereas, for left modules, the
effect is the same as apllying the second scalar and then the rst. For rings which
are not commutative, this may make a big difference. Therefore, when talking
about modules over rings which are not necessarily commutative, we will have to
be sure to indicate whether we are talking about left or right scalar multiplication.
If A is a vector space of nite dimension n over a eld F; the vectors
in which being written in row form (a1 ; : : : ; an ) ; and if S is the full ring of
n n matrices with entries in F; then A is a right S -module, with scalar
multiplication being the usual multiplication of a vector by a matrix. Also, we
have already noted that any ring can be considered as a left module over itself
and, by the same argument, it can also be considered as a right module over
itself. In Section 4, we will present an important method of constructing right
modules from left modules and vice versa.
For the most part, we will study left modules, though occassionally we will
need right ones as well. Since each of our results on left modules has a natural
reinterpretation as a result on right modules, we will not explicity state the “right-
10 Chapter 0. Modules and maps
handed” version of every “left-handed” result or de nition we give, but will allow
the reader to ll in the details when necessary.
EXERCISES
EXERCISES
(B \ C) + (B \ D):
This procedure of associating the ordered pair (f (1); f (2)) with the function f
provides a one-to-one function from A1 q A2 to A1 A2 : In fact, this function
is also onto, since every element (a1 ; a2 ) of A1 A2 is associated to a function
f 2 A1 q A2 ; namely the function f de ned by f : i 7! ai for i = 1; 2:
Thus we obtained a one-to-one correspondence between A1 q A2 and A1 A2 :
Notice that if f and g are elements of A1 q A2 and if r is an element of R;
then, under the above correspondence, f + g corresponds to
((f + g)(1); (f + g)(2)) = (f (1) + g(1); f (2) + g(2))
and rf corresponds to
((rf )(1); (rf )(2)) = (rf (1); rf (2)):
Therefore the operations on A1 q A2 correspond to the familiar coordinatewise
operations on ordered pairs. Because of this, the sets A1 q A2 and A1 A2
are often identi ed and elements of A1 q A2 are written as ordered pairs, with
componentwise operations.
If is a subset of a set Y and if fAi j i 2 g is a family of left R-
modules, then any function f 2 Ai can be extended in a natural way to
Y i2
a function f 0 2 Ai by setting
i2
f (i) if i 2
f 0 : i 7! :
0 if i 2
=
Y Y
This allows us to identify Ai with a submodule of Ai and simi-
a i2 a i2
larly to identify Ai with a subsemimodule of Ai :
i2 i2
EXERCISES
4. Homomorphisms of modules
Let A and B be left R-modules. A function from A to B which assigns
to each element a of A an element a of B is called an R-homomorphism
if and only if (a + a0 ) = a + a0 and (ra) = r(a ) for all a; a0 2 A and
r 2 R: (The reason for writing on the right of its operand will become clear in
the next section.) When it clear which ring is involved, we will often use the term
map rather than the more cumbersome “R-homomorphism”. Similarly, we can
14 Chapter 0. Modules and maps
0
of to gr( ) yields a one-to-one correspondence between gr( ) and A:
This last property characterizes the submodules of A B which are graphs of
maps: a submodule G of A B is the graph of an R-homomorphism from
A to B if and only if the restriction of to G is a one-to-one correspondence
between G and A: Indeed, given such a submodule G; it is easy to construct
the required map : for each a 2 A; there exists exactly one pair in G of the
form (a; b); so set : a 7! b: That this is in fact a map follows from the
fact that G is a submodule of A B:
If A and B are left R-modules then the set of all R-homomorphisms from
A to B will be denoted by HomR (A; B): This set is always nonempty since
it always contains the zero map which sends every element of A to the additive
identity element of B: If and are R-homomorphisms from A to B then
the function + from A to B de ned by + : a 7! a + a for all
a 2 A is also an R-homomorphism from A to B since
(a + a0 )( + ) = (a + a0 ) + (a + a0 )
= a + a0 + a + a0
= a( + ) + a0 ( + )
and
(ra)( + ) = (ra) + (ra)
= r(a ) + r(a )
= r(a + a )
= r [a( + )]
for all a; a0 2 A and r 2 R:
Observation 3: If A and B are left R-modules, then HomR (A; B)
is an additive abelian group.
5. Bimodules
In Section 1, we de ned left and right modules over a ring R: Actually, as we
shall now see, every left R-module is a right S -module for some ring S and
every right R-module is similarly a left S -module for some ring S: We will
want these module structures to coexist nicely.
De nition: Let R and S be rings. An (R; S)-bimodule is an additive
abelian group A satisfying the following conditions:
1. A is a left R-module,
2. A is a right S -module, and
3. r(as) = (ra)s for all r 2 R; a 2 A; and s 2 S:
Thus, for example, if A is a vector space of dimension n over a eld F and
if S is the full ring of n n matrices over F; then A is an (F; S)-bimodule.
Similarly, any ring R is an (R; R)-bimodule.
How do these examples generalize? By Observation 3 of Section 3, we see
that if A is a left R-module, then HomR (A; A); the set of all R-endomorphisms
of A; is an additive abelian group. There is also another operation de nable on
this set, namely composition of functions: if and are R-endomorphisms
of A; then is the R-endomorphism of A de ned by : a 7! (a ) :
We then make two very important observations:
Observation 1: If A is a left R-module then HomR (A; A) is a ring
under the operations of addition and composition of R-endomorphisms.
The multiplicative identity of this ring is precisely the identity map
A;A :
Veri cation: We will only sketch the argument here, leaving the details as
an exercise. If 2 HomR (R; A) and if s 2 S; de ne s to be the function
from R to A given by r 7! (r )s for all r in R: This is a map from
R to A and, with de nition of scalar multiplication by elements of S; the set
HomR (R; A) is a right S -module. Now consider the evaluation function "
from HomR (R; A) to A de ned as follows: if 2 HomR (R; A) then
" : 7! 1 : Then " is a map of right S -modules. If a 2 A and if a is the
map from R to A de ned by a : r 7! ra for all r 2 R; then "( a ) = a
and so " is an epimorphism. If "( ) = 0 then r = (r1 ) = r(1 ) =
r"( ) = r0 = 0 for all r 2 R and so is the zero map. Thus " is a
monomorphism and so it is an isomorphism.
r 0 a0
and y = are elements of T; then
0 s0
r + r 0 a + a0
x+y =
0 s + s0
and
rr0 ra0 + as0
xy = :
0 ss0
and (rf ) h = (rf )(h) = r(f (x)) = r(f h ) for all f and f 0 2 A and
all r 2 R: This R-homomorphism is called the projection map onto the hth
component of A:
Projection maps are used in the following common and important construc-
tion. Let A be a left R Y-module and let fBi j i 2 g be a family of left
R-modules, with B = Bi : For each i 2 ; let i : A ! Bi be
i2
an R-homomorphism. Then from the family f i j i 2 g of maps we can
construct a single map : A ! B by associating with each element a of A
Chapter 0. Modules and maps 21
the function (ra) h is the same as the function r(a h ): Since all four of these
functions take the value 0 except at h; the following computation is enough to
prove our claim:
((a + a0 ) h )(h) = a + a0 = a h (h) + a0 h (h) = (a h + a0 h )(h)
and ((ra) h )(h) = ra = (r(a h ))(h): The map h is called the injection
map into the hth component of A:
Note that for each h 2 the injection map into the hth component of A
is an R-monomorphism, and so Ah is isomorphic to im( h ): This allows us,
sometimes, to identify
Y Ah with its image under h and so consider Ah as a
submodule of Ai .
i2
Y
Thus, with the direct product Ai of left R-modules we have associ-
i2
ated two fundamental familes of maps: the projections i and the injections
i : Each injection i can be composed with each projection k : Compositions
of the form i i yield identity maps since, for each a 2 Mi ; we have
a( i i) = (a i ) i = (a i )(i) = a:
Compositions of the form i k for i 6= k yield zero maps, since for every
a 2 Mi we have
a( i k) = (a i ) k = (a i )(k) = 0:
The fact that i i is the identity map on Ai encompasses two obvious but
important facts: the projections i are R-epimorphisms; and the injections i
are R-monomorphisms. In accord Y with the informal usage and described above,
im( i ) = Ai and ker( i ) = Aj :
i6=j2
When = f1; 2g; we may regard the elements of A = A1 qA2 as ordered
pairs, as explained in Section 3. Our constructions and computations are espe-
cially transparent in that case. The projections and injections are exhaustively
described by
1 : (a1 ; a2 ) 7! a1 ;
2 : (a1 ; a2 ) 7! a2 ;
1 : a1 7! (a1 ; 0); and
2 : a2 7! (0; a2 );
where a1 and a2 are arbitrary elements of A1 and A2 respectively. If B is
a left R-module then for each pair of maps 1 : B ! A1 and 2 : B ! A2 ;
Chapter 0. Modules and maps 23
EXERCISES
Exercise
Y 1: Let fBi j i 2 g be a family of left R-modules and let
B= Bi : Let and be R-homomorphisms from a left R-module A
i2
to B satisfying the condition that i = i for every projection i : B ! Bi
and every i 2 : Show that = :
Exercise 2: Let B be a left R-module and let f i : Ai ! B ja i 2 g be a
P
family of R-homomorphisms. Verify that the function i2 i : Bi !
i2
A is an R-homomorphism.
Chapter 0. Modules and maps 25
7. Direct sums
A constant theme in our work will be the attempt to represent an R-module A of
some speci ed type as a coproduct of modules of some structurally more trans-
parent type. However, the appropriate question for us to aska can not be “Is there
a family of R-modules fBi j i 2 g for which A equals Bi ?” because
i2
the elements[of the set on the right are of a speci c nature: they are functions
from to Bi : Thus (except when the elements of A happen to be such
i2 a
functions), A has no chance of being equal to Bi : Our question has to
i2
be phrased in the form
a“Is there a family of R-modules fBi j i 2 g for which
A is isomorphic to Bi ?” This makes life seem a bit more dif cult, since
i2
we do not know where to look for the modules Bi : We would therefore like
to come up with an equivalent question which is “internal” to A; i.e. which is
involved with nding a certain family of submodules of the module A:
EXERCISES
9. Natural maps
Let B be a submodule of a left R-module A and let A=B be the associated
30 Chapter 0. Modules and maps
Perhaps the central signi cance of Observation 1 is that it reduces the prob-
lem of determining all maps from a left R-module A to a left R-module B
to the following program: determine all of the submodules of A and B; for
each pair of submodules A0 of A and B 0 of B; determine all isomor-
Chapter 0. Modules and maps 31
phisms 0 (if any) between A=A0 and B 0 : Each triple (A0 ; 0 ; B 0 ) for which
0
: A=A0 ! B 0 is an isomorphism then yields a map : A ! B and every
map from A to B arises in this fashion precisely once. As for the cardinality of
the
P set of 0maps 0from 0A to B; this can be expressed in the especially simple form
fh(B )k(B ) j B is a submodule of Bg ; where h(B 0 ) is the cardinality
of the set of all R-automorphisms of B 0 and k(B 0 ) is the cardinality (possibly
0) of the set of those submodules A0 of A for which A=A0 is isomorphic to
B0:
EXERCISES
(a) Show that the function B 0 from HomR (B=B 0 ; A) to HomR (B; A)
which sends each map to the composite map is a homomorphism of
abelian groups.
(b) Show that there is no proper submodule B 0 of B such that B 0 is an
isomorphism if and only if B is isomorphic to a submodule of a direct product
of copies of A:
3. The line containing u1 ; u2 ; and the origin these three points are colinear
but not all three of them equal.
Every submodule of A is nitely generated (by three or fewer generators).
For a second set of examples, we will let A be the additive abelian group
(that is Z-module) of real numbers. The submodule (that is, subgroup) gen-
erated by 12 ; 23 is Z 12 + Z 23 ; which is actually a cyclic submodule, since it
p p
is identical with Z 61 : The submodule generated by 1; 2 is Z + Z 2 =
p
Z Z 2: The submodule Q consisting nof all rational numbers o is not -
nitely generated, since for each nite subset Z nd11 ; : : : ; Z ndkk of Q we have
Z nd11
+ ::: + Z ndkk Z d1 ; where d = d1 : : : dk : On the other hand, Q
is countably generated. One of the more interesting generating sets for Q
1
is n! j n = 1; 2; : : : ; every in nite subset of this generating set is also a
generating set for Q:
The approach we have given to submodules generated by subsets might be
thought of as an approach from the inside. An equivalent approach from the
outside can be based on the important (and mentally veri able) fact that the
intersection of any nonempty family of submodules of an R-module A is again
a submodule of A: Since the submodule of a left R-module A generated by a
subset U of A is the smallest submodule of A containing U; we can make
the following observation.
Observation 1: If U is a subset of a left R-module A then the
submodule of A generated by U is the intersection of all submodules
of A containing U:
This outside approach is attractive but for working purposes the inside ap-
proach is usually more useful.
Cyclic modules will play an important role throught our work. Finitely-
generated modues receive close attention in Chapters 10, 11, and 13. Countably-
generated modules are constantly under study in Part Three. Some attention to
generating sets in general is given in Chapter 5.
EXERCISES
Exercise 1: If fAi j i 2 P
g is a family of submodules of a left R-module
A; show that the submodule i2 Ai de ned in Section 6 is precisely the
[
submodule generated by Ai :
i2
Exercise 2: Show that a left R-module A is nitely generated
P if, for any
family fAi j i 2 g of submodules of A satisfying A = i2 Ai ; there
34 Chapter 0. Modules and maps
P
exists a nite subset of satisfying A = i2 Ai :
Exercise 3: Let A be a left R-module and let fAi j i 2 Pg is a family of
submodules of A that satis es the following condition: 0 = i2 ai can hold
for a nite subset of and elements ai 2 A (for each i 2 ) only[ when
ai = 0 for all i: Show that the submodule B of A generated by Ai
M i2
satis es B = Ai :
i2
We hope that the maximal nest principle will seem intuitively plausible and
we believe that it should be used without self-consciousness. It is one of several
widely-used set-theoretic principles equivaelnt to the Axiom of Choice – among
them the Well-Ordering Principle and Zorn's Lemma. For further consideration
of these principles and their role in the foundations of mathematics, you may
wish to consult [41], [95], or [96].
EXERCISES
Exercise 1: Let Q be the set of rational numbers and let F be the family
of all nite subsets of Q: Describe all of the maximal nests M in F: State
precisely which subsets of Q are of the form [M for some maximal nest M
in F:
Exercise 2: Let Q be the set of rational numbers. Let F be the family of
all nonempty proper subsets of Q: For each x 2 Q; let Ux = fy 2 Q j x < yg
and Cx = fy 2 Q j x yg: Let M be the family consisting of the sets Ux
for all x 2 Q and the sets Cx for all x 2 Q: Is M a maximal nest in F?
Exercise 3: In Exercise 2, replace the set Q of rational numbers by the set
R of real numbers. Is M a maximal nest in F in this case?
Chapter 1. The ring as a module over
itself
1. Introduction
The backbone of this book is a sequence of theorems that describe the structure of
certain classes of modules. Each of these theorems explicates how the modules
in question may be constructed by means of one of at most four processes: (1)
choosing a submodule of R; (2) forming a factor module of R; (3) building
certain extensions of these factor modules (to be explained in Chapter 7), and
(4) forming coproducts. Thus R; regarded as a left module over itself, is the
foundation for this book. Since this module is so important, we will go carefully
through its de nition again. For the the underlying additive abelian group, we
use R with its ring addition. For the scalar multiplication of the ring R on
the abelian group R; we use the ring multiplication. Reviewing the axioms of
a left R-module, we have the following:
1. r(r0 + r00 ) = rr0 + rr00 by the left distributivity of ring multiplication;
2. (r + r0 )r00 = rr00 + r0 r00 by the right distributivity of ring multiplication;
3. (rr0 )r00 = r(r0 r00 ) by the associativity of ring multiplication;
4. 1r = r by the de nition of the multiplicative identity of a ring.
In Section 2, we will discuss the submodules and factor modules of R;
which are the basic building blocks of module theory. The multiplicative identity
element of R is a fundamental tool in the theory of R-modules. In Section 3, we
will show how this identity element can be used to produce strong results about
mapping properties related to R: In the process, we will make our rst acquain-
tance with the concept of a projective module. The concept of projectivity is one
of the most fundamental general concepts in module theory – perhaps the most
fundamental.
35
36 Chapter 1. The ring as a module over itself
Two special types of cyclic modules will play basic roles in our studies – sim-
ple modules and uniform cyclic modules. We will introduce these and discuss
them brie y.
De nition: A left R-module is simple if and only if it is not (0) and has
only two submodules: itself and (0):
A simple module is automatically cyclic. In fact, it is cyclic in a very strong
way: each nonzero element a of a simple left R-module A generates the
Chapter 1. The ring as a module over itself 37
Veri cation: Consider the collection of all proper left ideals of R contain-
ing I: This collection is nonempty, since I belongs to it, and so must contain
at least one maximal nest M: Let H be the union of all of elements of M:
We claim that H is a left ideal of R: Indeed, if r; r0 2 H then there exist
L; L0 2 M such that r 2 L and r0 2 L0 : Since M is a nest, either L L0
or L0 L. Without loss of generality, we can assume that L L0 : Then
r+r 2 L0 0
H: Similarly, if r 2 R then r r 2 L H; which suf ces
00 00
Note that in the veri cation of Observation 2 we made use of the Maximal
Nest Principle, which is equivalent to the Axiom of Choice. In fact, Observation
2 is equivalent to the Axiom of Choice. Indeed, in Zermelo-Fraenkel set theory,
the statement “every unique factorization domain has a maximal ideal” is already
equivalent to the Axiom of Choice. See [49] for a proof of this rather surprising
fact.
De nition: A left R-module is indecomposable if it is not the direct sum
38 Chapter 1. The ring as a module over itself
The previous observation is not very surprising. On rst contact, the next
one is likely to be. Its veri cation will expose a feature of uniform modules that
is a basic tool in their use. This feature may be informally described by saying
that each nonzero element of a uniform left R-module is necessarily interrelated
with the overall structure of the module. The situation is somewhat weaker than
in the case of simple modules in which, as we recall, a nonzero element had to
be a generator.
Observation 4: Let fAi j i 2 gMbe a family of left R-modules. If
B is a uniform submodule of A = Ai then, for some element
i2
h of ; the restriction to B of the hth projection map h is an
R-monomorphism.
Because of their importance in structure theory, those modules that are iso-
morphic to direct summands of R have been given a special name.
De nition: A principal left R-module is an R-module that is isomorphic to
a direct summand of the left R-module R:
To emphasize the signi cance of the classes of modules introduced thus far,
we will indicate their function in our structural studies chapter by chapter. The
fundamental building block used in Chapter 2 is the left R-module R itself.
For Chapter 3, the basic building blocks are simple modules. In Chapter 4, the
blocks will be left ideals of R: The uniform cyclic modules are fundamental
blocks used throughout Chapter 9: in the nal section of Chapter 9 the building
blocks are also principal modules. In Section 2 of Chapter 10, the building
blocks are again uniform cyclic modules. The nitely-generated left ideals of
R are the blocks used in Sections 3 and 4 of Chapter 11 (those in Section 4 are
principal ideals). Chapter 13 returns to R itself as the basic building block.
Aside from some elaborate decoration that must be added in certain cases
to uniform cyclic modules (to be explained in Chapter 7), we have all the ba-
sic building blocks that are used in the theorems in this book. Our principal
construction tool will be the coproduct. To emphasize this, we will introduce
a terminological convention: the pre x semi, when applied to a type of left R-
module (but not necessary to a type of ring!) will mean “a direct sum of”. Thus,
a semisimple left R-module is a direct sum of simple submodules, a semiprinci-
pal left R-module is a direct sum of principal submodules, a semicyclic left R-
module is a direct sum of cyclic submodules, and a semiuniform left R-module
is a direct sum of uniform submodules.
EXERCISES
Exercise 1: Regard the ring Z of integers as a module over itself and study
it as follows:
(a) Determine the submodules of Z:
(b) Determine the factor modules of Z:
(c) Which submodules of Z are maximal?
(d) Determine the simple Z-modules.
(e) Which cyclic Z-modules are indecomposable?
(f) Which cyclic Z-modules are uniform?
Chapter 1. The ring as a module over itself 41
Veri cation: To show that splits, we must show that there exists a map
0
: P ! A for which 0 is the identity map on P: If we let : P ! P
be the identity map, then such a 0 must exist by the projectivity of P:
Rings having the property that all of their left ideals are projective will arise
in the course of our investigations in Chapter 4.
EXERCISES
45
Chapter 2. Coproducts of copies of R
(free modules)
1. Introduction
In Chapter 1, we examined the ring R; regarded as a module over itself. We
made an introductory survey of the summands, submodules, and factor modules
of R: Through the use of the identity element of R; we encountered the concept
of a projective module. The pattern of development of Chapter 1 and the con-
cepts introduced there prove an introduction to the general theory of projectivity.
The role planed by the R-module R in Chapter 1 will now be taken over by the
class of all coproducts of copies of the module R; or, more generally, by the free
left R-modules.
De nition: A left R-module is free if it is isomorphic to a coproduct of
copies of the left R-module R:
Chapter 2 is concerted with the free modules themselves. After it, we will
take up successively the direct summands of free modules, the submodules of
free modules, and the factor modules of free modules. In the course of extending
our attention from free modules to these broader classes, we obtain a thorough
introduction to the concept of projectivity. We will return to deeper structural
investigations of projective modules in Section 5 of Chapter 9.
2. Bases
The de nition we have chosen for the concept of a free module is itself a struc-
tural de nition of the module. However, since free modules play such a funda-
mental role in module theory, we will also reformulate this de nition in terms
of sets of elements, and we will practice using this alternative, element-wise,
description.
For an arbitrary ring R and a nonempty set ; let fRi j i 2 g be a
family of copies of the R
a -module R indexed by the set : Thus, Ri = R for
each i 2 : Let F = Ri : Then the set F consists of those functions f
i2
47
48 Chapter 2. Coproducts of copies of R (free modules)
from to R satisfying the condition that f (i) = 0 for all but nitely-many
elements i of : With each i in we associate the element gi of F de ned
by
1 if h = i
gi : h 7! ;
0 otherwise
for h 2 . Let U = fgi j i 2 g. Now suppose that f is an arbitrary
element of F and, for each i 2 ; let ri = f (i):PThen ri = 0 for all but a
nite number of the i; and consequently the sum i2 ri gi is de ned and is
an element of F: Since, for each h 2 ; we have
!
X X
ri gi (h) = ri gi (h) = rh ;
i2 i2
P
we see that f = i2 ri gi : Thus, U is a set of generators of F: But U has
a further property. Suppose that fsi j i 2 g is a family of elements of R
satisfying P
the condition that si = 0 for all but nitely-many indices i 2 and
that f = i2 si gi : Then for each h 2 we have
!
X X
f (h) = si gi (h) = si gi (h) = sh
i2 i2
This shows that there is at most one such map : A ! A0 which agrees with
g on U . It also tells us that to complete the veri cation of the observation
we
P need only consider the function from A to A0 ; which sends a to
Pru g(u) and verify that it is a map and that it agrees with g on U: For
u2U
a = u2U ru u 2 A; and r 2 R; we have
!
X X
(ra) = rru u = rru g(u)
u2U u2U
" #
X
= r ru g(u) = r(a ):
u2U
P P
For a = u2U ru u and a0 = u2U su u; we have
" #
X X
(a + a0 ) = (ru + su )u = (ru + su )g(u)
u2U u2U
X X
= ru g(u) + su g(u) = a + a0 :
u2U u2U
P
Finally, for an element u0 of U the representation u0 = u2U ru u is simply
given by ru0 = 1 and ru = 0 if u 6= u0 : Thus
X
u0 = ru g(u) = ru0 g(u0 ) = g(u0 )
u2U
are identical we need only show that they agree on U: It is now convenient to
observe the following basic characterization of free modules.
Observation 2: A left R-module is free if and only if it contains a
basis.
Veri cation: We have already seen that a free left R-module must have a
basis. Suppose that A is a left R-module having a basis U: Use
a U to index
a family fRu j u 2 U g of copies of R and form F = Ru : Let
u2U
V = fgu j u 2 U g be the basis of F as constructed in the initial discussion of
this section. Let f : U ! V be the function given by f (u) = gu ; which is
clearly one-to-one and onto, and let f 0 be the inverse of f: There is a unique
map : A ! F that agrees with f on U; and there is a unique map
0
: F ! A that agrees with f 0 on V: Then 0
is a map from A to A
that agrees with the identity function f f on U and 0 is a map from F to
0
This observation suggests that a routine way of showing that a left R-module
is free is to construct a basis of the module.
A free module may possess more than one basis. For the Z-module Z; f1g
is a basis, and so is f 1g: For Z q Z; the pair of elements f(1; 0); (n; 1)g
is a basis for any integer n: Must two bases of the same free module have the
same cardinality? The answer may be surprising. If the module has an in nite
basis, order prevails: if F is a free module having an in nite basis, then any
two bases of F must have the same cardinality. This fact is a consequence of
the following observation, which contains extra information as well.
Observation 3: If F is a free left R-module having a basis U of
in nite cardinality k then each subset W of F having cardinality
h less than k is contained in a proper direct summand of F:
Veri
P cation: Each element w 2 W has a unique representation of the form
w = u2U ru u; where the ru are elements of R: Let
U (w) = fu 2 U j ru 6= 0g:
[
Then U (w) is nite and the cardinality of the union V = U (w) is
w2W
nite if W is nite and is equal to h if W is in nite. In either case, it is less
Chapter 2. Coproducts of copies of R (free modules) 51
If a free module does not have an in nite basis, chaos may reign. Among the
exercises, you are asked to show that there exists a ring R for which, for every
positive integer n; there is a basis of the left R-module R that has precisely n
elements. This, however, can happen only if the ring R is noncommutative. In
Section 4 we will see a class of rings R such that if F is a free left R-module
having a nite basis, then all bases of F have the same cardinality. At later
points in this book, we will show that for rings of particular types, any two bases
of the same free left R-module must have the same cardinality.
We will now make an important observation about free left R-modules.
Observation 4: Free left R-modules are projective.
We have been explicit in mentioning the need for the Axiom of Choice when
it arises, and so at this point we should point out that Observation 4 is another
statement equivalent to the Axiom of Choice. In fact, Blass [10] has shown
that the statement “every free Z-module is projective” is equivalent, given the
Zermelo-Fraenkel axioms for set theory, to the Axiom of Choice.
It must be apparent that the speci cation of a basis of a free left R-module F
is very closely related to the speci cation of an isomorphism between F and a
coproduct of an indexed family of copies of R: We will close out the discussion
of bases by spellingM out this relationship. Suppose that fui j i 2 g is a basis
of F: Then F = Rui and for each i in the map i : R ! Rui
i2
52 Chapter 2. Coproducts of copies of R (free modules)
EXERCISES
elements?
(d) Does R0 have an in nite basis?
Exercise 4: Let R be an integral domain which is not a eld and let K be
the eld of fractions of R: Show that K is not free as a left R-module.
Exercise 5: Let R0 be a ring, let H be a proper two-sided ideal of R0 ;
and let R be the ring R0 =H: For each left R0 -module A; let HA be the
R0 -submodule of A generated by the subset fha j h 2 H and a 2 Ag:
(a) Verify that the left R0 -module A=HA is also a left R-module with respect
to the scalar multiplication de ned as follows: if r 2 R and a 2 A; then
(r + H) (a + HA) = ra + HA:
(b) Show that if A is a free left R0 -module with nite basis fu1 ; : : : ; un g then
A=HA is a free left R-module with basis fu1 + HA; : : : ; un + HAg:
Exercise 6: Suppose that F is a free left R-module which is not nitely
generated and let B be a direct summand of F: Show that B q F = F:
Example 7: Let A be the in nite abelian group Q=Z: Does any submodule
of A have a basis as a left Z-module?
3. Independent sets
This section is devoted to a concept of independence that provides a fundamental
tool used in each part of this book.
De nition: A subset U of a left R-module A is independent if it does not
contain 0 and the subset of A generated by U is the direct sum of the cyclic
submodules Ru generated by elements u of U: The subset U is uniformly
independent if it is independent and Ru is uniform for each u 2 U ; it is simply
independent if it is independent and Ru is simple for each u 2 U:
The following observation gives an example of such sets.
Observation 1: Let fAi j i 2 g be a set of mutually noniso-
morphic simple submodules of a left R-module A and let ai be a
nonzero element of Ai for each i in : Then fai j i 2 g is a
simply-independent subset of A:
Veri cation: If the observation were false, then it would be false for some
nite set : Thus it suf ces to consider the case that is nite. Thus assume
that = f1; : : : ; ng and proceed by induction on n: If n = 1 the result
is certainly true. Assume therefore that n > 1 and that the observation is
true whenever we have sets of at most n 1 elements of the appropriate type.
If fa1 ; : : : ; an g is not simply independent,
Pn there exist elements r1 ; : : : ; rn
of R such that 0 6= r1 a1 = r a
i=2 i i and so A1 = Rr1 a1 B =
54 Chapter 2. Coproducts of copies of R (free modules)
Mn
Ai ; where the left-hand equality is due to the simplicity of the Ai and
i=1
the directness of the sum comes from the induction hypothesis. Therefore there
exists an index h (2 h n) such that the projection h from B onto Ah
restricts to a nonzero map on A1 : By the simplicity of A1 and Ah ; this map
then gives an isomorphism between A1 and Ah ; contradicting the choice of
the Ai and so verifying the observation.
U is nite and since U is the union of a nets of sets fUi j i 2 g; there exists
0
Veri cation: (1) Consider the collection of all those subsets of A that
are independent. This collection is not empty, since the empty subset of A is
surely independent. The collection contains at least one [ maximal nest. Let
fUi j i 2 g be such a maximal nest, and let U = Ui : Then U is
i2
independent and is not properly contained in any other independent subset of A;
for if U 0 were an independent subset of A properly containing U; then U 0
would properly contain each of the Ui ; contradicting the maximality of the given
nest. Thus we have shown that U is a maximal independent subset of A:
(2) Reread the proof of (1), inserting “uniformly” before each occurence of
Chapter 2. Coproducts of copies of R (free modules) 55
4. Division rings
We have developed some familiarity with free modules. If a ring R has the
property that all of its left R-modules are free, then we have some familiarity
with all left R-modules. It is therefore interesting to ask which rings have the
property that all left R-modules are free. The answer to this question will pick
out the following class of rings.
De nition: A ring R is a division ring if for each element r of R and
each nonzero element r0 of R there exists an element r00 of R satisfying
r00 r0 = r:
A commutative division ring is just a eld. However, not all diviision rings
are elds. The classical example of a division ring which is not a eld is the
ring of real quaternions de ned by Hamilton. This ring is isomorphic to the
subring of the full ring of all 2 2 matrices of complex numbers consisting of
a + bi c + di
all matrices of the form ; where a; b; c; d are arbitrary
c + di a bi
real numbers. The proof that this is in fact a division ring is left as an exercise.
A surprising, but classical, result of Wedderburn asserts that every nite division
ring is a eld. (see Chapter 7 of [45] for a proof.)
Modules over division rings are called vector spaces. Most of the major
results of linear algebra for vector spaces over elds hold when the scalars are
taken from an arbitrary division ring.
Observation 1: A division ring R is simple when regarded as a left
module over itself.
Veri cation: Assume that every left R-module is free and let A be a simple
left R-module. Since A is free, it is isomorphic to a coproduct of copies of R
but, since it is simple, it is indecomposable and so must be isomorphic to R:
Thus R itself is simple as a left R-module and so the only nonzero left ideal of
R is R itself. In particular, if 0 6= r 2 R then Ra = R and so for each
element r0 of R there exists an element r00 of R satisfying r00 r = r0 : Thus
R is a division ring.
Now suppose that R is a division ring and that A is an arbitrary left R-
module. Let U be a maximal independent subset of A: Since, for each u in
U; the left R-module Ru is nonzero and cyclic, we have Ru = R: Thus, to
show that A is free, we need only show that U generates A: For a 2 A r U;
the set U [ fag is not independent, by the maximality of U; and so there exist
elements rPand fru j u 2 U g of R; not all of which are equal to 0; such
that ra + u2U ru u = 0: Since U is independent, the element r is nonzero.
Since R is a division ring,P there exists an element
P r00 of R satisfying r00 r = 1:
Then a = r ra = r
00 00
u2U ru u = u2U ( r ru )u: Thus U generates
00
A; and so A is free.
Notice that what we in fact showed in the veri cation of Observation 2 is that
a ring R is a division ring if and only if every nonzero cyclic left R-module is
free.
Observation 3: Let R be a division ring P and let A be a left R-
n
module having a basis fa1 ; : : : ; an g: If b = i=1 ri ai and r1 6= 0;
then fb; a2 ; : : : ; an g is also a basis of A:
has already been shown to be valid for all left R-modules having a basis of less
than n elements. If fb1 ; : : : ; bt g is another basis for A with t < n; then
we are done by the induction hypothesis. Hence we can assume that P t n and
n
all we are left to show is that we in fact have equality. Write b1 = i=1 ri ai :
There must be some index h such that rh 6= 0 and, after renumbering the
indices if necessary, we can assume in fact that r1 6= 0: By Observation 3,
fb1 ; a2 ; : : : ; an g is also a basis of A: Let B be the submodule of A generated
by fa2 ; : : : ; an g and let C be the submodule of A generated by fb2 ; : : : ; bt g:
Then A = Rbi B = Rb1 C and consequently B = A=Rbi = C: Thus
B has a basis of n 1 elements and a basis of t 1 elements. From the
induction hypothesis, we therefore conclude that n 1 = t 1 and so n = t;
as required.
We now detour brie y and use this result to verify an observation we noted
in Section 2.
Observation 5: If R is a commutative ring and A is a free left R-
module having a basis fb1 ; : : : ; bn g then any basis of A has precisely
n elements.
EXERCISES
Exercise 1: Verify that the ring of real quaternions is in fact a division ring.
Exercise 2: Show that a ring R is a division ring if and only if R r f0g is
a group under multiplication.
Exercise 3: For which rings R is it true that every maximal independent
subset of each left R-module A is necessarily a basis of A?
Exercise 4: Verify Observation 3.
Exercise 5: If A is a simple left R-module, show that the ring HomR (A; A)
is a division ring. (This result is sometimes known as Schur's Lemma.)
Exercise 6: Let R0 be a division ring. Can you nd a ring R and a simple
left R-module A such that R0 is isomorphic to HomR (A; A)?
a b
Exercise 7: Let R be the ring of all matrices of the form ; with
0 c
a; b; and c elements of the eld Z=(2) of integers modulo 2, and let I be the
left ideal of R consisting of all such matrices satisfying b = c = 0: Show that
R=I is not a simple left R-module but that HomR (R=I; R=I) is nonetheless
a division ring.
Exercise 8: List all simple Z-modules. For each such module A; what is
its ring of endomorphisms?
Exercise 9: Let p be a prime integer and let R be the ring of polynomials
in an indeterminate X with coef cients in the eld Z=(p) of integers modulo
p: Describe the simple left R-modules and their rings of endomorphisms. Is
every nite eld of characteristic p isomorphic to one of these endomorphism
rings?
Exercise 10: Verify Observation 6.
Exercise 11: Let A be a free left R-module having an endomorphism ring
which is a division ring. Show that A = R:
60 Chapter 2. Coproducts of copies of R (free modules)
1. Introduction
In this chapter we will expand our attention from the class of free modules to
the class of all direct summands of free modules. Our goal is to develop as
much insight into the structure of these modules as possible. Only the rst steps
can be taken in this chapter. We will give a survey discussion of this problem,
after making an observation that will allow us to shorten the phrase “a module
isomorphic to a direct summand of a free module” to a single familiar word.
Observation 1: A left R-module is isomorphic to a direct summand
of a free left R-module if and only if it is projective.
61
62 Chapter 3. Direct summands of free modules (projective modules)
This observation has two immediate consequences, which will be used fre-
quently and without reference.
Corollary 1: A direct summand of a projective left R-module is
projective.
Veri cation: Suppose that we have such subsets U and W and let F be
a free leftPR-module withPbasis fyi j i 2 g: The function : F ! P de ned
by : i2 ri yi 7! i2 ri pi is easily checked to be an R-epimorphism.
Moreover,
P we also have an R-monomorphism : P ! F de ned by : p 7!
i2 ( p'i )yi : Since is the identity map on P; this implies that P is
isomorphic to a direct summand of F; and so is projective by Observation 1.
Conversely, assume that P is projective. Then there exists an isomorphism
: P ! P 0 ; where P 0 is a direct summand of a free left R-module F
with P basis fyi j i 2 g. For each h 2 ; : let h 2 F be de ned by
1
h : i2 ri yi 7! rh ; let 'h = h 2 P , and let ph = yh : If p 2 P
Chapter 3. Direct summands of free modules (projective modules) 63
P
satis es p = i2 ri yi ; then
" #
X X X X
1 1 1
p=p = ri yi = ri (yi )= ri p i = (p'i )pi
i2 i2 i2 i2
as desired.
EXERCISES
2. Semisimple rings
For which rings R is every R-module projective? We will show that the answer
is the class of rings described as follows:
De nition: A ring R is a semisimple ring if R is semisimple when
regarded as a left R-module.
M
According to this de nition, R is semisimple if it is of the form Hi ;
i2
where each Hi is a simple left ideal of R: AnP elementary, but important, fact is
that is necessarily nite. Indeed, let 1 = i2 ri be the representation of
the identity element with respect to this direct sum decomposition of R: Then
Chapter 3. Direct summands of free modules (projective modules) 65
where Hij is isomorphic to Hst if and only if i = s: With this indexing, we see
that every simple left R-semimodule is isomorphic with precisely one member
of the list H11 ; H21 ; : : : ; Hm1 : With any m-tuple (h1 ; : : : ; hm ) of cardinal
numbers, associate the left R-module that is the direct sum of h1 copies of H11 ;
h2 copies of H21 ; . . . , and hm copies of Hm1 : By our structure theorem, each
such left R-module is semisimple, and each left R-module is isomorpic with the
module associated with precisely on m-tuple of cardinal numbers.
We can now answer very conveniently the initial question of this section: for
which rings R is every left R-module projective?
Observation 2: A ring R has the property that all [simple] left
R-modules are projective if and only if it is semisimple.
Exercise 1: (a) For which nonnegative integers n is the ring Z=(n) if all
integers modulo n a semisimple ring?
(b) Describe the nature of all left Z=(30)-modules.
(c) Describe a Z=(150)-module that is not projective.
Exercise 2: If there exists a left R-module which is not projective, must
there also exist a nonprojective cyclic left R-module? Must there also exist a left
ideal of R which is not projective?
Exercise 3: Verify Observation 3.
Exercise 4: Prove that a ring R is semisimple if and only if each [maximal]
left ideal of R is a direct summand of R:
Exercise 5: Must a ring be semisimple if and only if each of its left ideals is
a principle module?
Exercise 6: For each rational number r; verify that the subset
a ar
a; b 2 Q
b br
of the full ring of all 2 2 matrices over Q is a simple left ideal of that ring.
Exercise 7: Let A be a semisimple left R-module.
(a) Is every maximal simply-independent subset of A a maximal independent
subset of A?
(b) Is every independent subset of A simply independent?
(c) Does every maximal [simply-]independent subset of A necessarily generate
A?
Exercise 8: Verify the following observations concerning the class of all
semisimple left R-modules, for an arbitrary ring R :
(a) Each submodule of a semisimple left R-module is a direct summand.
(b) Each submodule of a semisimple left R-module is semisimple.
(c) Each factor module of a semisimple left R-module is semisimple.
Exercise 9: Alter the wording of the veri cation of Observation 3 of Section
2.2 to produce a veri cation of the following observation: If A is a semisimple
left R-module having a maximal simply-independent subset U of in nite cardi-
68 Chapter 3. Direct summands of free modules (projective modules)
3. Matrix rings
We will discuss in an informal manner some examples of rings of matrices that
are semisimple. Let D be a division ring and let R be the full ring of all 2 2
matrices with entries in D: Let L1 be the set of all matrices in R of the form
a 0 0 a
and let L2 be the set of all matrices in R of the form :
b 0 0 b
Then L1 and L2 are both left ideals of R and the function : L1 ! L 2
de ned by
a 0 0 a
: 7!
b 0 0 b
is an isomorphism of left R-modules, as is easily veri ed. We have a decompo-
sition R = L1 L2 of R as a direct sum of the left R-modules Li : Moreover,
a 0
each of the Li is simple. If either a or b is not zero, then R = L1
b 0
since for each c and d in D we can readily nd elements w; x; y; z 2 D
w x a 0 c 0
so that = : We have seen therefore that R is
y z b 0 c 0
semisimple.
This discussion has been carried out for the full ring of all 2 2 matrices
with entries in D; but similar steps can be carried out for the full ring of all
n n matrices with entries in D; where n > 1 is any integer. Of course, the
case n = 1 has been already taken care of. Thus we see the following.
Chapter 3. Direct summands of free modules (projective modules) 69
In more detail, the full ring of all n n matrices with entries in D is the
direct sum of n mutually-isomorphic simple left ideals.
Let us return to the special case of the full ring R of 2 2 matrices with
entries in D: Since R is semisimple, we know that every left R-module is
a direct sum of simple left R-modules and that each simple left R-module is
isomorphic to L1 : The same is true regarding the full ring of all n n matrices
with entries in D:
Observation 2: For any division ring D and any positive integer
n; the full ring R of all n n matrices with entries in D has,
up to isomorphism, only one simple left R-module L; and every left
R-module is isomorphic to a coproduct of copies of L:
Now let R0 be the full ring of all 2 2 matrices with entries in a division
ring D0 and let R00 be the full ring of all 3 3 matrices with entries in a
division ring D00 : Let R = R0 R00 and turn this into a ring by de ning
All of our assertions about direct products of full matrix rings have admitted
very simple and straightforward veri cations. The nal observation we wish
to note is a famous result of Wedderburn, which is remarkable but considerably
70 Chapter 3. Direct summands of free modules (projective modules)
more tedious to demonstrate, and somewhat beyond the program of this book. It
is essentially the converse of our previous observations.
Observation 4: Every semisimple ring is isomorphic to the direct
product of a nite number of full rings of matrices over division rings.
EXERCISE
Exercise 1: From the discussion in this section, what can be said about the
structure of commutative semisimple rings?
4. Group rings
There is an extremely important class of rings that are semisimple but for which
their semisimplicity is not apparent. They are a particular class of what are called
group rings. We will begin by de ning the group ring of an arbitrary group G
of an arbitrary ring R: Ignore (for the moment) the algebraic structure on G
and regard it only as a set. Use G to index
aa family fRg j g 2 Gg of copies of
R; and form the free R-module R[G] = Rg : Recall that the elements of
g2G
this free module are the nitely-nonzero functions f : G ! R: We will de ne
a ring structure on R[G]: For the additive group, we use the R-module addition
in R[G]: We de ne the product of elements f; f 0 2 R[G] to be the function
f f 0 given by
X
f f 0 : g 7! f (g 0 )f 0 (g 00 ):
g 0 g 00 =g
Since both f and f 0 are nitely nonzero, only nitely-many of the products
f (g 0 )f 0 (g 00 ) are nonzero, and consequently each such sum is well-de ned, and
f f 0 2 R[G]: With a little patience, the ring axioms can be veri ed for R[G]:
This ring R[G] is called the group ring of G over the ring R:
There is a natural and useful way to embed both G and R in R[G]: We
have the usual basis U = fbg j g 2 Gg of the free R-module R[G]; where
each bg is de ned by
1 if g = g 0
bg : g 0 7!
0 otherwise
for all g 0 2 G. It is easy to see that U is closed under multiplication in
R[G]; and that the function : G ! R[G] de ned by : g 7! bg is a
group isomorphism from G to U: The identity element of the ring R[G] is
the basis element b1 ; where 1 denotes the identity element of G: The function
Chapter 3. Direct summands of free modules (projective modules) 71
where each rg and each g can be regarded as an element of R[G] and where
each term rg g is regarded as a product formed with respect to the multiplication
in R[G]:
Since R is a subring of R[G]; every R[G]-module can also be regarded
as an R-module. If : A ! B is an R-homomorphism between left R[G]-
modules, and (ga) = g(a ) holds for all g 2 G and all a 2 A; then is
an R[G]-homomorphism by the following calculation:
" ! # " #
X X X
rg g a = (rg ga) = [rg (ga) ]
g2G g2G g2G
" #
X X
= [rg g (a )] = rg g (a ) :
g2G g2G
This fact, and one more will be useful in the veri cation of Observation 1. Each
element r of R commutes with each element g of G: indeed,
r g = (rb1 )bg = rbg = (rbg )b1 = bg (rb1 ) = g r:
Veri cation: To show that a ring is semisimple it suf ces to show that every
submodule of every left R-module is a direct summand. Thus let A be a
submodule of a left R[G]-module B; and let : A ! B be the inclusion
map. We need to nd a map : B ! A for which is the identity map
72 Chapter 3. Direct summands of free modules (projective modules)
The second form of the last equality follows from the fact that, for a xed element
g 0 of the group G; as g runs through all of the elements of G without
repetition, then so does gg 0 : For a 2 A; we have a = a = na; where
n is the order of G: Since the characteristic of R is either 0 or a prime not
dividing n; we know that n has an inverse n 1 in R: We now de ne to
be n 1 ; to obtain the desired R[G]-homomorphism from B to A:
Exercise 1: Let F be a eld, let F n be the usual vector space (that is,
F -module) or ordered n-tuples of elements of F: Let S be the full ring of
n n matrices with entries from F: Let G be a group and let ' : G ! S
be a function satisfying the conditions that '(g) is nonsingular for each g 2 G
and that '(gh) = '(g)'(h) for all g; h 2 G: Functions such as ' are called
group representations.
hP i De P ne an operation of the group ring F [G] on V by
setting g2G rg g v = g2G rg '(g)v: Verify that with this operation, V
becomes a left R[G]-module.
Exercise 2: Let F be a eld, let G be a group, and let V be a left F [G]-
module. Since we regard F as a subset of F [G]; we see that V is also a
vector space over F: Assume that V has nite dimension n as a vector space,
and let fb1 ; : : : ; bn g be an ordered basis for V over F. Each g in G provides
Chapter 3. Direct summands of free modules (projective modules) 73
X X
: rg g 7! rg :
g2G g2G
1. Introduction
We have made a preliminary investigation of summands of free modules. What
can we say about submodules of free modules? We have one elementary tool
which can be used to analyze such submodules.
Observation 1: Let D be a submodule of a left R-module A B;
and suppose that D is projective, where is the natural projection
of A B onto B: Then D = [D \ A] B 0 for some submodule B 0
of B isomorphic to D :
2. Hereditary rings
The broadest class of rings for which we will be able to describe all submodules
of free modules is the class de ned as follows:
De nition: A ring R is left hereditary if each of its left ideals is projective.
All semisimple rings are left hereditary. The two classes of rings can be
compared most readily through an alternative de nition of semisimple rings: a
ring R is semisimple if each of its left ideals is a direct summand. The ring
Z of integers is hereditary since each nonero ideal is of the form nZ and so is
isomorphic to Z as a left Z-module. Similarly, the ring D[X] of polynomials
in an indeterminate X with coef cients in a division ring D can be shown to
be hereditary. You will be asked to do this in the exercises.
75
76 Chapter 4. Submodules of free modules
" #
X
n X
n
h = 1h = hi ki h = (hki )hi
i=1 i=1
then
" #
X
n X
n
k = k1 = k hi ki = (hi k)ki
i=1 i=1
EXERCISES
hereditary.
Exercise 3: Verify Observation 1, using Observation 1 of Section 1 and
nite induction.
Exercise 4: If R is a ring, then a projective left R-module A is said to be
hereditary if each of its submodules is also projective.
(a) Modify the proof of Observation 2 to obtain the following generalization:
Let fAi j i a 0g be a family of hereditary
M1 left R-modules, and let B be a
1
submodule of Ai : Then B = Bi ; where each Bi is isomorphic
i=0 i=0
to a submodule of the corresponding Ai :
(b) Show by example that, if the words “isomorphic to” were deleted from the
statement in (a), the resulting assertion would be false.
Exercise 5: Study the veri cation of Observation 2, to determine whether
the submodules Hi of A are actually subsets of the corresponding submodules
Ri of F:
Exercise
a1 6: Let Z be the ring of integers and let F be the free Z-module
F = Ri ; where each Ri is isomorphic to Z. Let A be the submodule
i=0
of F consisting of those functions f for which f (0) = f (1) and f (i) = 0
for i > 1: TheMveri cation of Observation 2 provides submodules Hi of A for
1
which A = Hi : For each i; state speci cally which elements of A lie
i=0
in Hi :
This theorem has four corollaries. The rst is a structure theorem for projec-
tive modules over left hereditary rings.
Corollary 1: If R is a left hereditary ring, then every projective
left R-module is isomorphic to a coproduct of left ideals of R:
The second and third corollaries are characterizations of left hereditary rings.
The third explains the choice of the term “hereditary”.
Corollary 2: A ring R is left hereditary if and only if each sub-
Chapter 4. Submodules of free modules 81
EXERCISES
But rr0 2 Rr \ Rr0 = (0); which yields rr0 = 0; contradicting the fact that
r cannot be a zero divisor. Thus F = Rr, where r is not a zero divisor.
Conversely, let r be an element of R which is not a zero divisor. Then the
kernel of the map : R ! Rr de ned by : r0 7! r0 r must be (0) and so
Rr = R is free.
Observation 2: A commutative ring R has the property that each
submodule of a free R-module is free if and only if it is a principal
ideal domain.
Note that we have in fact prove a somewhat stronger observation, namely that
a commutative ring R is a principal ideal domain if and only if each submodule
of each nitely-generated left R-module is free.
We will close this section by mentioning a famous problem in ring theory. As
we have already noted, if F is a eld, then the ring of polynomials F [X] is a
principal ideal domain and so, by Observation 2, every projective left R-module
is free. In 1955, Serre conjectured that the same condition holds for any ring
R[X1 ; : : : ; Xn ] of polynomials in n indeterminates over a eld. Since Bass,
in 1963, had shown that non- nitely-generated projective modules over such
rings are free, the conjecture reduced to the consideration of nitely-generated
projective modules and stimulated considerable research activity, including the
development of an entire area of research known as “algebraic K-theory”. Fi-
nally, Serre's conjecture was settled in the af rmative in 1976 by D. Quillen and
A. Souslin, working independently. For a survey of their results, as well as
background to Serre's conjecture and its applications, see [62] or [92]. Quillen
and Souslin's results rely heavily on the commutativity of the eld of coef cients
Chapter 4. Submodules of free modules 83
to the following assertion and how they justify this assertion: the problem of
classifying linear transformations of vector spaces “up to similarity” is a special
case of the problem of classifying modules over principal ideal domains “up to
isomorphism”.
(b) Let R be the full ring of n n matrices over the eld F: Matrices M
and M 0 in R are similar if and only if there exists a nonsingular matrix N
in R for which M = N M 0 N 1 : Explain how Exercises 3 through 6 justify
the following assertion: the problem of classifying the matrices in R “up to
similarity” is equivalent to the problem of classifying “up to isomorphism” the
F [X]-modules that are n-dimensional when regarded as vector spaces over the
sub eld F of F [X]:
1. Introduction
Throughout Part One, we have expanded our attention successively from free
modules to summands of free modules to submodules of free modules. In the
present chapter, we will discuss factor modules of free modules and of projective
modules. This discussion represents the ultimate expansion of our attention
since, as we shall see, every left R-module is isomorphic to a factor module of a
free left R-module. This fact was implicit in the veri cation of Observation 1 of
Section 3.1. We shall give a more thorough discussion here.
Let R be a ring and let A be a left R-module. We will survey the ways of
representing A as a homomorphic image of a free module. The process can be
organized into three choices:
1. Choose a set G of generators of A;
2. Choose a free module F having a basis U of cardinality greater than or
equal to the cardinality of G;
3. Choose a surjective function f : U ! G and let : F ! G be the map
determined by f:
Note that choice (2) is always possible, since for every cardinal number there
is a free module with a basis of that cardinal (see Section 2.2) The map is
necessarily an epimorphism since its image contains the set G; which generates
A: Notice too that every epimorphism 0 : F 0 ! A of a free module F 0 onto
A may be regarded as having arisen from such choices: let U be a basis of
F 0 ; let G = U 0 ; and let f be the restriction of 0 to U: Then 0 is the
map corresponding to the choice of G as a generating set of A; F 0 is the free
module having U is the appropriate basis, and f is the surjective function from
U to G:
Which free modules possess A as a homomorphic image? To give the
answer we associate a cardinal number k with A: Let k be the least cardinal
number in the set fk 0 j k 0 is the cardinality of some set of generators of Ag:
85
86 Chapter 5. Factor modules of free modules
Such a k exists since every set of cardinals has a least element. From the
previous paragraph we may conclude that A is a homomorphic image of a free
module F if and only if F possesses a basis having cardinality at least k:
In particular, each free module having a basis of cardinality k is, in a sense, a
“smallest” free module having A as a homomorphic image.
EXERCISES
Veri cation: We have already noted that tr(P ) is a left ideal of R; and all
that remains is to show that r0 r 2 tr(P ) whenever r0 2 tr(P ) and r 2 R: If
Chapter 5. Factor modules of free modules 87
as needed.
EXERCISES
91
Chapter 6. Enlarging homomorphisms
1. Introduction
A basic theme of Part One was the lifting of maps through R-epimorphisms.
The basic theme of Part Two is the dual to the lifting problems. Let A be a
submodule of a left R-module B; and let : A ! C be a map from A to a
left R-module C: When can a map : B ! C be found that agrees with
on A?
We begin by considering a more general question. For an R-submodule A
of a left R-module B and for a map : A ! C; under which circumstances
can a submodule A0 of B and a map 0 : A0 ! C be found such that A is
properly contained in A0 and 0 agrees with on A? The simplest result is
stated in the following observation.
Observation 1: If A and B are submodules of a left R-module D
and if : A ! C and : B ! C are maps which agree on A \ B;
then they have a common enlargement : A + B ! C:
93
94 Chapter 6. Enlarging homomorphisms
Veri cation: Let C be a left R-module and let B=K be a factor module
of a left R-module B in Inj(C). Any submodule of B=K is of the form
Chapter 6. Enlarging homomorphisms 95
Part Two of this book focuses on those left R-modules C for which every
left R-module lies in Inj(C):
De nition: A left R-module C is injective if for each submodule A of
a left R-module B and each map : A ! C; there is a map :B !C
which restricts to on A:
The decision as to whether a given left R-module C is or is not injective is
generally made by using the following result, known as Baer's Criterion.
Observation 3: A left R-module C is injective if and only if for
each left ideal I of R and each map : I ! C there is a map
: R ! C which restricts to on I:
Baer's Criterion can be used to show that speci c modules are injective: for
example, that Q is an injective left Z-module. It can also be used to establish
properties of the class of all injective modules. To illustrate this use of Baer's
Criterion, we will show the closure of the class of injective modules under direct
summands.
Observation 4: Each direct summand of an injective left R-module
is injective.
Baer's Criterion states that a left R-module C is injective if and only if, for
every left ideal I of R; the homomorphism of abelian groups HomR (R; C) !
HomR (I; C) which sends a map to (where : I ! R is the
inclusion map) is an epimorphism. We can try and dualize this result and ask
a similar question for projective modules. If P is a left R-module satisfying
the condition that for every left ideal I of R the homomorphism of ablelian
groups HomR (P; R) ! HomR (P; R=I) which sends the map to
(where : R ! R=I is the natural map) is an epimorphism, is P necessarily
projective? If we consider the special case R = Z and recall that the projective
left Z-modules are free since Z is a principal ideal domain, this becomes a long-
standing famous problem, known as Whitehead's Problem, the solution to which
turns out to be very surprising. If P is countable, then K: Stein showed that our
question has an af rmative answer. However, if P is uncountable, then Shelah
[103] proved that the problem is undecidable! That is to say, both the statement
“if P is uncountable and HomZ (P; Z) ! HomZ (P:Z=(n)) is an epimor-
phism for all integers n then P is free” and its negation are consistent with
the usual axioms of set theory (namely the Zermelo-Fraenkel axioms, together
with the Continuum Hypothesis). Thus we can adjoin a solution to Whitehead's
Problem – either af rmative or negative as we wish – to our axioms for set theory
without obtaining a contradiction, a most unexpected state of affairs.
Chapter 6. Enlarging homomorphisms 97
EXERCISES
3. Generators
In deriving Baer's Criterion, the left R-module R was used as a generator
module in the sense of the following de nition.
De nition: A left R-module A is a generator if every left R-module is an
epimorphic image of a coproduct of copies of A:
The module R is not the only generator we could have chosen. For ex-
ample, it should be immediately obvious that every free left R-module is also
a generator. More generally, we have the following result, the veri cation of
which we leave as an exercise.
Observation 1: A left R-module A is a generator if and only if
98 Chapter 6. Enlarging homomorphisms
tr(A) = R:
We may use this concept to restate Baer's Criterion in a slightly stronger
form: a left R-module C is injective if and only if Inj(C) contains a generator.
The concept of a generator has been used widely in recent years in several
advanced brances of algebra. It may be interesting to locate this concept and
some of its uses in [7], [54], and [70]. The generators that are most widely
used are also projective. They are sometimes referred to by the contracted form
progenerator. For each ring R; any free left R-module is a progenerator.
EXERCISES
Several weaker versions of this result can be found in the literature, some of
which are presented in the exercises. See [9], [104] or [111] to get a avor of
such results.
Needless to say, this criterion is very dependent on the fact that the ring R
has a multiplicative identity element. The consequences of Baer's Criterion for
modules over a ring not having a multiplicative identity have been studied in [28].
Chapter 7. Embedding modules in
injective modules
1. Introduction
It is one of the fortunate basic facts of module theory that for each ring R;
every left R-module can be embedded in an injective module. Baer's Criterion
indicates how we should begin the embedding process. If A is a left R-module
which is not injective, then there is a left ideal L of R and a map : L ! A
that cannot be enlarged to a map from R to A: It is an easy matter to embed A
in a larger module B so that can be enlarged to a map from R to B: This
embedding process, though simple, is the most fundamental construction in this
chapter, and is described rather formally.
Observation 1: For a left R-module A; a left ideal L of R; and a
map : L ! A; the graph gr( ) of the map is a submodule
of R q A: The function : A ! (R q A)=gr( ) de ned by
: a 7! (0; a) + gr( ) is an R-monomorphism. The function
: R ! (R q A)=gr( ) de ned by : r 7! (r; 0) + gr( ) is a
map that enlarges the composite :
Veri cation: There is little here that needs comment. The maps discussed
satisfy the condition that and go from L to (R q A)=gr( ); where
: L ! R is the inclusion map. The last assertion of the observation is
that these maps are equal, which we see as follows: if x 2 L then x =
(x; 0) + gr( ) = (x; 0) (x; x ) = (0; x ) + gr( ) = x :
101
102 Chapter 7. Embedding modules in injective modules
Veri cation: We will only comment on the third assertion, since the rst
two follow from the de nitions of G and gr( ): For a xed element of
H; we can construct, by the method de ned in Section 1, a left R-module B
containing A which is isomorphic to im( ): By Observation 1 of Section 1,
can be enlarged to a map 0 : R ! B and therefore can be enlarged to
a map : R ! (F q A)=G:
EXERCISES
Exercise 4: Let R be a principal ideal domain. Show that the class of all
injective left R-modules has the following closure properties:
(a) Direct summands of injective left R-modules are injective.
(b) The direct product of any family of injective left R-modules is injective.
(c) Factor modules of injective left R-modules are injective.
(d) The coproduct of any family of injective left R-modules is injective.
(e) If A is a left R-module that is the union of a nest of injective submodules,
then it is injective.
As an example of the value of this observation, we will use it to prove the dual
of the Corollary to Observation 3 of Section 6.2. This result will be a convenient
tool in Section 8.3.
Observation 2: A left R-module P is projective if and only if, for
each injective left R-module A and each submodule A0 of A; every
map : P ! A=A0 can be lifted through the natural map of A to
A=A0 :
4. Injective hulls
We have seen how an arbitrary left R-module A can be embedded in an injective
left R-module C: We made little effort toward economy in this embedding
process; that is, the C produced by our construction process will often be
far larger than necessary, even for some modules over noetherian rings. We
will show that there is a most economical choice for the injective module C
containing A and that this choice is, in a fairly strong sense, unique. This
economic choice will be described by means of the following concept, which
will be a valuable tool throughout our study of injective modules.
De nition: A submodule A of a left R-module B is large in B if
A \ A0 6= (0) for any nonzero submodule A0 of B: If A is a large submodule
of B , we say that B is an essential extension of A:
There is a standard way of building large submodules of a given module,
106 Chapter 7. Embedding modules in injective modules
Must there always be at least one submodule of C that satis es this con-
dition?
Observation 6: If A is a submodule of a left R-module B then
there exists a submodule B 0 of B that is maximal among all those
submodules of B that contain A as a large submodule.
The degree of uniqueness of the injective hull of a module was already im-
plicity in Observation 2, and is spelled out in the following observation.
Observation 8: If C and C 0 are injective hulls of a left R-module
A; then the identity map on A can be enlarged to an isomorphism
between C and C 0 :
EXERCISES
5. Divisible modules
For certain rings it seems natural to approach injectivity from a point of view
that is more element-oriented as opposed to the general map-oriented viewpoint.
This approach will lead us to the attempt to divide elements of a left R-module
by elements of R: An element a of a left R-module A is divisible by an
element r of R if there is an element a0 of A for which a = ra0 : There is a
very blunt limitation on divisibility that is most conveniently described in terms
of the following concept, widely used in ring theory.
De nition: The annihilator ann(a) of an element a of a left R-module
A is the subset fr 2 R j ra = 0g of R:
Observation 1: If an element a of a left R-module A is divisible
by an element r of R then ann(r) ann(a):
For any arbitrary ring R; the divisibility of a module need not imply injec-
tivity, as can be seen from Exercise 8. There is, however, a signi cant class of
rings for which divisibility is equivalent to injectivity.
Observation 3: If R is a ring having the property that every left
ideal is cyclic, then a left R-module A is injective if and only if it is
divisible.
Observation 3 is another one of the key results in this book in which the
112 Chapter 7. Embedding modules in injective modules
Axiom of Choice is fundamental. In fact, Blass [10] has shown that the state-
ment “every divisible Z-module is injective” is equivalent, in the presence of the
Zermelo-Fraenkel axioms of set theory, to the Axiom of Choice.
Some common examples of rings for which every left ideal is cyclic are
semisimple rings, principle ideal domains, and proper quotient rings of principal
ideal domains, such as Z=(n) for any integer n > 1:
We will restrict our attention, for the duration of this section, to modules
over a principal ideal domain R: Since R has no proper zero divisors, the
restriction placed on division by the annihilator inclusion is vacuous; it merely
prevents division of a nonzero module element by the zero element of R: In
the study of the structure of injective modules in Chapter 9, one of the critical
topics will be the determination of injective hulls of certain cyclic modules. In
the present circumstances, we have a rather convenient way of describing some
of these injective hulls. First note that, by Observation 7 of Section 4, we see
that a uniform divisible R-module must be an injective hull of each of its nonzero
submodules. Let K be the eld of fractions of the principal ideal domain R:
Then K is certainly a divisible R-module, and it is also uniform since for any
two nonzero elements x = r1 =r2 and y = r3 =r4 of K; the cyclic modules Rx
and Ry both contain the nonzero element r1 r3 : Thus K is an injective hull
of R: As a particular case of this, we note that the ring Q of rational numbers
is an injective hull of the Z-module Z:
For each prime element p of a principal ideal domain R we can construct
an additional uniform injective R-module. (In Chapter 9 we will nd that we
have here constructed, up to isomorphism, every uniform injective R-module.)
Notice that for each positive integer n; the cyclic left R-module R=Rpn+1
contains a cyclic submodule isomorphic to R=Rpn : Speci cally, fp + Rpn+1 g
generates such a submodule. This observation allows us to construct a nest of R-
modules, in the following manner. Let A1 = R=Rp: There exists an R-module
A2 isomorphic to R=Rp2 containing A1 : Similarly, there eixsts an R-module
A3 isomorphic to R=Rp3 containing A2 : By continuing in this manner, we
produce a complete nest A1 A2 : : : of R-modules with Ai = R=Rpi for
each positive integer i: Let A be the union of this nest of R-modules. We will
show that A is both divisible and uniform.
Let a be a nonzero element of A and let n be the least positive integer
for which a is in An : For any nonzero element r of R; we have r = pk q
for a nonnegative integer k and for an element q of R relatively prime to
p: By construction, there exists an element y of An+k satisfying a = pk y:
Moreover, if m = n + k; then pm y = 0: Since p and q are relatively prime,
there exist elements u and v in R satisfying 1 = upm + vq: Therefore
Chapter 7. Embedding modules in injective modules 113
EXERCISES
Exercise 1: Decide if, for an arbitrary ring R; the class of divisible left
R-modules is closed under taking submodules and factor modules.
Exercise 2: Let Z=(n) be the ring of integers modulo n; and regard it as a
module over itself in the usual way.
(a) If n is a power of a prime, show that Z=(n) is divisible and therefore
injective as a Z=(n)-module.
(b) Show that Z=(n) is divisible (and therefore injective) even when n is not
a power of a prime.
Exercise 3: Let R be a principal ideal domain and let I be a nonzero ideal
of R: Regard the ring R=I as a module over itself in the usual way. Show that
it is divisible and therefore injective as an (R=I)-module.
Exercise 4: Let p be a prime element of a principal ideal domain R:
(a) Show that the cyclic submodule of R(p1 ) generated by an element a of
R(p1 ) is the least member of the nest de ning R(p1 ) that contains a:
(b) Show that the submodule of R(p1 ) generated by a nite set of elements of
R(p1 ) is cyclic.
(c) Use (a) and (b) to verify Observation 4.
Exercise 5: Let R be a principal ideal domain and let F be the eld of
fractions of R: For a prime p of R; let F (p) = fr=pn j r 2 R and n
a nonnegative integerg. Observe that F (p) is an R-submodule of F which
contains R: For any nonnegative integer n; the inclusions R F (p) F
yield R=Rp n
F (p)=Rp : Show that F (p)=Rp is an injective hull of
n n
(a) Verify that, for each n; the group C(pn ) is a subgroup of the multiplicative
group of complex numbers having absolute value 1:
(b) Verify that C(p [) is cyclic of order p and that C(p) C(p ) : : : .
n n 2
(c) Let C(p1 ) = C(pn ): Show that C(p1 ) is an injective hull of C(pn )
n>0
for each n: (Here we are regarding C(p1 ) and its subgroups as Z-modules,
even though the notation is multiplicative rather than additive.)
Exercise 7: \ If U is a nonempty subset of a left R-module A then we de ne
ann(U ) to be ann(a): Suppose that R is a ring which is injective as a
a2U
left module over itself and suppose that I and H are left ideals of R: Show
that ann(I \ H) = ann(I) + ann(H):
Exercise 8: Let R = Z[X] be the ring of polynomials over Z and let K
be its eld of fractions. Show that K=R is a divisible left R-module which is
not injective.
Exercise 9: Consider the eld R of real numbers as a left Z-module. Is it
divisible? Is the left Z-module R=Z divisible?
Exercise 10: Let A be a left R-module and let B = fa 2 A j ann(a) is
a large left ideal of Rg: Show that B is a submodule of A:
Exercise 11: Let R be a left noetherian ring and let H = fr 2 R j ann(r)
is a large left ideal of Rg: Show that for every sequence h1 ; h2 ; : : : of elements
of H there exists a positive integer n such that hn hn 1 : : : h1 = 0:
(categories) other than those discussed here, and are equally important there. In
the category of normal topological spaces, Tietze's Theorem states that the closed
interval [0; 1] is injective; See [61]. In the category of Banach spaces, the fact
that the space of real numbers is injective is known as the Hahn-Banach Theorem;
refer to [97].
Chapter 8. Injective modules as a class
2. Cogenerators
We have the proper tools to construct, for each ring R; modules that have the
properties that are dual to those of generators. Recall that in Chapter 6 we
de ned a left R-module A to be a generator if and only if every left R-module
is an epimorphic image of a coproduct of copies of A:
De nition: A left R-module C is a cogenerator if every left R-module is
isomorphic to a submodule of a direct product of copies of C:
One consequence of this is immediate. A left R-module containing a cogen-
erator as a submodule is itself a cogenerator. As for generators, one always has
117
118 Chapter 8. Injective modules as a class
EXERCISES
L is projective we need only show that can be lifted through the natural map
: A ! A=A0 : Since A=A0 is injective, we know that has an enlargement
: R ! A=A : Since R is projective, there exists a map 0 : R ! A
0
4. Noetherian rings
For which rings is the class of injective left R-modules closed under taking
coproducts? Not all rings. For example, let F be a eld and let R be a
direct product of countably-many copies of F: For each positive integer i; let
ri be the element of R de ned by
1 if i = j
ri : j 7! :
0 otherwise
a1
Then Rri is an injective left R-module for each i; but Rri is not
i=1
injective. The answer to our question will take us back to the class of left
noetherian rings, discussed in Section 7.2
122 Chapter 8. Injective modules as a class
Veri cation: Let R have the property mentioned in the observation, and
let A be a submodule of a nitely-generated left R-module B: We will verify
the observation by assuming that A is not nitely generated and producing a
contradiction. Indeed, if A is not nitely generated, elements a1 ; a2 ; : : : can
be chosen in succession from A so that
Ra1 Ra1 + Ra2 :::
is a strictly ascending nest of submodules [1 of A: For each positive integer h;
Ph
let Ah = i=1 Rai ; and let A = 0
Ah : For each x 2 A0 ; there is an
h=1
n such
a1that x 2 Ai for all i n: Thus we can de ne a map from A0
to A0 =Ai by x : i 7! x + Ai : As a consequence of Observation 1 of
i=1
Section 2, we note that for each i there is a nonzero map i from A0 =Ai to a
left R-module Ci which isa the injective hulla
of a simple left R-module. These
1 1
maps then de ne a map : 0
A =Ai ! Ci : By the hypothesis of the
a1 i=1 i=1
observation, Ci is injective and can be enlarged to a map from B
a1 i=1 a1
to Ci : For each positive integer h; let h be the projection of Ci
i=1 i=1
onto Ch : Then we have two contradictory statements concerning im( ): since
B is nitely generated, B h = (0) for all but nitely-many indices h; on
the other hand, for each h we have B h A0 h 6= (0): This veri es the
observation.
Chapter 8. Injective modules as a class 123
In particular, a ring R has the property that the coproduct of every countable
family of injective left R-modules is injective if and only if it is left noetherian.
We also note that the injective modules over a left noetherian ring have another
simple closure property.
Observation 4: If R is a left noetherian ring and if C is a left
R-module which is the union of a nest fCi j i 2 g of injective
submodules, then C is injective.
The observation that the closure of the class of injectives under coproducts (or
unions) of nests necessitates the ring being left noetherian is due to Hyman Bass
and Zoltan Papp, working independently. The remaining closure properties can
be found in [15].
Chapter 9. Structure of injective
modules
1. Introduction
We have come to the climax of Part Two. Three tools will be fundamental for
our structural investigations: (1) the concept of a uniform module introduced in
Chapter 1, (2) our knowledge of injective hulls, and (3) some special features of
modules over left noetherian rings. A reasonably good insight into the structure
of uniform injective modules can be developed. For arbitrary injective modules,
the structure will only be clari ed when the ring is left noetherian.
Twice before we have seen that left noetherian rings behave especially well
in relation to injectivity. The construction of injective hulls is apparently easier
when the ring is left noetherian. For left noetherian rings R, the class of
injective left R-modules is closed under taking coproducts. This closure property
and the good behavior to be exhibited in Section 5 with respect to uniformity are
the keys to the determination of the structure of the injective modules over left
noetherian rings.
We will give no structural results for arbitrary injective left R-modules over
rings which are not left noetherian. The device that we consistently use for
analyzing the structure of modules is the method of direct sum decomposition.
A few moments of consideration will suggest that a penetrating analysis of the
structure of injective modules by this means could be expected only for rings
for which the injective modules are closed under coproducts. As we have seen,
these rings are precisely the left noetherian rings. To determine the structure of
injectives over more general rings, other methods will be needed.
127
128 Chapter 9. Structure of injective modules
The observation suggests a program for cataloging the uniform injective left
R-modules. The rst step should be to catalog the uniform cyclic left R-
modules. Since each cyclic left R-module is isomorphic to a factor R=L for
some left ideal L of R; this step merely requires determining which left ideals
of R produce uniform factor modules. The second step should be to determine
when two uniform left R-modules R=L and R=L0 have isomorphic injective
hulls. We begin by answering the following question: for which left ideals L of
R is the left R-module R=L uniform?
De nition: A left ideal L of a ring R is meet-irreducible if it is not the
intersection of any two left ideals of R properly containing it.
Observation 2: For a left ideal L of R; the left R-module R=L
is uniform if and only if L is meet-irreducible.
section.
EXERCISES
Exercise 1: Show that every simple left R-module is injective if and only if
every left ideal of R is the intersection of maximal left ideals.
Exercise 2: If R is a ring satisfying the equivalent conditions in Exercise
1, show that no proper cyclic left ideal of R is isomorphic to R:
Exercise 3: If R is a commutative ring, show that every simple left R-
module is injective if and only if every nitely-generated ideal of R is of the
form Re for some idempotent element e of R:
Before going on, we need to mention two facts about sets. The rst of these
is rather obvious: if is an in nite set and if, to each element i of ; we
associate a nite set i such [ that not all of these sets are empty, then there is
an injective function from i to : The second act is more subtle: if
i2
and are nonempty sets and if there exist injective functions ! and
! then there is, in fact, a one-to-one correspondence between and :
This result is known as the Schroeder-Bernstein Theorem and is proven in most
introductory textbooks on set theory. An analog of this theorem for injective
modules, due to Bumby [12], is given in Exercises 1 and 2.
Observation 2: Let E be a semiuniform injective left R-module
and let fAi j i 2 g and fBj j j 2 g be families of uniform
submodules of E satisfying the condition that
M M
E= Ai = Bj :
i2 j2
satisfying
" #
M
E = Ai1 Bj :
j1 6=j2
Again, if j2 is an element of 0
r fj1 g then there exists an element i2 of
0
r fi1 g satisfying
" #
M
E = Ai2 Bj :
j1 ;j2 6=j2
We can continue in this manner. If the set 0 is nite, then we will obtain
a corresponding nite subset of 0 and so show that 0 has at least as man
elements as 0 : We can also reverse the roles of 0 and 0 in the above
argument and so conclude that whenever at least one of the sets 0 and 0 is
nite, then both of them are nite and have the same number of elements, so that
the desired one-to-one and onto function exists.
Now assume that both of the sets 0 and 0 are in nite. Choose an element
i of 0 and, for each element j of ; let j be the restriction of the projection
E ! Bj to Ai : Let i be the subset of consisting of all those elements
j for which j is an isomorphism. Clearly i 0
for each i: On the
other hand, by Observation 1,[we see that each element of 0 belongs to i for
some i 2 0 and so 0 = i : Any nonzero element a of Ai can be
Pt i2 0
written in the form a = h=1 bjh for some elements j1 ; : : : ; jt of : Then
a 2 ker( j ) for any element j of not among these elements. This shows
that the set i is nite for each i 2 0 : But the set 0 us assumed to be
in nite, and so, by the remark before this observation, there exists a one-to-one
function from 0 to 0 : A similar argument, with the roles of 0
and 0
reversed, shows that there exists a one-to-one function from 0 to 0 : By the
Schroeder-Bernstein Theorem, we now conclude that there is a one-to-one and
onto function from 0 to 0 :
Chapter 9. Structure of injective modules 133
EXERCISES
In the next section, we will see that every injective module over a principal
ideal domain R is a direct sum of these uniform injective modules.
We have seen that when R is a principal ideal domain, each nontrivial meet-
irreducible ideal L is equivalent (under ) to precisely one ideal of the form
Rp; where p is prime.
EXERCISES
Veri cation: Assume that there exists a proper left ideal L of R such
that A = R=L contains no nonzero uniform submodule. Since A itself is
not uniform, there exist nonzero submodules A1 and B1 of A such that
A1 B1 A: Since B1 is not uniform, there exist nonzero submodules A2
and B2 of B1 such that A2 B2 B1 : Continuing inM this manner, we have
1
Ai+1 Bi+1 Bi for each positive integer i: Then Ai A; and
i=1
this direct sum is K=L for M some left ideal K of R containing L: Since the
1
(strictly in nite) direct sum Ai cannot be nitely generated, neither can
i=1
the left ideal K of L; contradicting the hypothesis that R is left noetherian.
Chapter 9. Structure of injective modules 135
Before going on to the major result of this section, we need one more tech-
nical observation, the veri cation of which will be left as an exercise. Compare
this result to Observation 2 of Section 8.2.
Observation
M4: Let A be a left R-module containing a submodule
of the form Ci : For each i 2 ; let Di be a submodule of A
i2 P
containing Ci as a large submodule. Then the sum i2 Di is also
direct.
We are now ready for our major result, the characterization of left noetherian
rings R in terms of the structure of injective left R-modules. You should
note that this fascinating and rather surprising result is composed of two unequal
parts: the statement that if R is left noetherian then every injective left R-
module is semiuniform, which is an easy consequence of the module-theoretic
observations we have made so far in this section, and the converse statement
that this property in fact characterizes left noetherian rings, which is much more
dif cult. In actual practice, the rst (easy) part is the most important and useful
of the two. Anybody working with modules over left noetherian rings uses it
again and again. The second part serves mainly as a warning that once you
136 Chapter 9. Structure of injective modules
venture away from left noetherian rings, you cannot take this valuable tool with
you.
Theorem 3: A ring R is left noetherian if and only if every injective left
R-module is semiuniform.
Proof: Let R be left noetherian and let A be an injective left R-module.
Let U be a maximal uniformly-independent subset of A: For each u 2 U;
let Au be an injective hull of Ru contained in A: Since each Au contains
the uniform left R-module Ru as M a large submodule, each Au is also uniform.
From the directness of the sum Ru we infer the directness of the sum
M u2U
Au by Observation 4. From the maximality of U and Observation 3,
u2U M M
we conclude that Ru is large in A: Therefore Au is certainly
u2U u2U
also large in A and, since R is left noetherian,
M it is also injective. Thus it must
coincide with A and so we have A = Au ; where each Au is uniform.
u2U
Now assume that every injective left R-module is semiuniform. Consider a
set fAi j i 2 g of nonisomorphic simple left R-modules such that any simple
left R-module is isomorphicato one of them. For each i in ; select an injective
hull Di of Ai : Let D = Di and let G be a coproduct of a countably-
i2
in nite number of copies of D: If fCh j h =a 1; 2; : : :g is a countable set
1
of injective hulls of simple left R-modules, then Ch is isomorphic to a
h=1
direct
a1 summand of G; and so if G is injective then so is any such coproduct
Ch : Using Observation 3 of Section 8.4, we conclude that the injectivity
h=1
of G implies the left noetherianness of R: Thus we want to show that G is
injective.
M
Let E be an injective hull of G: By assumption, E = Ej ; where
j2
each Ej is a uniform injective submodule of E: For each i 2 ; let (i) =
fj 2 j Ej = Di g: If n is a positive integer then, by repeated application
of Observation 1 of Section 3, we see that there exist elementsMj1 ; : : : ; jn of
n
such that the coproduct of n copies of Di is isomorphic to Ejh : This
[ h=1
implies that the set (i) is in nite for each i 2 : Set 0 = (i): Then
Mi2
G is isomorphic to a direct summand of the direct summand 0
Ej of E;
j2
and so is indeed injective.
EXERCISES
For left noetherian rings, this observation extends to a structure theorem for
arbitrary projective injective modules.
Theorem 4: If R is a left noetherian ring then the projective injec-
tive left R-modules are, up to isomorphism, precisely the coproducts
of indecomposable injective principal left R-modules.
semisimple ring is both projective and injective. It is not very dif cult to verify
that proper factor rings of principal ideal domains are always quasi-Frobenius.
One of the stimuli to the development of the theory of quasi-Frobenius rings has
been the following fact, which we will not prove: if the characteristic of a eld
F is a prime that divides the order of a nite group G; then the group ring
F [G] is not semisimple but is quasi-Frobenius.
In order to derive the structure of the projective (= injective) modules over
quasi-Frobenius rings from Theorem 4, we need only two simple observations.
Observation 3: Every quasi-Frobenius ring is left noetherian.
arbitrary principal ideal domain modulo the ideal generated by a nonzero power
of a prime element.
Exercise 2: Let R be a quasi-Frobenius ring.
(a) Show that every left R-module is isomorphic to a submodule of a projective
(free) left R-module.
(b) Show that every left R-module is isomorphic to a factor module of an injec-
tive left R-module.
Exercise 3: Verify the following assertions concerning a ring R :
(a) Each left R-module is isomorphic to a submodule of a projective (free) R-
module if and only if each injective left R-module is projective.
(b) Each left R-module is isomorphic to a factor module of an injective left
R-module if and only if each projective (free) left R-module is injective.
Exercise 4: Show that if a ring is both left hereditary and quasi-Frobenius,
then it must be semisimple.
Example 5: A left R-module is continuous if and only if the following two
conditions are satis ed:
1. Any submodule of A is a large submodule of some direct summand of A;
2. Any submodule of A which is isomorphic to a direct summand of A is
itself a direct summand of A:
Show that a ring R is quasi-Frobenius if and only if every projective left R-
module is continuous.
Notes on Chapter 9
Chapter 9 as a whole is based for the most part on the work of Matlis [74]. At-
tention was drawn to the class of modules that are simultaneously projective and
injective by Jans [55]. Our unusual de nition of quasi-Frobenius rings can be
connected to the traditional de nition of Nakayama [79] by means of the results
in [24] and [29]. Also see [60]. Note that we do not say “left quasi-Frobenius
rings”. Although the de nition if a quasi-Frobenius ring R is in terms of left
R-modules, these rings turn out to be precisely the same rings satisfying the
corresponding de nition for ring R-modules.
Observation 2 of Section 3 is a special case of a more general result known as
the Krull-Remak-Schmidt-Azumaya Theorem, which does not deal with injective
modules but rather with modules isomorphic to a coproduct of modules having
local endomorphism rings. For proofs of this more general result, see [102], on
which the approach here is based, or [2].
From [24] and [29], we can show that the following seven assertions are
142 Chapter 9. Structure of injective modules
143
Chapter 10. Finitely-generated
modules
1. Introduction
We will begin our considerations of nitely-generated modules by asking the
following question. For any arbitrary ring R; what closure properties does
the class of nitely-generated left R-modules have? Any factor module of a
nitely-generated left R-module must be nitely generated. Consequently, the
class of nitely-generated left R-modules is closed under taking factor modules
and direct summands. The coproduct of a family of nonzero nitely-generated
left R-modules will be nitely-generated if and only if the family is nite. In
Chapter 11, countably-in nite coproducts of nitely-generated modules will be
examined and used. Rings differ with regard to the property of submodules of
nitely-generated modules being necessarily nitely generated.
Observation 1: A ring R has the property that each submodule
of a nitely-generated left R-module is nitely generated if and only if
R is left noetherian.
145
146 Chapter 10. Finitely-generated modules
EXERCISES
Since principal ideal domains are surely noetherian, the previous section has
provided us with the following tools to be used in our discussion: A can contain
no submodule that is a direct sum of an in nite family of nonzero submodules
and, in particular, every independent subset of A is nite. According to the
following argument, it will be suf cient to show that each such A has a direct
summand of one of the speci ed types. If we assume that every nonzero nitely-
generated R-module contains a direct summand of the desired sort, then we can
decompose successively, with nonzero summands Ci of the desired type, to
produce
A = C1 B1 = C1 C2 B2 = C1 C2 C3 B3 = : : : .
This process must terminate in an equality A = C1 : : : CnM for some positive
1
integer n since otherwise A would contain a submodule Ci ; where
i=1
each Ci is nonzero. Thus, we proceed to show that A has a nonzero summand
isomorphic either to R or to R=Rpn for suitable p and n:
Let U = fa1 ; : : : ; ak g be a maximal uniformly-independent subset of A:
For each 1 i k; let Rai ! Ei be an embedding of the cyclic submodule
Rai of A into an injective hull. The R-monomorphism
M
k a
k
Rai ! Ei
i=1 i=1
ak ak
may be enlarged to a map :A! Ei since Ei is injective.
i=1 i=1
Since R is left noetherian and since U is a maximal uniformly-indepndent
Mk
subset of A; we know that Rai is large in A: But
i=1
" #
M
k
ker( ) \ Rai = (0)
i=1
integer n; as desired.
n (if we look at the rst decomposition) and m (if we look at the second
decomposition), we see that n = m and h(i) = 1 = k(i) for all n0 < i n:
1. Introduction
What are the closure properties ot the class of countably-generated left R-modules?
Since a homomorphic image of a countably-generated left R-module must be
countably-generated, the class of countably-generated left R-modules is closed
under taking factor modules and direct summands. The coproduct of a family
of nonzero countably-generated left R-modules will be countably generated if
and only if the family is at most countably-in nite. Direct sums of arbitrary
families of countably-generated left R-modules will be studied in Chapter 12,
and the results applied in Chapter 13. Rings differ with regard to the property of
submodules of countably-generated left R-modules being necessarily countably
generated.
Observation 1: A ring R has the property that each submodule
of a countably-generated left R-module is countably generated if and
only if each left ideal of R is countably generated.
Since we will not be using this observation, we will leave its veri cation
as an exercise. Probably the simplest countably-generated left R-modules are
coproducts of countable families of nitely-generated left R-modules. We will
study these modules in the next section.
EXERCISES
151
152 Chapter 11. Countably-generated modules
Veri cation: The veri cation of this observation is similar to that of Obser-
vation 1, with some slight changes. We make the decomposition A = A1 C1
as before. The decomposition A = A1 A2 C2 will be arrived at as follows:
Let a2 = x + y; with x 2 A1 and y 2 C1 : Now choose A2 to be a nitely-
generated direct summand of C1 containing y: Letting C1 = A2 C2 ; we
will have A = A1 A2 C M2 and a1 ; a2 2 A1 A2 : Continuing in this fashion
1
will yield, as before, A = Ai :
i=1
In the next section, we will use this observation in the process of determining
the countably-generated projective left R-modules over one more class of rings.
3. Semihereditary rings
In Chapter 4 we introduced the broadest class of rings for which we could reduce
the structure problem for submodules of free modules to the study of left ideals.
This was the class of left hereditary rings. The left hereditary rings belong to
a larger class for which the structure problem of arbitrary submodules of free
modules has not been reduced to the study of left ideals, but for which the
structure problem for nitely-generated submodules of free modules has been
so reduced. This larger class is de ned as follows.
De nition: A ring R is left semihereditary if each nitely-generated left
ideal is projective.
154 Chapter 11. Countably-generated modules
This theorem has ve corollaries. The rst four are immediate and the
fth uses Observation 1 of Section 4.4. The second and third corollaries are
characterizations of left semihereditary rings.
Corollary 1: If R is a left semihereditary ring then a nitely-
generated projective left R-module is isomorphic to a direct sum of
nitely-generated left ideals of R:
You are now prepared for the main result of this chapter, the theorem that
justi es the introduction of semihereditary rings.
Theorem 7: If R is a left semihereditary ring then each countably-
generated projective left R-module is isomorphic to a direct sum of
nitely-generated left ideals of R:
Perhaps the most transparent examples of semihereditary rings that are not
hereditary are found among the rings of sets that constitute the subject of the
next section. In order to study them, we need to make an additional observation
on semihereditary rings, the veri cation of which will be left as an exercise.
Observation 1: If R is a ring having the property that every cyclic
left ideal is a direct summand, then R is semihereditary. Moreover,
156 Chapter 11. Countably-generated modules
EXERCISES
Exercise 1: Let A be a left R-module having the property that each of its
cyclic submodules is a direct summand.
(a) Show that if A = B C and a = b + c for elements a 2 A; b 2 B; and
c 2 C; then A = B Rc D for some submodule D of C:
(b) Show that each nitely-generated submodule of A is a direct summand of
A:
(c) Show that each countably-generated submodule of A is a direct sum of
cyclic summands of A:
Exercise 2: Verify Observation 1.
Exercise 3: Show that a ring which is both left semihereditary and quasi-
Frobenius is semisimple.
4. Rings of sets
Let U be an arbitrary set and let P (U ) be the power set of U: That is, P (U )
is the set of all subsets of U: It is easy to verify that P (U ) is a commutative
ring, when we de ne addition and multiplication by
W +Y = (W [ Y ) r (W \ Y ) and
W Y = W \Y
for all W; Y 2 P (U ): The identity element of P (U ) with respect to multipli-
cation is U itself. Each ideal L of P (U ) is closed not only under addition
and multiplication, but also under union, since W [ Y = W + Y + W Y: The
object of this section is to show that the ring P (U ) is always semihereditary but
not always hereditary. That P (U ) is always semihereditary is a consequence
of the following observation, which contains extra information as well.
Observation 1: Each nitely-generated ideal of P (U ) is a cyclic
direct summand of P (U ):
From this observation and from Theorem 7, we can arrive at a very clear
description of the countably-generated projective modules over a ring of the form
P (U ):
Observation 2: Each countably-generated projective P (U )-module
is semiprincipal, and each principal P (U )-module is of the form P (W )
for some subset W of U:
Boolean rings are, in turn, a subclass of the class of rings regular in the sense
of Von Neumann, where a ring R is regular in the sense of Von Neumann if for
each element r 2 R there exists an element r0 2 R satisfying rr0 r = r:
Observation 6: Rings which are regular in the sense of Von Neu-
mann are semihereditary.
EXERCISES
(b) Let A be the set of all ideals of R containing R(1 r) but not containing
r: Let M be a maximal nest in A; and let K = [M: Show that K is a
maximal ideal of R that does not contain r:
Exercise 10: Let R be a boolean ring.
(a) Use Exercise 9 to observe that each nonzero element of R lies outside at
least one maximal ideal of R:
(b) Let r and s be distinct elements of R and let I be a maximal ideal of
R that does not belong to r + s: Show that precisely one element of fr; sg
belongs to I:
(c) Let U be the set of all maximal ideals of R: Let ' be the function from
R to P (U ) de ned by ' : a 7! fI 2 U j a 2 = Ig for all a 2 R: Show that
' de nes an isomorphism of the ring R with a subring of P (U ):
Exercise 11: Prove that every prime ideal of a boolean ring is maximal.
Exercise 12: Show that a ring which is both regular in the sense of Von
Neumann and left noetherian is semisimple.
Exercise 13: Let R be a ring.
(a) Show that R is regular in the sense of Von Neumann if and only if every
cyclic left ideal of R is a direct summand.
(b) Show that R is regular in the sense of Von Neumann if and only if every
nitely-generated left ideal of R is a direct summand.
(c) If R is regular in the sense of Von Neumann, show that any factor ring of
R is also regular in the sense of Von Neumann.
1. Introduction
In his study of the structure of projective modules, Kaplansky [57] found that
every projective left R-module must be the direct sum of countably-generated
submodules. He obtained this fundamental result as a corollary to a theorem
that is the subject of the present chapter: the class of coproducts of countably-
generated left R-modules is closed under taking direct summands. The present
chapter is an exposition of Kaplansky's proof of this closure property, and the
next chapter consists of structural consequences for projective modules that are
derived through the use of this closure property.
If we wish, we may regard Kaplansky's closure theorem as a structure the-
orem in its own right – that is, as a structure theorem for direct summands of
coproducts of countably-generated modules. However, since we will not develop
any further structural insight into arbitrary coproducts of countably-generated
modules, the fundamental role played by the closure theorem in our study is that
of a very powerful lemma for the investigation of projective modules.
2. Kaplansky's Theorem
The purpose of this section is to prove that a direct summand of a coproduct of
countably-generated left R-modules is again a coproduct of countably-generated
left R-modules. We begin with the following setting: Let R be an arbitrary
ring, and let C be a left R-module M for which we have two direct-sum decom-
positions: C = A B and C = Ci ; where each submodule Ci of
i2
C is countably generated. We ask what the second decomposition can tell us
about A: The approach we take to this question will lead us to consider nests of
subsets of : We can describe the construction of these nests most clearly after
introducing (purely for expository purposes) the concept of an ordinal embed-
ding. The next paragraph is a description of this concept. Following the notion
of Section 11.4, the set of all subsets of will be denoted by P ( ):
161
162 Chapter 12. Coproducts of countably-generated modules
We will use the fact that an ordinal number may be identi ed with the set of
all ordinal numbers that precede it. By an embedding of an ordinal k in P ( );
we mean a function f from k to P ( ) that is one-to-one and preserves
all unions (or at least upper bounds) that exist in k: This requirement that f
preserve unions can be intepreted very easily by describing the effect of this re-
quirement on the nature of the image im(f ) of f: The indexed family of subsets
im(f ) = ff (h) j 0 h < kg is a nest for which [ f (h) is a proper subset of
f (h ) whenever h < h and for which f (h ) =
0 0 0
0
f (h) whenever h0 is a
h<h
limit ordinal preceding k: Each ordinal
M embedding f : k ! P ( ) determines
a nest of direct summands Ch = Cj of C (0 h < k ) that will be
j2f (h)
fundamental to our discussion. To prevent ambiguity in the meaning of Ch ; we
assume that the index set contains no ordinal numbers. We will be concerned
not with arbitrary ordinal embeddings, but only with those that are appropriate
for the work to be done with respect to the speci ed decomposition of C: We
say that an ordinal embedding f : k ! P ( ) is appropriate if three conditions
are satis ed:
1. 1 k and f (0) = ?;
2. Ch = [A \ Ch ] [B \ Ch ] for all 0 h < k; and
3. f (h + 1) r f (h) is countable for all 0 h < h + 1 < k:
Notice that when we work with appropriate ordinal embeddings, we have
numerous summand relationships. For 0 h < k; the left R-module A \ Ch
is a direct summand of Ch and therefore also of C and of A: If h + 1 < k
then A \ Ch is also a direct summand of A \ Ch+1 : This multiplicity of
summand relationships is at the heart of the “appropriateness” of our specially-
selected ordinal embeddings. Speci cally, we make the following observation.
Observation 1: If f : k M
+ 1 ! P ( ) is an appropriate ordinal
embedding, then A \ Ch = Dh ; where each Dh is chosen so
h<k
that A \ Ch+1 = [A \ Ch ] Dh :
M
Veri cation: The sum Dh is direct since any violation of directness
h<k
would violate the directness of the decomposition
M A \ Ch+1 = [A \ Ch ] Dh
for some 0 h < k: The containment Dh A \ Ch is clear from
h<k M
the choices of the Dh : Since C0 = (0); we have A \ C0 Dh : Now
M h<k
suppose that A \ Cj Dh for all j < j 0 k: If j 0 is a limit ordinal,
h<k
Chapter 12. Coproducts of countably-generated modules 163
Veri cation: Assertion (1) follows from the following sequence of isomor-
phisms:
M
Cj = Ch+1 =Ch
j2f (h+1)rf (h)
The preceding four observations will suggest how to approach the problem
of proving the following theorem.
Theorem 8 (Kaplansky's Theorem): For any ring R; each direct
summand of each coproduct of countably-generated left R-modules is
itself a direct sum of countably-generated submodules.
1. Introduction
The two previous chapters have left us in a pleasant position. We can draw
some substantial conclusions about the structure of projective left R-modules
with virtually no effort. Since a projective left R-module is a direct summand
of a free left R-module and a free left R-module is certainly a coproduct of
countably-generated left R-modules (even cyclic left R-modules), Theorem 8
yields the following result.
Theorem 9: For any ring R; every projective left R-module is a
direct sum of countably-generated submodules.
Does it seem likely that a theorem on the structure of modules over left
semihereditary rings will give us new insight into the internal features of left
hereditary rings? The following corollaries are immediate consequences of
Theorem 7. Other consequences are indicated in the exercises.
Corollary 1: Each left ideal of a left hereditary ring R is a direct
sum of nitely-generated left ideals.
Corollary 2: A hereditary integral domain is noetherian.
We can make use of Theorem 9 to get an even stronger result for modules
which are both projective and injective. First, however, we need to make an
additional observation.
167
168 Chapter 13. Projective modules
Proof: By Theorem 9, it suf ces to prove the assertion for the case that A is
countably-generated. Observation 2 of Section 11.2 provides the tool we need.
Let B be an arbitrary direct summand of A and let b be an element of B:
We need only show that b is contained in a nitely-generated direct summand of
B: Since A is injective, the same is true for B: Consequently, B contains an
injective hull C of Rb: But C is also projective since it is a direct summand
of A: From Observation 1, it follows that C is nitely-generated. Thus C is
the desired nitely-generated direct summand of B containing b:
(a) Verify that the set E of all entire functions forms a commutative ring with
respect to addition and multiplication de ned by
2. Local rings
In a division ring, the zero element is the only element that is noninvertible, that
is, does not have a two-sided multiplicative inverse. Thus, in a very trivial way,
a division ring has the property that its set of noninvertible elements elements is
a two-sided ideal. A number of other rings have this property. For each prime
integer p and each positive integer n; the noninvertible elements of the ring
Z=Zpn constitute the principal ideal generated by the coset p+Zpn : For the ring
consisting of those rational numbers that are expressible with odd denominators,
the noninvertible elements constitute the principal ideal generated by 2:
The name “local” originates with one of most important examples of a local
ring, coming from analysis. Let J be an open interval on the real line containing
0 and let R be the ring of all continuous functions from J to R; with addition
and multiplication being de ned elementwise: (f + g) : x 7! f (x) + g(x)
and f g : x 7! f (x)g(x): De ne an equivalence relation on R by saying
that f g if there is some open subinterval J 0 of J (possibly very small)
containing 0 such that f (x) = g(x) for all x 2 J 0 : Denote the equivalence
class of a function f by f and let the set of all such equivalence classes be
denoted by R: Then we can turn R into a ring by de ning addition and
multiplication as expected: f + g = f + g and f g = f g This ring is a local
ring, called the ring of germs of real-valued continuous functions at 0: Indeed,
to see that this ring is local, we note that f is invertible if and only if f (0) 6= 0:
Indeed, if this condition is satis ed, then, by continuity, there is an open interval
1
around 0 on which the function x 7! f (x) is de ned, and this function can be
enlarged to a function g 2 R giving rise to a germ g such that f g is the
germ of the constant function x 7! 1 (which is the multiplicative identity of
R). Therefore the sum of two noninvertible elements of R (namely germs of
170 Chapter 13. Projective modules
We may think of a local ring R as a close relative of this division ring R=L:
For an arbitrary left R-module A; it may be appropriate to regard A as a
similarly-close relative of the associated left (R=L)-module A=LA: That this
intuition is appropriate for projective modules is shown by the following theorem
of Kaplansky.
Theorem 11: Each projective left R-module over a local ring R is
free.
X
n X
n X
n
x= ri b i = ri ci + ri di :
i=1 i=1 i=1
Since
Pn fx; c1 ; : : : ; cn g and since fd1 ; : : : ; dn g
P: P Q; we in fact have
n
i=1 r i di = 0 and so x = i=1 r i c i : Now let F 0
be the submodule of P
generated by fc1 ; : : : ; cn g: Then we have x 2 F 0 P and, to complete the
proof, it will suf ce to verify that fc1 ; : : : ; cn ; bn+1 ; bn+2 ; : : :g is a basis of F:
First we must lay out an important tool. The choice of the basis U gives us a
condition on the coef cients ri ; namely that no ri is a right linear combination
of the remaining coef cients. To justify this assertion, it is enough Pn to1 consider the
notationally most-convenient case, rn : Suppose that rn = i=1 ri ti ; where
the ti are elements of R: Then
!
X
n 1 X
n 1 X
n 1
x= ri b i + ri ti bn = ri (bi + ti bn )
i=1 i=1 i=1
U 0 = fb1 + t1 bn ; : : : ; bn 1 + tn 1 bn ; bn ; bn+1 ; : : :g
X
n
ci = rij bj + di ;
j=1
for which rij is invertible if and only if i = j and each di is in the submodule
of F generated by fbn+1 ; bn+2 ; : : :g; then fc1 ; : : : ; cn ; bn+1 ; bn+2 ; : : :g is
also a basis of F: This will be proven by induction on n: Assume that the
corresponding assertion in which n is replaced by n 1 is true. Since rnn
is invertible, it is mentally veri able that fb1 ; : : : ; bn 1 ; cn ; bn+1 ; bn+2 ; : : :g is a
basis for
P F: (This also veri es the assertion for n = 1:) Moreover, the equation
cn = nj=1 rnj bj + dn can be solved for bn and the result substituted in the
preceding equations, to produce a system
X
n 1
ci = sij bj + ei (1 i n 1)
j=1
is invertible in R.
(c) Show that R[[X]] is local if and only if R is local.
Exercise 2: Let R be a division ring.
(a) Show that all projective left R[[X]]-modules must be free.
(b) Show that submodules of free left R[[X]]-modules are necessarily free.
Exercise 3: Let R be a division ring and let X and Y be indeterminates
over R: Let R[[X; Y ]] denote the ring (R[[X]]) [[Y ]]; that is, the ring of formal
power series in the indeterminate Y with coef cients in the ring R[[X]]:
(a) Show that projective left R[[X; Y ]]-modules must be free.
(b) Show that any two bases of a free left R[[X; Y ]]-module must have the same
cardinality.
(c) Show that the left ideal of R[[X; Y ]] generated by fX; Y g is not projective.
Exercise P 4: In Exercise 1, we denote the elements of R[[X]] by formal
1
expressions
P1 i=0 ai X : Now let us look at all formal expressions of the form
i
i= 1 ai X : Addition of such expressions can be deP ned as before, but the de-
i
nition of multiplication breaks down, since the sum j+k=i aj bk may involve
an in nite number of nonzero summands P1 and therefore may fail to be de ned.
Let R hXi consist of those elements i= 1 ai X for which the there exists
i
will nd the interesting result that each ideal of a Dedekind domain can actually
be generated by two or fewer elements.
Part 4: RINGS AND MODULES OF
QUOTIENTS
177
Chapter 14. Torsion and torsionfree
modules
1. Introduction
One of the fundamental constructions of commutative ring theory is that of the
classical ring of quotions at a multiplicatively-closed subset of the ring. Speci -
cally, if R is a commutative ring and S is a nonempty multiplicatively-closed
subset of R r f0g; then one can construct the ring S 1 R by the following
sequence of steps:
1. De ne an equivalence relation on the set R S by setting
(r; s) (r0 ; s0 ) if and only if there exists an element s00 of S such that
s00 (s0 r sr0 ) = 0: Denote the equivalence class of the pair (r; s) by r=s;
and denote the set of all such equivalence classes by S 1 R:
2. De ne addition and multiplication on S 1 R as follows: if r=s and r0 =s0
are elements of S 1 R; then
s00 (s0 a sa0 ) = 0: Denote the equivalence class of the pair (a; s) by a=s;
and denote the set of all such equivalence classes by S 1 A:
2. De ne addition and scalar multiplication on S 1 A as follows: if a=s and
a0 =s0 are elements of S 1 A then
If r=s is an element of S 1
R and if a0 =s0 is an element of S 1
A, then
179
180 Chapter 14. Torsion and torsionfree modules
de ne
(r=s) (a0 =s0 ) = ra0 =ss0 :
EXERCISES
It is easily seen, using this observation, that any two injective cogenerators
are equivalent.
Our basic tool for the construction of rings and modules of quotients will
be classes of injective modules in the above sense. Surprisingly, there are not
that many such equivalence classes: as we shall verify later (see Exercise 10 of
Section 14.4), the family of equivalence classes of injective left R-modules is in
one-to-one correspondence with a set, and therefore has cardinality. We would
like to say that it is a set, but strictly speaking, that is not the case. A set cannot
have elements which are proper classes. However, this result implies that there
is no harm in informally considering it a set.
The following observation is important, in that it shows that each equivalence
class of injective left R-modules contains at least one member of a very special
type, which we will need later.
Observation 2: Any injective left R-module is equivalent to a left
R-module which is cyclic when considered as a right module over its
endomorphism ring.
3. Torsionfree modules
If E is an injective left R-module; then a left R-module A is E -torsionfree if
and only if it is isomorphic to a submodule of an injective left R-module equiv-
alent to E: In other words, A is E -torsionfree if and only if it is embeddable
in a direct product of copies of E:
Observation 1: If E is an injective left R-module, then the class
of E -torsionfree left R-modules is closed under taking submodules,
184 Chapter 14. Torsion and torsionfree modules
Veri cation: The rst part of the observation is immediate. Now consider
a nonempty class F of left R-modules closed under taking submodules, direct
products, isomorphic copies, and injective hulls, and let fRbi j i 2 g be a set
of nonisomorphic cyclic left R-modules having the property that every cyclic left
R-module in F is isomorphic to one Y of them. For each i 2 ; let Ei be an
injective hull of Rmi : Then E = Ei is an injective left R-module that is
i2
a member of F: Therefore any E -torsionfree left R-module, being embeddable
in a direct product of copies of E; is also a member of F:
Conversely, if A is a member of F which has an injective hull C; then C
is also a member of F: For each element c of C; there is a direct summand
Dc of C which is an injective hull of\ Rc: Let c be the projection of C onto
Dc in this decomposition. Clearly ker( c ) = (0) and so we have an
Y c2C
R-monomorphism from C to Dc de ned by x : c 7! x c for all
c2C
x 2 C: This direct product is, in turn, embeddable in a direct product of copies
of E: Therefore C (and hence A) is E -torsionfree.
4. Torsion modules
Given an injective left R-module E , a left R-module A is E -torsion if and
only if there are no nonzero homomorphisms from A to E: By Observation
1 of Section 2, we see that a left R-module A is E -torsion if and only if it is
E 0 -torsion for any injective left R-module equivalent to E:
Observation 1: If E is an injective left R-module, then the class
of E -torsion left R-modules is closed under taking submodules, ho-
momorphic images, coproducts, and extensions. Moreover, if T is
a nonempty class of left R-modules closed under taking submodules,
homomorphic images, coproducts, and extensions then there exists an
186 Chapter 14. Torsion and torsionfree modules
Veri cation: The closure of the class of E -torsion left R-modules under
taking submodules from the injectivity of E : any nonzero homomorphism from
a submodule of a left R-module A to E can be enlarged to a nonzero homo-
morphism from A to E: The closure of this class under taking homomorphic
images, coproducts, and extensions is immediate. Now consider a nonempty
class T of left R-modules closed under taking submodules, homomorphic im-
ages, coproducts, and extensions. Let B be the class of all left R-modules B
satisfying the condition that there is no nonzero map from any member of T to
an injective hull of B: Let fRdi j i 2 g be a set of nonisomorphic cyclic
left R-modules in B such that every cyclic left R-module in B is isomorphic
to oneY of them. For each i in ; let Ei be an injective hull of Rdi and let
E= Ei : Then E is injective and, by construction, every left R-module
i2
in T is E -torsion. We are left to show that every E -torsion left R-module
belongs to T :
Let B be an E -torsion left R-module and let U = fb 2 B j Rb belongs to
T g: This set is nonempty since 0 2 U: Moreover, if Ba 0
is the submodule of B
generated by U; then B is a homomorphic image of
0
Rb and so, by the
b2U
closure conditions on T ; also belongs to T : We are done if we can show that
B 0 = B: Assume that this is not the case. If x 2 B r B 0 and if [Rx + B 0 ]=B 0
belongs to T then, by the closure of T under extensions, we conclude that
Rx + B 0 belongs to T ; contradicting the choice of B 0 : Therefore no nonzero
submodule of B=B 0 belongs to T : Let C be an injective hull of B=B 0 : Since
B=B 0 is large in C; it follows that no nonzero submodule of C can belong
to T : Since T is closed under taking homomorphic images, this implies that
there is no nonzero map from any member of T to C: Thus, B=B 0 belongs
to B: But this implies that there are no nonzero maps from B to C; which is
impossible unless B = B 0 : Thus B belongs to T :
Notice that we don't really need all submodules B 0 of B such that B=B 0
is E -torsion in Observation 6. A slight modi cation of the proof of Baer's
Criterion, which we leave as an exercise, will show that all that is necessary is
to be able to enlarge all maps from L to A; where L is any left ideal of R
satisfying the condition that R=L is E -torsion.
EXERCISES
Exercise
Y 1: Let fEi j i 2 g be a family of injective left R-modules and
let E = Ei : Show that a left R-module is E -torsion if and only if it is
i2
Ei -torsion for all i 2 :
Exercise 2: Let I be a prime ideal of a commutative ring R and let E
be an injective hull of R=I: Show that a left R-module A is E -torsion if and
only if for each element a of A there exists an element r of R r I satisfying
ra = 0:
Exercise 3: Let R be an arbitrary ring. Show that there exists an injective
left R-module E satisfying the condition that a left R-module A is E -torsion
if and only if every factor module of A is projective.
Exercise 4: Let R be a left noetherian ring. Show that there exists an
injective left R-module E satisfying the condition that a left R-module A is
E -torsion if and only if every factor module of an injective hull of A is injective.
Exercise 5: Let E be a left R-module satisfying the condition that every
nonzero E -torsionfree left R-module has a nonzero projective submodule. Show
that the class of E -torsion left R-modules is closed under taking injective hulls.
Exercise 6: Verify Observation 5.
190 Chapter 14. Torsion and torsionfree modules
1. Introduction
In this chapter, we move from the notions of modules torsion and torsionfree with
respect to an equivalence class of injective left R-modules to the construction of
modules of quotients at such an equivalence class. The construction is done in
two stages: beginning with a left R-module A; we rst move via the natural
map to a torsionfree factor module of A; then we embed this factor module
in a certain submodule of its injective hull. What is surprising, and de nitely
not clear at this stage, is that such a construction is, to use a term from category
theory, “functiorial”. Not only can we assign to each left R-module a module of
quotients but also we can assign to each map between left R-modules a unique
map between their modules of quotients, and these maps behave in a nice manner.
The module of quotients thus constructed is hard to envision. It is a submod-
ule of an injective hull and, since for the latter we have only an existence proof
but not, in general, an explicit method of construction, we do not know what it
looks like. In Section 4, however, we will show that the module of quotients can
always be considered as a submodule of a very speci c (though still extremely
large) module of homomorphisms. This will be important in Chapter 16 for the
representation of the ring of quotients in a speci c form.
191
192 Chapter 15. The module of quotients
left R-module A:
1. In Observations 3 and 4 of Section 14.4, we have seen that there is a unique
maximal E -torsion submodule TE (A) of A: Then TE (A) is E -torsion
and A=TE (A) is E -torsionfree. For the purposes of this construction, we
will denote the module A=TE (A) by A(1) :
2. Choose an injective hull C of A(1) and consider the factor module
A(2) = C=A(1) :
3. Now set QE (A)=A(1) = TE (A(2) ):
The module QE (A) which we have thus de ned is the module of quotients of
A at the equivalence class of E:
Again, let us emphasize that QE (A) depends not on E but only on the
equivalence class of E: Also, the only choice we had in the above construction
was the choice of the injective hull C: Since injective hulls of modules are
unique up to isomorphism, this means that QE (A) is de ned uniquely up to
isomorphism. We also note that the above construction also provides us with a
map E (A) : A ! QE (A) which is formed by the composition of the natural
map A ! A(1) and the inclusion map of A(1) into QE (A):
We now want to make a series of observations concerning some striking
properties of the module QE (A) which we have constructed. The rst of
these is an immediate consequence of the construction of QE (A):
Observation 1: If E is an injective left R-module and if A is an
arbitrary left R-module then:
(1) ker( E (A)) is E -torsion.
(2) QE (A)=im( E (A)) is E -torsion
(3) QE (A) is E -torsionfree.
(4) If C is an injective hull of QE (A), then C=QE (A) is E -
torsionfree.
The next observation shows that the properties listed in Observation 1 essen-
tiall characterize the module of quotients.
Observation 3: Let E be an injective left R-module and let A be
an arbitrary left R-module. If : A ! B is a map of left R-modules
satisfying the following conditions:
(1) ker( ) is E -torsion;
(2) B=im( ) is E -torsion;
(3) B is E -torsionfree; and
(4) D=B is E -torsionfree whenever D is an injective hull of B
then there exists an isomorphism : B ! QE (A) satisfying E (A) =
:
Veri cation: The closure of the class of all P -torsion left R-modules under
taking submodules, homomorphic images, and direct products is an immediate
consequence of the de nition. Now suppose that B is a submodule of a left
R-module A satisfying the condition that both B and A=B are P -torsion.
We are done if we can show that A is P -torsion. If a is an element of B
then we know that ra = 0 for all r 2 tr(P ): If a 2 P A r B and r 2 tr(P )
then, by Observation 3 of Section 5.2, we see that rP = ni=1 si ti ; where the si
n
and ti are elements of tr(P ): Therefore ra = i=1 si ti a: Since A=B is
P -torsion, we see that ti a + B = ti (a + B) = 0 + B for all 1 i n; and
so ti a 2 B for all 1 i n: Therefore si (ti a) = 0 for all 1 i n;
proving that ra = 0: Thus A is also P -torsion.
Veri cation: Let B = HomR (tr(P ); A=TP (A)): We note that the left
R-module R=tr(P ) is P -torsion and so, by Observation 2 of Section 15.2, any
map 2 B can be enlarged to a unique map form R to QP (A): The
function from B to QP (A) which sends a map to 1 can be easily
veri ed to be a map of left R-modules, which is well-de ned by the uniqueness
of : If 1 1 = 1 2 for elements 1 and 2 of B; then 1 2 induces a
map from R=tr(P ) to A=TP (A); which must be the zero-map since R=tr(P )
is P -torsion and A=TP (A) is P -torsionfree. Therefore 1 = 2 and we have
shown that the function is one-to-one. If x 2 Qp (A); then x determines a
map : R ! Qp (A) de ned by : r 7! rx: Let
: Qp (A) ! Qp (A)= [A=TP (A)]
be the natural map. Then im( ) is P -torsion, and thus so is R=ker( ):
This implies that tr(P ) [R=ker( )] = (0) and so tr(P ) ker( ): If is
the restriction of to tr(P ); we see that 2 B and, by uniqueness, = :
Therefore x = 1 = 1 ; showing tha the map is an R-epimorphism and
hence an isomorphism.
EXERCISES
'1 : (Remember that these functions are written as acting on the left, since we
are talking about right S -modules!) Since '1 is an S -epimorphism, 1 is an
R-monomorphism because '1 can be the zero map only when is. Similarly,
'2 induces a homomorphism of left R-modules
2 : HomS (Y1 ; E) ! HomS (Y2 ; E):
Since im('2 ) = ker('1 ); it is not dif cult to check that ker( 2 ) = im( 1 ):
The free right S -modules Y1 and Y2 are isomorphic to coproducts of copies
of S and so, by using the right-left inversion of Observation 2 of Section 0.6, we
see that HomS (Y1 ; N ) and HomS (Y2 ; N ) are isomorpic to direct products of
copies of E: In summary, what we have shown is the following:
1. BE (A) = HomS (N; E) is isomorphic to a submodule C of a direct
product D of copies of E.
2. D=C is also isomorphic to a submodule of a direct product D0 of copies
of E:
The rst of these conclusions simply says that HomS (N; E) is E -torsionfree.
Since D is injective, it contains a submodule C 0 containing C which is an
injective hull of C: Therefore C 0 =C is isomorphic to a submodule of D0 and
hence is E -torsionfree. By Observation 6 of Section 14.4, this means that if B 0
is a submodule of a left R-module B satisfying the condition that B=B 0 is
E -torsion, then any map from B 0 to BE (A) can be enlarged to a map from
B to BE (A): If 1 and 2 are two such enlargements, then 1 2 induces
a map from B=B 0 to BE (A); which must be the zero map since B=B 0 is
E -torsion and BE (A) is E -torsionfree. Therefore such enlargements are in
fact unique.
Since ker( E (A)) = TE (A) = ker( E (A)); we see that E (A) induces
an R-monomorphism from A=TE (A) to QE (A) with image A0 such that
QE (A)=A0 is E -torsion. Also, the map E (A) induces an R-monomorphism
from A=TE (A) to BE (A) which, by the above, can be uniquely enlarged
to a map "E (A) from QE (A) to BE (A): Moreover, "E (A) is an R-
monomorphism since A0 is large in QE (A): By construction, E (A)"E (A) =
E (A):
EXERCISES
1. Introduction
We are almost nished. Having shown how to construct the module of quotients
QE (A) for any left R-module A at the equivalence class of an injective left R-
module E: we are left only to show that QE (R) is in fact a ring and that QE (A)
is, in a natural way, a left QE (R)-module for every left R-module A: We do
this by a trick: namely we show that QE (R) is isomorphic, as a left R-module,
to its own endomorphism ring RE : Finally, we use the representation theory of
the quotient module developed in Section 15.4 to give a characterization of this
ring, namely we show that any injective left R-module E is equivalent to an
injective left R-module E 0 having endomorphism ring S such that RE is
isomorphic, as a ring, to HomS (E 0 ; E 0 ):
2. Rings of quotients
If E is an injective left R-module then, for any left R-module A; we have
already seen how to construct the module of quotients QE (A) at the equivalence
class of E: In particular, we can do this for the ring R; considered as a left
module over itself. Then HomR (QE (R); QE (R)) is a ring, which we will call
the ring of quotients of R at the equivalence class of E: We will denote this
ring simply by RE :
Many examples of rings of quotients have been studied in the literature. One
of the most natural is the ring RE ; where E is an injective hull of R; consid-
ered as a left R-module. this ring is called the maximal ring of quotients of R
and was rst studied by Johnson [56] and Utumi [109].
Observation 1: For any injective left R-module E; the ring RE
has the structure of a left R-module isomorphic to QE (R):
201
202 Chapter 16. Rings of quotients
all y 2 E and so is the zero map. Also, we know that the right S -modules
E and HomR (R; E) are isomorphic and so T is isomorphic, as a left R-
module, to HomS (HomR (R; E); E) = BE (R): Thus we see that BE (R)
is isomorphic to a submodule of E: By Observation 2 of Section 15.4, we see
that QE (R) is isomorphic to a submodule of E and that, by Observation 3 of
Section 15.4, we must have an isomorphism between QE (R) and T: Therefore
RE and T are isomorphic as left R-modules. We leave it as an exercise to show
that they are isomorphic as rings.
We now recall two very important points:
1. All of our constructions do not depend on the particular injective module
chosen, but only on the equivalence class of this module; and
2. By Observation 2 of Section 14.2, every injective left R-module is equivalent
to an injective left R-module which is cyclic as a right module over its
endomorphism ring.
Putting all of these pieces together, we conclude with the following characteriza-
tion of quotient rings.
Theorem 12: If E is an injective left R-module then there exists
an injective left R-module E 0 equivalent to E such that RE is
isomorphic to the biendomorphism ring of E 0 :
205
206 References
[17] P. M. Cohn, Some remarks on the invariant basis property, Topology 5 (1966),
215–228.
[18] —, Free Rings and their Relations (2nd ed.), Academic Press, London, 1985.
[19] C. W. Curtis & I. Reiner, Representation Theory of Finite Groups and
Associative Algebras, Wiley-Interscience, New York, 1962.
[20] J. Dauns, A Concrete Approach to Division Rings, Heldermann-Verlag, Berlin,
1982.
[21] S. Dickson, A torsion theory for abelian categories, Transactions of the
American Mathematical Society 121 (1966), 223–235.
[22] B. Eckmann & O. Schopf, Über injektiv Moduln, Archiv der Mathematik 4
(1953), 75–78.
[23] C. Everett, Jr., Vector spaces over rings, Bulletin of the American Mathematical
Society 48 (1942), 312–316.
[24] C. Faith, Rings with ascending chain condition on annihilators, Nagoya
Mathematical Journal 27 (1966), 179–191.
[25] —, Lectures on Injective Modules and Quotient Rings, Lecture Notes in
Mathematics #49, Springer-Verlag, Berlin, 1967.
[26] —, Algebra: Rings, Modules and Categories I, Springer-Verlag, Berlin, 1972.
[27] —, Algebra: Rings, Modules and Categories II, Springer-Verlag, Berlin, 1976.
[28] — & Y. Utumi, Baer modules, Archiv der Mathematik 15 (1964), 266–270.
[29] — & E. Walker, Direct-sum representations of injective modules, Journal of
Algebra 5 (1967), 203–221.
[30] W. Feit, The Representation Theory of Finite Groups, North Holland,
Amsterdam, 1982.
[31] L. Fuchs: In nite Abelian Groups, vol. I: Academic Press, New York, 1970.
[32] —, In nite Abelian Groups, vol. II: Academic Press, New York, 1973.
[33] P. Gabriel, Des catégories abéliennes, Bulletin de la Société Mathématique de
France 90 (1962), 323–448.
[34] J. S. Golan, Localization of Noncommutative Rings, Marcel Dekker, New York,
1976
[35] —, Torsion Theories, Longman Scienti c and Technical, Harlow, 1986.
[36] —, Studies in Modern Algebra (rev. ed.), University of Haifa Press, Haifa, Israel,
1992 [in Hebrew]
[37] —, The Linear Algebra a Beginning Graduate Student Ought to Know, Kluwer,
Dordrecht, 2004.
References 207
[38] K. R. Goodearl, Ring Theory: Nonsingular Rings and Modules, Marcel Dekker,
New York, 1976.
[39] —, Von Neumann Regular Rings, Pitman, London, 1979.
[40] M. Gray, A Radical Approach to Algebra. Addison-Wesley, Reading, Mass.,
1970
[41] P. R. Halmos, Naive Set Theory, Van Nostrand, New York, 1960.
[42] B. Hartley & T. O. Hawkes, Rings, Modules, and Linear Algebra, Chapman and
Hall, London, 1970
[43] T. Head, Modules: A Primer of Structure Theorems, Brooks/Cole, Monterey,
1974.
[44] O. Helmer, Divisibility properties of integral functions, Duke Mathematical
Journal 6 (1940), 345–356.
[45] I. N. Herstein, Topics in Algebra, Blaisdell, Waltham, Mass., 1964.
[46] P. Hill, On the decomposition of certain in nite nilpotent groups, Mathematische
Zeitschrifte 113 (1970), 237–248.
[47] P. Hilton, Lectures in Homological Algebra, Regional Conference Series in
Mathematics #8, American Mathematical Society, Providence, 1971.
[48] — & Y.-C. Wu, A Course in Modern Algebra, Wiley-Interscience, New York,
1974.
[49] W. Hodges, Krull implies Zorn, Journal of the London Mathematical Society (2)
19 (1979), 285–287.
[50] S. T. Hu, Elements of Modern Algebra, Holden-Day, San Francisco, 1965.
[51] —, Introduction to Homological Algebra, Holden-Day, San Francisco, 1968.
[52] J. Irwin & F. Richman, Direct sums of countable groups and related concepts,
Journal of Algebra 2 (1965), 443–450.
[53] N. Jacobson, Basic Algebra I, Freeman, San Francisco, 1974.
[54] —, Basic Algebra II, Freeman, San Francisco, 1980.
[55] J. P. Jans, Projective injective modules, Paci c Journal of Mathematics 9 (1959),
1103–1108.
[56] R. E. Johnson, The extended centralizer of a ring over a module, Proceedings of
the American Mathematical Society 2 (1951), 891–895.
[57] I. Kaplansky, Projective modules, Annals of Mathematics 68 (1958), 372–377.
[58] —, In nite Abelian Groups (2nd ed.), University of Michigan Press, Ann Arbor,
1969.
[59] —, Commutative Rings (rev. ed.), University of Chicago Press, Chicago, 1974.
208 References
[103] S. Shelah, In nite abelian groups, Whitehead problem, and some constructions,
Israel Journal of Mathematics 18 (1974), 243–256.
[104] P. F. Smith, Injective modules and prime ideals, Communications in Algebra 9
(1981), 989–999.
[105] M. H. Stone, The theory of representations of Boolean algebras, Transactions of
the American Mathematical Society 40 (1936), 37–111.
[106] H. Storrer, Rings of quotients of perfect rings, Mathematische Zeitschrift 122
(1971), 151–165.
[107] H. Tachikawa, Quasi-Frobenius Rings and Generalizations, QF-3 and QF-1
Rings, Lecture Notes in Mathematics #351, Springer-Verlag, Berlin, 1973.
[108] C.-T. Tsai, Report on Injective Modules, Queen's Papers in Pure and Applied
Mathematics #6, Queen's University, Kingston, Ontario, 1965.
[109] Y. Utumi, On quotient rings, Osaka Journal of Mathematics 8 (1956), 1–18.
[110] P. Vámos, The dual of the notion of “ nitely generated”, Journal of the London
Mathematical Society 43 (1968), 643–646.
[111] —, Ideals and modules testing injectivity, Communications in Algebra 11
(1983), 2495–2505.
[112] C. P. Walker, Relative homological algebra and abelian groups, Illinois Journal
of Mathematics 10 (1966), 186–209.
[113] R. Ware, Endomorphism rings of projective modules, Transactions of the
American Mathematical Society 155 (1971), 233–256.
[114] D. J. A. Welsh, Matroid Theory, Academic Press, London, 1976.
[115] S. Wiegand, Galois theory of essential extensions of modules, Canadian Journal
of Mathematics 24 (1972), 573–579.
[116] R. Wisbauer, Foundations of module and ring theory, Gordon and Breach,
Philadelphia, 1991.
[117] W. J. Wong, Finitely generated modules over principal ideal domains, American
Mathematical Monthly 69 (1962), 398–400.
[118] O. Zariski & P. Samuel, Commutative Algebra, vol. I, Van Nostrand, New York,
1958.
[119] —. Commutative Algebra, vol. II, Van Nostrand, New York, 1960.
[120] J. Zelmanowitz, Semiprime modules with maximum conditions, Journal of
Algebra 25 (1973), 554–574.