Professional Documents
Culture Documents
(Cambridge Series in Advanced Mathematics 65) A. J. Berrick, M. E. Keating - An Introduction To Rings and Modules With K-Theory in View (2000, Cambridge Un
(Cambridge Series in Advanced Mathematics 65) A. J. Berrick, M. E. Keating - An Introduction To Rings and Modules With K-Theory in View (2000, Cambridge Un
ADVANCED MATHEMATICS 65
EDITORIAL BOARD
W. FULTON, T. TOM DIECK, P. WALTERS
CAMBRIDGE
UNIVERSITY PRESS
P-UBLISHED BY VIE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE
The Pitt Building, Trumpington Street, Cambridge CB2 1RP, United Kingdom
Exercises 72
2.4 SHORT EXACT SEQUENCES 75
2.4.1 The definition 75
2.4.2 Four-term sequences 76
2.4.3 Short exact sequences 76
14.4 Direct sums and splittings 77
2.4.6 Dual numbers 79
2.4.7 The group Ext 80
2.4.8 Pull-backs and push-outs SO
2.4.10 Base change for short exact sequences 82
2.4.11 The direct sum of short exact sequences 83
Exercises -84
2.5 PROJECTIVE MODULES 89
2.5.1 The definition and basic properties 89
2.5.9 Idempotents and projective modules 93
2.5.12 A cautionary example 94
2.5.13 Injective modules 94
Exercises -95
2.6 DIRECT PRODUCTS OF RINGS 97
2.6.1 The definition 98-
2.6.2 Central idempotents 99
2.6.4 Remarks 100-
2.6.5 An illustration 101
2.6.6 Modules 101
2.6.7 Homomorphisms 102
2.6.10 Historical note -104
Exercises 1.05
3 NOETHERIAN RINGS AND POLYNOMIAL RINGS 108
3.1 NOETHERIAN RINGS 108-
3.1.1 The Noetherian condition 109
3.1.5 The ascending chain condition and the maximum_condition 110
3.1.11 Module-finite extensions 11-2..
Exercises 114-
3.2 SKEW POLYNOMIAL RINGS 115
3.2.1 The definition 116
3.2.2 Some endomorphisms 118
3.2.6 The division algorithm 120
3.2.7 Euclidean domains 120-
3.2.11 Euclid's algorithm 122
3.2.12 An example 123
x Contents
This text is an introduction to the theory of rings and modules for a new
graduate student. What gives this book its special flavour is that it is partic-
ularly aimed at someone who intends to move on to study algebraic K-theory-._
This aim influences both the choice of rings and modules that we discuss, and
the manner in which we discuss them.
Starting from a knowledge of undergraduate linear algebra together with
some elementary properties of the integers, polynomials and matrices, we pro-
vide the basic definitions and methods of construction for rings and modules,
and then we develop the structure theory for modules over various kinds of
ring.
These classes of ring reflect the historical roots of algebraic K-theory Inge-
ometry and topology on the one hand, and representation theory and number
theory on the other. Thus the rings that interest us are Noetherian rings, -in
particular skew polynomial rings, Artinian rings, and Dedekind domains.
The text pursues ring and module theory up to the point where the aspiring
K-theorist needs category theory. The necessary category theory is dealt with
in the companion volume [BK: CM], both in the abstract and in relation to.
more advanced topics in the ring and module theory. Our division of the
subject matter in this way means that the present volume can be regarded
simply as an introduction to some fundamental topics in the theory -of rings
and modules.
Here is a more detailed survey of the material in this text.
The first chapter gives the definitions of rings and modules, together with-
some examples and constructions. The second chapter develops the ground,
work of the theory of modules, with a particular emphasis on the basic -ways
of constructing and comparing modules. We see how to combine modules to
make new ones, using direct sums and, more generally, short exact sequences.
The use of short exact sequences to describe the relationships between mod-
3CiV PREFACE
ules lies at the core of algebraic K-theory, and so the notion of a short exact
sequence plays a central role both in this text and in [BK: CM]. Also crucial
to K-theory are the free modules, which are assembled by taking direct sums
of copies of a ring, and the projective modules, which arise when free modules
are in turn split up into direct sums. A projective module over a ring is the
appropriate generalization of a vector space over a field.
Other topics that we look at in some depth in the second chapter are the
representation of homomorphisms between free modules in terms of matrices,
and the use of matrices to relate the different bases of a given free module.
This leads to a discussion cif the circumstances under which a free module has
bases with differing numbers of elements, that is, when the coefficient ring
fails to have invariant basis number.
The primary aim of the remainder of this book is to acquaint the reader with
some important classes of rings and their module theory, with an emphasis
on the description of the projective modules. The prominence of these rings
in this text is in part due to their importance in applications, and in part due
to the fact that their modules are amenable to calculation. Thus, in Chapter
3 we look at skew polynomial rings and, more generally, noncommutative
Euclidean domains. The module theory of such rings is fairly transparent,
and the construction of a skew polynomial ring can be iterated to provide
some interesting examples of K-groups. Next, in Chapter 4, we investigate
the structure of Artinian semisimple rings. These can be characterized by
the property that any module is projective. We classify the finitely generated
projective modules over such rings. We also look at the structure of Artinian
rings in general.
The motivation for our final two chapters is that some of the most interest-
ing results and questions in K-theory originate in number theory. In Chapter
5 we show that a ring of algebraic integers is a Dedekind domain, and we
introduce the ideal class group. The theory is illustrated with some explicit
computations in quadratic fields. Finally, we- show how the projective mod-
ules over a Dedekind domain depend on the ideal class group, and we classify
all the finitely generated modules over a Dedekind domain.
Since this book is an introduction, we have kept a fairly leisurely pace
-throughout. There are nearly two hundred exercises, some of which give brief
introductions to topics that are not covered in the body of the text.
Our approach takes full advantage of the powerful abstract methods that
-were introduced in the early part of the 20th century by Emmy Noether
and her contemporaries. Thus our treatment of the subject matter does not
reflect its historical development. To counterbalance this, we have thrown in
the occasional comment on the origins of definitions and results. Many of our
PREFACE xv
comments are based on information obtained from [Bourbaki 1991], [Dedekind
1996], [Srinivasan & Sally 1983] and [van der Waerden 1980], which the reader
should consult for fuller details.
This text is divided into chapters and sections. Within each section, all
subsections, theorems, propositions, and lemmas are numbered consecutively..
Exercises are to be found at the end of each section and have their own
separate numbering.
The symbol El indicates either the end of a proof or that none is needed.
Once or twice we use the symbol 0 after the statement of a result to indicate
that the result is not a consequence of the arguments of this text; in this
event, a reference is given.
We thank our departments, and Cambridge University Press, for their pa-
tience and encouragement during the lengthy _gestation period of this text
and its companion [BK: CM]. Particular thanks are due to Oliver Pretzel at
Imperial whose advice, provided over a long timespan, enabled us to produce
this text in IATBX. We also thank several referees for their comments on drafts
of this work; we have made some modifications to- take account of their views;
We also thank SERC (Visiting Fellowship GR/D/79586), the London -Math-
ematical Centre, the British Council in Singapore, NUS (Research Grant
RP950645), and the Lee Kong Chian Centre for Mathematical Research for
providing travel and subsistence expenses so that the authors were able to
meet occasionally.
Especially, we thank our families for their tolerance in allowing us to-vanish
from sight for sporadic and inconvenient periods of very variable lengths,
ranging from the odd month to the odd 'five minutes' when something just
had to be finished before supper.
I
!
1
BASICS
1.1 RINGS
In this section, we introduce rings, ideals, residue rings and -homomorp-hisms
of rings, and we discuss the relationships between these objects. We show how
to construct two types of ring: one is a field of fractions, the other, a noncom-
mutative polynomial ring in several variables. Our illustrations and examples
are provided by the ring of integers, and by matrix rings and polynomial rings
(in one variable), which we assume the reader has met before._
In this text we usually prefer to, work with rings that have -an- identity_
element, but we sometimes make an excursion to examine -rings that clona-t,
which we call nonunital rings.
The abstract definition of a ring was first formulated by Fraenkel in-1914
[Kleiner 1996 ] , although the term 'ring' had been introduced --pre_viously by
Hilbert. Before then, the various types of ring that we encounter later —
2 BASICS
polynomial rings, noncommutative algebras, rings of algebraic integers — had
each been considered separately. Perhaps surprisingly, the idea of an ideal is
much older, since it originates in number theory, as we shall see in Chapter 5.
However, the explicit distinction between left and right ideals and the formal
construction of a residue ring modulo a twosided ideal first occur in the work
of Emmy Noether in the 1920s.
under the usual matrix addition and multiplication. Similarly, the. set R[T]
of polynomials f (T) = fo + f i T ... fnTn with AI . , fm E and T
an indeterminate, is a ring under the standard addition and multiplication of
polynomials.
We assume that the reader is familiar with these constructions, at least
when the coefficient ring R is R, C or Z. They are considered in more detail
in sections 2.2 and 3.2.
In everday arithmetic, one takes for granted that products can be computed
in any order, that is, rs = sr always. However, this property does not hold for
many of the rings that we wish to consider in this text, so-we -make a formal
definition that distinguishes the rings that do have this property.
A ring R is commutative if the following condition holds.
(CR) Commutativity:
rs = sr for all r and s in R.
It is well known and easy to verify that the polynomial ring R[T] is- commu-
tative precisely when R is commutative; for n > 1, the matrix ring -M(R) is
not commutative except in the trivial case R = O. Naturally enough, a _ring is
said to be noncommutative if it is not commutative.
rings, so that a 'ring with identity' becomes a special type-of ring. However,
for the purposes of algebraic K-theory our definition is the more convenient_
1.1.3 Subrings
A subring of R is a subset S of R with the Ellowing_properties:
(SR1) 0,1 E S;
(SR2) if r, s E S, then r + s;--r and rs are also in- S.
Clearly, a subring of a- ring is itselfia ring with the same operations of addition
and multiplication:
An important example is the centre Z(R) of -R:
Z(R) = {z E R zr = Tz for all r R}.
Note that Z(R) is commutative. A method -for the computation of the centre
of a matrix ring is indicated in. Exercise 1.1.4.
Sometimes it is more -natural_ to focus attention on the subring S, for in-
stance when the ring R-is constructed from S in some way. We then say that
R is an extension of S.
1.1.4 Ideals
A right ideal of R is a subset a of R which satisfies the following requirements:
(Idl) 0 E a;
(Id2) if a,b E a, then a+bE a and —a E a also;
(Idr3) if a E a and_ r R, then ar E a also.
A left ideal has instead
(Icli3) if a E a and r E R, then ra E a also. #
If a is at the same time a left and a right ideal, we call-it simply an ideal of
R, although we sometimes refer to it as a twosided ideal if-we need to avoid
ambiguity.
The ring R is always an ideal of itself. We say-that the ideal a is proper if
a C R, where we use the symbol c to denote strict inclusion, that is, a C R
and a R. At the other extreme, {o} -is always an ideal, the zero ideal of R,
which we usually denote by O. Of course, 0 C a for any ideal a.
Observe that any left or right ideal a of R is a nonunital ring — one might
call it a sub-nonunital-ring or nonunital subring of R — but that a will not be
a subring of R unless a = R.
1.1 RINGS 5
If a and b are each right ideals of R, then evidently their sum
a+b={a+blaEa, bEb}
is also a _right ideal of R. Similarly, if a and b are both left ideals, then so too
is a + b. Moreover, the procedure can obviously be iterated (by associativity
(A2)) to give the definition of a finite sum of ideals ai + az + • • + an .
1.1.5 Generators .
A convenient method of defining an ideal is to specify a set of generators.
Given a subset {ri I i E of R, where I is some index set, possibly infinite,
we say that ri = 0 for almost all i, or for all except a finite set of indices, if
the set of indices i with ri 0 is finite.
Let X-= i E I} be a subset of R. Then the right ideal a generated by
X is -the set of all expressions
E
'ter
Xiri
where ri = 0 for all exCept a finite set of indices; X is then called a set of
generators for a.
When X = {x1, . x n } is finite, we write
a = siR +•••+ xnR;
if X = {x}, then a-= xR is the principal right ideal generated by x. The left
ideal generated -by X is defined in a similar way.
When R is commutative, we use the notation (xi, , xn ) for the ideal
generated -by {xi, , xn}. Although this notation is the same as that for a
sequence, the context should prevent any confusion.
-Suppose that both a and b are right ideals of R. The product ab is defined
to be the right -ideal generated by all products ab with a E a and b E b. The
product of.a, pair of left ideals or a pair of twosided ideals is defined similarly.
-Suppose that-a is a twodided ideal. If b is a right ideal, then ab is a twosided
ideal; on-the other hand, If b is a left ideal, then ab is a left ideal which need
not be.twosided.
X :Z -R1
given by x(a) = alR, where 1R is-the identity element of R. Since an integer
a need not be amember of the ring R, we should-say- what we mean by al R.
We take OziR = OR and IzIR = IR. Then,lor a > 1-, we--make the inductive
definition al R = (a — 1)1R +1 R , and for a <O we put al R = —(—a)1 R . The
fact that x is a homomorphism- can now be verified 15y an induction argument.
Given a homomorphism f, we associate wlith it its kernel
Ker = {r-E RI fr ="0 }
and its image
Imf =-EsESIs=fr for some-r
Then-Ker f is an ideal in R and Im f is -a subring of S.
An argument familiar from elementary linear algebra shows that f is injec-.
tive precisely when Ker f = 0; it is a _tautology to say-that fis surjective if
and only if Imf = S.
A homomorphism f : R S of rings is an isomorphism if has an inverse,
that is, there is a ring homomorphism g S R such that fg = ids and
g f = idR, where idR is_the identity map on-R and ids is.the identity map on
S. it is not hard to see that f is an isomorphism precisely when it is both
injective and surjective. We then write R S.
Here is :a result, used in [BK: CM], which shows how a homomorphism into
a ring may be used to promote an abelian group to a ring. We give the proof
in some detail as it is our first.
1.1.7 Lemma
Let (S,+) be an additive group,. let T be a ring, and suppose that O: S T
is an injective group homomorphism whose image is a subrirtg of T. Then
1.1 RINGS 7
there is a unique multiplication. on S which makes (S,+,.) a ring and 0 a
ring homomorphism.
Proof
Since 1m 9 is a subring of T, for any 51, 52 in S we have 0(51)0(52) E 1m O.
Because:0 is injective,. we may define
51.52 = V 1 (9(509(52)),
since this element is uniquely determined. So Axiom (Ml) holds. Evidently,
0((51 .52).53) = 0(81-52)9(5 3 ) = (9(.9 1 )0(52))0(8 3)
= 0(-51)-(0(52 )9(53)) = 9(51)0(52.53 ) = 9(51•52.5 3 )),
so that Axiom (M2) holds in S because 0 is injective. Likewise Axiom (D)
holds in S. There remains Axiom (M3). Now 1.7. E 1m O, so let is =
Then again (M3) in S may be deduced from its counterpart in T. Hence
-(S,+,.)- is a ring. By _construction, 0 is a ring homomorphism. If * is another
_ring multiplication making 0 a ring homomorphism, then
0(si * $ 2) = 0(81)0(82) = 9(sys2),
so that, by injectivity again, 81* 82 = 81•82.
-the -narne-, occurs when we take R to be the ring of integers Z and a = nZ for
some n-> 0.
-It is wellknown that the division algorithm holds in Z: any integer a can be
written in the form a = qn + r with 0 < r < n. The integer r is the residue
(or - remainder) and q the quotient. Thus the residue ring Z/ nZ consists of the
residue classes
15, , , n — 1.
We note the following result, which is typical of a class of very useful lemmas
that we often use without comment.
Proof
It must be that 7(i) = fr. Note that 7 is often called the induced homo-
morphism.
1.1.11 Units
An element u of the ring R is said to be a unit of R or an invertible element
of R if
UV = 1 = VU
1.1 RINGS 9
for some y in R. The element v is then the unique inverse of u.
The set of all units in R will be denoted by U(R)• Clearly, U(R) is a group
under multiplication, called the unit group. In particular, U(0) is the trivial
group.
If U(R) = fr ERIr 01, then R is a division ring or skew field; if also
R -is commutative, then R is a field. Familiar examples of fields are Q, R and
C, -and the reader should have no difficulty in verifying that the residue ring
Z/nZ, n> 0, is a field precisely when the integer n is a prime number. It is
also straightforward to show that if the ring R is a field or division ring, then
it must have characteristic either 0 or a prime. An example of a division ring
is given in Exercise 2.2.3 below.
One particular type of unit group plays a fundamental role in K-theory. For
any ring R and natural number n, the unit group U(114 (R)) of the matrix ring
Mn (R) is called the general linear group of degree n, and is written OLT, (R).
The terms integral domain and entire ring are sometimes used instead.
Suppose
:in- which every nonzero element r of 0 has an inverse 1/r, and further any
element -of IC can be written in the form rls for r, s E O. Naturally enough,
IC is called the fietd of fractions of O. The technique is exactly the same as
that used to manufacture the rational numbers Q from the ring of integers Z.
Let E = O \{0} be the set of nonzero elements in O. We introduce a relation
on the set-of pairs (a, s) E 0 x E by stipulating that (a, s) (a', s') if and
only if there are elements u and u' in E with au = du' and su = s'u'. It is
_easy to verify that this relation is an equivalence relation.
The -fraction a Is is defined to be the equivalence class of (a, s) under this
—relation and K is the set of equivalence classes; thus als=ails' if and only if
ax = a'x' and = s'x' E E for some x and x' in E.
We define addition by
where
h(1),... ,h(2) E { 1 1 ... lc}
and
n(1), . . , n(2) > 1.
if and only if
= m, and n(i) = p(i) and MO = g(i) for all i.
Exercises
1.1.1 Let S be the centre of the ring R. Show that the centre of the poly-
nomial ring R[7] is Sri.
1.1.-2 Let R be any ring. Prove that Mn (R) and R[7] have the same char-
acteristic as R.
Suppose that there is a ring homomorphism from R to S. Show
that the characteristic of S divides that of R.
1.1.3 S impie rings
A ring S is said to be simple if it has no (twosided) ideals except 0
and S itself.
(i) Show that a commutative ring R is simple if and only if R is a
field.
(ii) Let R be a nontrivial ring which has no left or right ideals except
0 and R. Show that R is a division ring. (In the next exercise
there is an example of a simple ring with a proper right ideal.)
12 BASICS
(iii) A proper twosided (or left or right) ideal rn of a ring R is said
to be maximal if there is no twosided ideal (or left or right ideal,
respectively) a with mcac R.
Show that the residue ring Rim is simple if and only if m is a
maximal twosided ideal.
1.1.4 Matrix rings
The rings Mn (R) of n x n matrices over various rings R are impor-
tant objects of study in this text. In this exercise, we indicate how
some properties of matrix rings can be found by elementary calcula-
tion.
(i) For each h and i with 1 < h,i < n, let ehi be the matrix with
(h, i) th entry 1 and all other entries O. Verify the relations
ehk for i = j
ehieik =--- 0 for i j
and
= + • • • + ennt
where I = In is the n x n identity matrix.
(The set lehil is the standard set of matrix units in Mn (R).)
(ii) Using the fact that a matrix A = (ahi) can be written A =
Ehti ahiehi, show that A E Z(Mn (R)), the centre of the matrix
ring, if and only if A = al with a E Z(R).
(iii) Let a be a twosided ideal of R and let Mn (a) be the set of
matrices A = (ahi) with ahi E a for all h, i. Show that Mn (a) is
a twosided ideal of M(R), and that there is a ring isomorphism
M(R)/M(a)
and multiplication by
(r, a) (s = (rs + br + as, ab).
1.2 MODULES
The concept of a module is one of the most fundamental in modern algebra,
since many diverse problems can be recast in terms of the determination of
1.2 MODULES 15
the modules over a particular ring. One such problem, that of finding normal
forms for matrices, and its alternative formulation using polynomial rings, will
be the subject of a series of exercises, commencing with Exercise 1.2.8 and
culminating in section 3.3. Some others, such as the representation theory of
groups, will be considered from time to time in the text.
In_ this section, we give the basic definitions of modules and their homo-
morphisms, together with our first examples. Modules come in two flavours,
left modules and right modules; -both of which will be used in this text. We
-therefore set up -two systems of notation for homomorphisms, one suited to
left modules, the other to- right modules. Although this attention to detail
might seem unnecessarily pedantic at first glance, it repays us by making
many bimodule structures appear in a very natural form.
We also describe some methods for constructing new modules from old, and
we discuss the opposite of a ring, which is a tool for exchanging left modules
with right modules_
A more leisurely_introduction to module theory can be found in [Keating
1998].
Modules_ made their first appearance in-Dedekind's work on number theory
in- the 1870s; [Dedekind 1996 1 is a recent translation. The modern usage
originates in [Noether & -Schmeider 1920] and [Noether 1929]. In the former,
we meet the distinction between left and right modules, and, in the latter,
the definitions of 'opposite ring' and rbiraodule' appear in their present-day
_form.
Similarly, the space of row Vectors n/C can be made into a left K[TI-
module with the corresponding action. This idea is developed in Exer-
cises 1.2.6 and 1.2.8 below.
1.2.3 Bimodules
Given rings R and S, an R-S-bimodule M is a left R-, right S module such
-
-In the left-handed case, the image is written ma, and we require that
The product fia is then the homomorphism corresponding to the matrix prod-
uct BA.. On the other hand, we can define homomorphisms of left R-modules
by_ right action, giving
/3! : "JR; z0' = x13 and . a1 : ° Ft, xci = zA,
with product Pia' again corresponding to BA. This naturality is also visible in
the formulas-for the matrices of products of homomorphisms given in (2.2.6)
and (-2.2.14). -(An -alternative approach, based on use of the opposite ring,
which allows-one to work with all operators confined to one side, is mentioned
in- Exercise L2.14 below.)
As-a further illustration, we exhibit some natural bimodule structures.
Let Hom(MR, NR) be the set of R-module homomorphisms between two
-
right R-modules MR and NR. This set is an dbelian group under the rule
(a + f3)m = -am -I- fim, where m E M and a, fi E Hom(MR,NR),
which has for zero element the zero homomorphisrn : M with0(m) = 0
for all m in M.
An_ R-homomorphism cx : MR —+ MR of a module to itself is called an
entlommphism of MR. We often write End(MR) = Hom(MR, MR), the endo-
mo7phism ring of M; this is indeed a ring, with multiplication defined by the
rule
(0)7n= a06771),
1.2 MODULES 19
and identity element the identity hornomorphismidm of M:
idm(m) = m for all m in M.
Notice that M is then an End(MR)-R-bimodule.
Now suppose that M and N have bimodule structures, say M is an S-R-
bimodule and N a T-R-bimodule for some rings S and T. Then Hom(MR, NR)
becomes a T-S-bimodule by the rule
m(sat) = ((m.$)a)t.
If there is no need to remind ourselves of the side of the scalar multiplication,
we write HomR(M, N) for either set of homomorphisms, and if the ring R can
also be taken for granted, we write simply Hom(M, N).
Similarly we can turn a left module into a right module. Clearly, R" and R
are isomorphic as rings, and so M" is a right R-module that is isomorphic
to the original module M.
If a : M N_is a homomorphism of right R-modules, we define a homo-
morphism M° N' of left R°-modules by
m o cto (am) ..
If we- identify :the-right -R-modules M°° and M, then we can also identify the
homomorphisms a°° and a.
Thus, any general definition or result concerning right R-modules is equiv-
alent to a corresponding- definition or result for left R°-modules. It follows
that it is usually enough to give statements and arguments for right modules
only.
However, we do sometimes give a separate treatment of a topic for left
modules; particularly if we make substantial use of the left-handed version.
It can be sur-prising to discover that, for a particular ring R, the properties
of left R-modules may differ considerably from those of right R-modules; we
meet -examples of such rings in (3.2.12).
An abuse of language. We sometimes identify the additive groups M and
M° -through the evident correspondence m 4-* m°, and say that 'M becomes
a left R°-module by the -rule r° m = m r'. This identification is never made
-
for the ring R itself, save in the circumstance we meet in the next subsection.
E M = {E mi I mi E
iEI
and mi = 0 for almost all i}.
.Kernel-andLimage
Let a : M PT be-a homomorphism of (right) modules. The kernel of a is
defined- as
Ker a = {m I am = 0}
and the image 1m a is
Im a = I n = am for some rn E M}.
A routine verification confirms that Ker a is a submodule of M and that
Im a is a- submodule of N.
It is- easy to see that a is injective if and only if Ker a = 0, and it is a
tautology that a is surjective if and only if Im a = N.
As in the case of a ring homomorphism, a module homomorphism a :
M .1‘1- is said to be an isomorphism if there is an inverse homomorphism
a-1 : N M, that is,
= idm and aa-1 = idN.
This happens precisely when a is both injective and surjective.
-An -isomorphism a M —> M of a module with itself, that is, an invertible
endomorphism,_is termed an automorphism of M.
: M/ Ker a N
so that 457r = a; a- is given by (7i) = a(m)-, - 0
Note. Ti is often called the homomorphism induced by a._
1.2.13 Proposition
Let a : M AT be a homomorphism of R--modules:
(i) If M' is a subm -odule of M; then a—laMI = M' +liera.
(ii) If N' is a submodule of N, -then = N'flim a.
(iii) Suppose that a is swijective. _Then ce: induces- a_bijection between the-set
-of submodules M' of M with Ker a-C M' and the- set of submodiles of
N. Further, this bijection preserves inclusion of subm,odules:
1.2:15 Lemma
Let a be-a- twosided - ideal of a ring R and let M be a right R-module.
(i) If Mg = 0, then M can be regarded as a right (R/a) -module by the rule
= mr for m in M and F in Ria,
(ii) MIMa- can be regarded as a right (R/a)-module by the rule
= MT- for 'Fri in MIMa and f in Ria.
.1.2.17 Lemma
Let M be a nonzero right R-module and let M' be a submodule of M. Then
(i) M is irreducible if and only if 0 is a maximal submodule of M,
(ii) M/M' is irreducible if and only if M' is maximal. 1=1
1.2.18 Maximal elements in ordered sets
The discussion in (1.2.16) above suggests that it will be valuable to have a
method for obtaining the maximal submodules of a given module. In general,
there is no 'constructive way to do this, but an argument from logic, Zorn's
Lemma, shows that, under reasonable conditions, maximal submodules exist.
Let X be a set and let S be a nonempty set of subsets of X. A maximal
element of S is a member Xmax of S such that X is not properly contained
in any other member of S. Thus, if we take S to be the set of proper submod-
ules of a right module M, a maximal element of S is a maximal submodule
of M. Maximal left, right or twosided ideals of a ring (as defined in Exercise
1.1.3) can be interpreted in the same way.
In general, such a set S need not have maximal elements (see Exercise 1.2.5).
Zorn's Lemma gives a convenient sufficient condition for their existence.
We need a preliminary definition. A set A is totally ordered, or simply
ordered, if there is a relation < between its members such that
26 BASICS
The term !totally ordered' is used when we wish to emphasize the difference
between ordered sets and partially ordered sets, which need not satisfy (T01).
The ordered sets that we use most often are sets of natural numbers with
_their natural order. We write N = {1, 2, ...} for the set of all natural numbers
if. the order is unimportant, but co = {1, 2, ...} for N considered as an ordered
set; -with the expected ordering 1 < 2 < 3 < -
Let S be a nonempty set of subsets of a set X, as above. A chain in S is
a sequence {X),=} of members of S, indexed by an ordered set A, such that
X>, C X whenever A < p. The set S is inductive if LINEA X), E S for any
such chain.
1.2.21 Lemma .
Let L be a proper submodule of a finitely generated right R-module M. Then
L is contained in a mazimal submodule of M.
1.2.22 Corollary
Let a be a proper left, right or twosided ideal of a ring R. Then a is contained
in a maximal ideal of R which is correspondingly left, right or twosided. D
Exercises
1.2.1 Show that the irreducible Z-modules are those of the form Z/pZ where
p is a prime number.
1.2.2 The Isomorphism Theorems
These are three very useful results, each of which is a consequence
of the Induced Mapping Theorem (1.2.11). In these statements, R is
an arbitrary ring.
(a) The First Isomorphism Theorem
Let a : M —) N be a homomorphism of right R-modules. Show that
a induces an isomorphism ri : M Ker a —> Im a with Ti(m) = a(m).
1.2 MODULES 29
(b) The Second Isomorphism Theorem
Let K and L both be submodules of the right R-module M, and
recall that K+L=Ik+ElkEK,
Define 0 K (K-1- L)//, by (3k = 17. Verify that (3 is a surjective
homomorphisrn of R-modules with Ker fl = K n L, and deduce that
. KI(KnL)L. -' (K + L)IL.
(c) The Third Isomorphism Theorem
Suppose now that KCLC M. Show that the canonical map
: LIK --+ MIK is an injective homomorphism. Regard t as the
inclusion map (that is, think of NI( as a submodule of Milf)..
Define 'y : M I K MIL by -y(771 + K) = rn + L. Prove that
Ker 7 = K, and dqduce that
(MIK)1(LIK) MIL.
1.2.3 Let L be a submodule of a module M, and suppose that MIL is
finitely generated. Show that L is contained in a maximal submodule
of M.
1.2.4 Let a be a proper ideal of a ring R. Using Exercise 1.1.3, show
that there are a simple ring S and a surjective ring homomorphism
7r : R S with 7r(a) = O.
1.2.5 Let /C be a field and let V be an infinite-dimensional vector space over
1C. Show that the set S of finite-dimensional subspaces of V contains
no maximal elements.
Let T be the set of proper subspaces W of V such that the quotient
space VIW is finite-dimensional. Show that every proper subspace
of V is contained in a maximal element of S U T, but S U T is not
inductive.
1.2.6 Endomorphisms and polynomials
The following definition generalizes that given in part (iv) of (1.2.2).
Let M be a right R-module and let a be an endomorphism of M.
Show that M becomes a right R[71-module by the rule
m • (fo + f1T + - • - + fkT k ) = 'rnfo + ce(mh) f... + Crk (mik )
(Note. The appearance of a, a27 ... on the left is intentional!)
Show also that if M is a right R[T]-module, then M is a right
R-module and the map a given by am = mT is an R-module endo-
morphista of M.
Informally, T is said to act as a.
Suppose that M and N are right R[7]-modules, with T acting as
a and )3 respectively. Prove that 7r :M—Nis an R[7]-module
30 BASICS
01 ) B 01 )C 10
and E . Using these matrices in
1 0
turn, R2 is made into an R[Ti-module in five different ways; write
L, M, N, P and Q for the corresponding ]R[71-modules.
Find all the one-dimensional subspaces of R2 which are submod-
ules of L (if any). Repeat for M, N, P and Q.
(c) Let M be C3 made into a CM-module using the matrix A =
( 0 1 1
0 0 1 , and for any vector y E C3 let L(v) be the CET]-
() 0 0
submodule of M generated by v. Write L o for the special sub-
(1)
module given by 0 •
0
Show that for y 0 0, Lo C L(v) always.
Find all I) with dim(L(v)) = 2.
(d) Let N be C3 made into a CM-module using the matrix
0 1 0
B=( 0 0 1 .
1 0 0
Find three submodules of N that are one-dimensional as C-spaces,
give a single vector which generates N as C[71-module and show
\
el = 1.••1 en =
Now that we have seen the basic definitions and examples of rings and mod-
ules, we can start to enquire about their deeper properties. A fundamental
problem is to find, for a specified ring R, a satisfactory way of listing all the
possible R-modules. Some modules are easy to find; for example, R itself can
be viewed as a right R-module, as can the quotient module R/a for any right
ideal a of R. Thus a possible approach to the solution of the problem is to
ask whether or not an arbitrary module can be expressed in terms of some
basic modules which are themselves readily described, and then to ask if such
an expression is unique.
Obviously this programme requires some information about the ring, and,
even then, it may be possible to obtain only partial results. Some classes of
rings whose modules can be classified satisfactorily are discussed in subsequent
chapters.
In this chapter, we set the foundations for the classification of modules
by discussing two fundamental ways in which modules can be constructed
from, or related to, more basic modules. The first of these is the formation
of a direct sum, which, as the name suggests 1 is the most elementary way of
assembling two modules to make a third. The second, more general, method
is to use a short exact sequence. This construction relates triples of modules,
one of which can often be regarded as being defined by the other two.
The direct sum construction gives us, in particular, the free modules Rn,
ri > 1, which are the analogues for an arbitrary ring of the vector spaces
K a over a field K. We look at the relations between the various- bases of
a free module and the matrix description of the homomorphisms between
two free modules. A general module can be presented in terms of such a
homomorphism, whose matrix may, after manipulation, reveal the structure
of the original module.
36
2.1 DIRECT SUMS AND FREE MODULES 37
Since we work with arbitrary rings, we devote some attention to the invari-
ant basis problem: can we have Rm R" without m = n?
We also discuss the projective modules, which share many of the properties
of free modules, and in some way are the proper generalization of a vector
space for an arbitrary ring.
For the final topic in this chapter, we show how to construct rings by forming
direct products — this is the analogue for rings of the direct sum construction
for modules.
777, = ±•••±
with m : E Mi l then
(SIP1) ira i=
(SIP2) idm = Grfri + • • • + cork.
projections for M.
(ii) M L10 - G Lk as a right R-module, the isomorphism being given by-
m -
(iii) M = M1 ED • • CD Mk where Mi = o-iL i for i = 1, , k. 111
2.1.8 Notation
As we have seen, there is a very close connection between the internal and
the external direct sum decompositions of a module. We shall therefore use
the notation M = M1 ED - • ED Mk for both the internal and the external direct
sum of modules for the remainder of this text.
The context should make it clear which type of direct sum is intended.
For example, an expression such as Le L must be interpreted as an external
sum, since it makes little sense otherwise, while an expression such-as M =
mR ED nR, with m and n in M, will be an internal direct sum.
Suppose that, for i = 1, . . . , k, ai : Li —> Mi is an R-module homomor-
phism. Then we denote by
cei ED • • ED ak : Li ED • • - ED Lk Mi • ED Mk
the R-module homomorphism obtained by letting ai act on the i th compo-
nent, that is,
(ai ED • • • e ak)(Ei G - • • eik) c 1 (ti) ED • • • Ea ak(4).
2.1.9 Idempotents
Another useful characterization of direct sum decompositions of a module
M is provided by idempotent elements of the endomorphism ring End(M)
(1.2.5).
Let fah • • - ,crk; 71-1, • - • , be a full set of inclusions and projections for
M, and let ei = or for i = 1, , k. Then ei E End(M), and; by (SIP2)
above, we have
(Idp1) 1 = e1 + • • + ek, where 1 = idm is the identity element of the ring
End(M).
Using (SIP 1), we also obtain
2.1 DIRECT SUMS AND FREE MODULES 43
(Idp2) eiej = f ei =
2.1.10 Proposition
Let M be a right R-module. _Then_there is a bijective correspondence between
(i) direct sum decompositions M = M1 ED •• ED Mk
and
(ii) full sets of orthogonal idempotents
in - End(M),
under which Mi = eiM for all
2.1.12 Proposition ,
Let M be right R-module, and let I be an index set.
(1) If M has an internal direct sum decomposition M = ED' A in terms
of its subrnodules {Mi I i E I}, then M is isomorphic to their external'
direct sum: M-r .-J 01 A.
(ii) If there is an isomorphism 0 : (DI Li M of right R-modules, then
M= 1 M1 where Mi = 0(Li) for all i in I. 0
2.1.13 Remarks
(i) Following our convention in the case that I is finite (2.1.8), we write
2.1 DIRECT SUMS AND FREE MODULES 45
M = ED, A to indicate either an internal or an external direct sum,
relying on the context to make it clear which is meant.
(ii) The characterizations of finite direct sums in terms of standard inclusions
and projections (2.1.7) and idempotents (2.1.10) cannot be extended to
the infinite case, since it is impossible to attach a meaning to an infinite
sum of maps or idempotents in our purely algebraic context. This point
is also considered hr Exercise 2.3.1.
(iii) The 'obvious' fact that an infinite direct sum- 1 Mi is smaller than the
direct product III Mi is most easily confirmed by counting arguments.
For instance, takel = N, the natural -numbers, andthe ring R and all the
modules A to be-the integers Z. -Then it is -wellknown that the direct
product ITN Z has- the sa;me cardinality _as the set of real numbers R,
while ell Z has the same cardinality as Z. The latter assertion is often
seen in the equivalent form 'the set of polynomials over Z is countable',
there being an e-vident correspondence between the sequences belonging
to Z and polynomials — see (3.2.1) for more details.
(iv) The definition of internal and _external direct sums extends in- the ex-
pected way to other algebraically defined objects, such -as bimodules,
rings and groups, but with some variations in terminology -according to
the type of structure under consideration__ For rings, we speak of direct
products rather than direct sums; these are considered in detail in section
2.6.
For groups, we also prefer to speak of direct products. If {G I i E I}
is a set of multiplicative groups, the direct product flEIGj is again a
multiplicative group witlr .componentwise multiplication._
A much more general- analysis of direct sums and products, which
reveals the reasons_ for these variations in termincilogy, can be made in
the language of category theory. We discuss these -constructions in [BK:
CM], §1.4.
ii if y = x,
r ))
v ‘tx `s" - 10 if y- s.
for any k. > r and- distinct xi, , sk_ -E" X, _and ri, , rk E R, except the
trivialrelations in which • • • = r-k = O.
If there is a-danger of ambiguity about the coefficient ring, the terms R-free
and R -inde pendent may -be- used. -By convention, the empty set 0 is regarded
as a free subset of any module; we can then -claim that any subset of a free
set is again free.
When the coefficient ring R is a field IC, a AC-module is a vector space V and
a free -subset of V Ls- otherwise known as a (AC-) linearlyindependent subset of
V.
Unlike the situation with vector, spaces, there is no reason why a particular
module need contain any -nonempty free subsets. This can be seen by consid-
ering the Z-modules Z/aZ, a 0 01 However, Z/aZ is also a ring, and, when
viewed as a- module- over itself, certainly does contain a free subset, {T}.
2.1.20 Proposition
Let M be a- right R-module and suppose that X is a subset of M. Then the
following assertions are equivalent.
2.1 DIRECT SUMS AND FREE MODULES 49
(i) Mis free on X.
(ii) M = EDzEx xR, where, for each x,xR R as a right R-module by the
map xr-I--0 r.
(iii) Each element m of M can be written in the form
m= E xrz (m)
sEX
0-: M Fri:1(X)
2.1:22 Theorem
Let X be a subset-of a right R-module M. Then the following statements
are equivalent.
(i) For every right_ R-module N, every mapping C . from X to N extends
uniquely to an R--module h -omomorphism a :M N.
(ii) X is a free-generating.set,for -M.
Proof
(ii) (1). - Pry ..the-implication- (1) (iii) d the preceding proposition, an
element m uf M-can be-written as in = EmEX Zrs(70 Where the coefficients
r(m) are uniquely-determined by m, almost all being O. Define a: M N
by a(m) = ExEX C(x)rx(m); then a is-the unique extension of C.
(1) co. We argue- by-contradiction. -Suppose first -that X does not
50 DIRECT SUMS AND SHORT EXACT SEQUENCES
generate M, and let L be the submodule of M which is generated by X.
Then the canonical homomorphism 7r : M --4 MI L is nonzero, and both 7r
and the zero homomorphism are extensions of the map 0 : x I-, 0 from X to
MIL, a contradiction. Thus X does generate M.
Next suppose that X is not independent, and consider a nontrivial relation
xir i + • • • +xkrk = 0, with xi, ... , xi, E X and ri, ... , rk E R not all O. Define
C : X --+ Rk as follows:
1) (0 0
0 1 0
Evidently, any R-homomorphism a extending C would send the zero element
ri
of M to the nonzero element : of Rk , which is impossible. El
rk
The above result has a consequence which is important in thé investigation
of the functorial properties of the free module construction ( [B K: CM], (1.2.3),
(1.4.3)).
2.1.23 Corollary
Let X and Y be sets, x : X —> Y a mapping. Then there is a unique
R-homomorphismFrR(x) :FrR(X) —). Fr(Y) with the following properties.
(i) The diagram
x FrR(x)
;
X I 1FrR(X)
.1.
y , p:r R(y)
Proof
Composition of x with the canonical inclusion 0, provides a set mapping
from X to the R-module FrR(Y). Appealing to (i) of the preceding theorem,
we obtain the R-homomorphism FrR(x) as the unique R-module homomor-
phism extension of this map. By construction, the diagram in (i) commutes.
2.1 DIRECT SUMS AND FREE MODULES 51
Properties (ii) and (iii) now follow easily from the uniqueness of the exten-
sion of a map.
Exercises
2.1J -Block forms of matrices
This exercise, together with Exercises 2 and 3 below, follows on
from Exercise 1.2.9 and expands the illustration given in (ii) of (2.1.2).
let A be an n x n matrix -over a field r and let M be the /C[T]-
module obtained fronirn with T acting as A.
(a) Show_ that M = L ED N as a r[T]-module if and only if the
-
• *•
• ••
the matrix A = is always indecomposable,
•
•
• •
\0 oo ••• o 1
whatever the field IC.
2.1.4 Abelian groups
This exercise expands the example given in (2.1.3). We assume
some elementary properties of the ring Z of integers.
(a) Let M be an abelian group and suppose that Mc= 0 for some
positive integer c. Write the prime factorization of c in the form
C = ql • • qk
where /31, , pk are distinct primes and qi = pir(i) for each i. Put
2.2.1 Ba-ses
In the previous section, we defined a free R-module to be a module M which
possesses a free generating set X (2.1.19). However, there are many circum-
stances_ where it is- important to take the elements of a free generating set
in a fixed or-der. This Is particularly the case when we give the description
of tomomorphisms between free modules in terms of matrices later in this
chapter.
We therefore define a basis of a free module M to be an ordered free gen-
erating set of M, that is, a_free generating set F = {f), I A e A} indexed by
some ordered set A (1.2.18),
This distinction between a free generating set and a basis is often obscured,
especially in an undergraduate course concerned with finite-dimensional vec-
tor spaces. The. reason is -that a finite set is almost invariably indexed by a
set of -integers k}. and thus acquires an ordering by default.
The point of the distinction can be illustrated -geometrically by considering
the subsets t( and - ° 1 of R2 . These are the
01 ' ' -0
same when viewed as. unordered free generating sets of R2 , but must be dif-
ferent bases of R2 , or else it would be impossible to distinguish, for example,
-between clockwise-and - anticloCkwise -rotations of the Euclidean plane.
Note that -a free -generating set X of a module M can be made arbitrarily
-into a-basis• of-.M by -choosing any ordering {x), 1-A E A} for X.
56 DIRECT SUMS AND SHORT EXACT SEQUENCES
2.2.2 Standard bases
Let A be an ordered set and let R be an arbitrary ring. In (2.1.15) we defined
the standard free right R-module RA on A to be the direct sum of A copies
of R:
RA = {(r),) I TA E R, TA = 0 for almost all A},
with the expected componentwise rules for addition and scalar multiplication.
We may interpret the elements of RA as A x 1 'column-finite matrices, that-
is, as column vectors indexed by A and having only a finite number of nonzero
entries.
The standard basis {e), I A E A} of RA comprises the 'standard unit vectors'
e), = (e,,)„ E A which are defined given by
Ii if sc = A,
et"'À =10 if rc A.
It is clear that {e),} is indeed a basis of RA. (This confirms that RA is actually
a free module according to our definitions!)
When A = {1, ... ,s}, we regain the familiar standard basis {ei , ... ,e} of
R 8 with
),••• 1 es =(: ) -
o 1
(For s = 0, we have R° = 0, the zero module, and the 'standard basis' is taken
to be the empty set).
The exponent s is called the rank of Rs; more generally, if the free module
M has a basis with s elements, then s is the rank of M. We are committing
a minor abuse of language here, since the rank of a module is not necessarily
unique. However, it is uniquely defined for mbst rings occurring in this text.
We do attribute a rank to a module only when it has a finite basis.
2.2.3 Coordinates
Let F = {fA I A E A} be a basis of a free right R-module M. By (iii) of
(2.1.20), an element m of M can be written in the form m = aex fAr ›,(m)
where the coefficients r), (m) E R are uniquely determined by m, almost all
being O.
The corresponding element F (m) = (r),(m)) of RA is called the coordinate
2.2 MATRICES, BASES, HOMOMORPHISMS OF FREE MODULES 57
vector of m with respect to the given basis F. When A = {1, , s}, the
ri(rn)
•
coordinate vector is written as •
•
(
(m)
Let 0 M —) RA be the map which assigns to each element in its coordi-
nate vector relative to F. An easy verification shows that 0 is an R-module
homomorphism, and the uniqueness of the coordinates guarantees that 0 is
an injection. Since any vector in RA arises as the coordinate vector of an ele-
ment of M, it follows that 0-is an isomorphism of R-modules. By construction,
0(15,) = e), -for all A E A,
-It is-clear that-this procedure is reversible: given an R-module isomorphism
0: M —) R-A, -define elements_fx in M-by 19(f),)- = eA for all A E A. Then {h}
is a basis for M and 0(m) is the coordinate vector of an element in of M.
We summarize these observations (and a little more) in the following result,
_which parallels the unordered version given in (2.1.20).
22:4 Proposition
Let M -be a-right-R-module and let.F -= {A IzA. -E A} be a subset of M,
-.where A is _an ordered set. Then the following _assertions an equivalent.
F is a basis for M.
M = EDAEA f),R, where, for each A, the map AT r defines a right
R-module isomorphism from AR to R.
(ill) Each element ra_ of .M can be written in the form
m= fxrA(m),
AEA
2.2.6 Theorem
Let M, N and P be finitely generated free right R-modules and take bases
F of M, G ofN and H of P.
(i) For any R-module homomorphisms a, a' : M N,
AHF(I3a) = AHGAAGF(a)•
(iii) Let s be the number of elements in F. Then AF• F (id m )= I., the s x s
identity matrix.
(iv) Let o • M —) N be an isomorphism. Then the image all of F is a basis
of N, and
AG,c,-gidN) = AGF(a) = Aa-ic,F(idm)-
fi = E gaii for j = 1, . , s.
1=1
To see that F is in fact a basis, we note that the coordinate vector of fj with
respect to G is c(fi) = red, the j th column of P. Then the homomorphism
: M —) Rs given by fl(m) = r- i(G(m)) clearly sends each fj to the standard
basis element ei, so F is a basis by (iv) of (2.2.4).
We summarize as follows.
2.2.8 Theorem
Let M be a free right R.-module with basis G = {gi , 7 gt}' Then the is
a bijective cormspondence between
(i) bases of M of the form F = {fi, • • • 7 f3 1
and
(ii) twosided invertible t x s matrices r =
given by the formulas r = AG F(idm) and
simply-the 1 x 1 matrix (g -1 ).
Each element d of D can be, viewed as a right D-module endomorphism of
D by left multiplication: x 1—* dx for x E D. Since dl = ld always, we have
ILF(d) = d. However, dg = g g —i dg, so that pG(d)= g'dg.
22.11 Proposition
Let A and B be matrices over a ring R, and let M and N be free right
R-modules: Suppose also that A represents the homomorphism a : M —* N.
_Then A is equivalent to B if and only if B also represents a.
62 DIRECT SUMS AND SHORT EXACT SEQUENCES -
Proof
We call on the correspondence between invertible matrices and bases given
in (2.2.8). Suppose that B represents a. Then there are bases F, .7 of M
and G, -0 of N with A = AGF(a) and B = AC7(a). Applying part (ii) of
Theorem 2.2.6 to the product idN • a idm = a gives
0 0 0 ... r
with constant diagonal term. The map t is called the standard embedding,
2.2 MATRICES, BASES, HOMOMORPHISMS OF FREE MODULES 63
and it is clear that t is an injective ring homomorphism whose image is the
subring t(R) of M3 (R) consisting of all the standard scalar matrices.
Using t, we define an action of R on M3 (R) by the rules
rA = t(r)A and Ar = At(r) for A E M,(R),
where e•jaii is the matrix with entry aii in the (i, j) th place and all other
entries O.
In the case that R is commutative, direct calculation shows that t(R) =
Z(M, (R)), the centre of the matrix ring, and so the set of scalar matrices is an
in.variant of the matrix ring. On the other hand, when R is not commutative,
we .find only that t(R) is the centralizer of the set {so}, that is,
t(R) = {A E M3 (R) I Aeii = eijA for all i, j}.
and
lr = + • • • + Oyu.
As we-indicate in Exercise 2.2.4 below, given a set of matrix units for T, it is
64 DIRECT SUMS AND SHORT EXACT SEQUENCES
then possible to describe T as a matrix ring MiL (S), but , even if T =- MAR)
originally, it is possible that u s or S 0 R. A trivial example is provided by
the set {1}, which is a set of matrix units. Less trivial examples are. given in
Exercises 2.2.5 and 2.3.3. An example in which R and S are nonisomorphic
rings with M2(R) M2(S) is given in [Smith 1981).
We must also be careful when we consider the embedding of R in the en-
domorphism ring End(M) of a free right R-module M. Suppose that gis
commutative and take any element r of R. The formula
A(r)m = mr for m E M
EA,
cyeE
with unique coefficients (20„ a E E, A E A, where for each A only finitely
many coefficients are nonzero. We thus associate with aaExA matrix
AGF(a) = (a,),) which is column-finite, that is, there are only finitely many
nonzero entries in each of its columns.
Conversely, given such a matrix (a,),), we can define a homomorphism from
2.2 MATRICES, BASES, HOMOMORPHISMS OF FREE MODULES 65
M to N by the above formula. Thus we have a bijection
AGF : Horn R(M,N) -- ME A (R)
between the set of R-module homomorphisms from M to N and the set
MY,A (R) of E x A column-finite matrices with coefficients in R. The for-
mal properties of the map AGF are exactly the same as those listed for finite
bases in (2.2.6).
Again, there are two cases of special interest when M = N. First, tak-
ing a = idm, we obtain the transition matrices AGF(idm) E M'A(R) and
AFG(idN) E ME(R). These two matrices are mutually inverse. Further,
given a fixed basis G of M (indexed by E), there is a bijective correspondence
between invertible matrices in ,MA(R) and bases of M indexed by A, as in
(2.2.8). Second, taking G = F, we note that, for each basis F of M, there is
a ring isomorphism /IF = AFF : End(MR) -- M Ae 1 (R) between the endomor-
phism ring of M and the ring MAcf (R) of A x A column-finite matrices over
R.
fia = Eaiigifor i = 1, , s.
The properties of the_ maps AF G- are pariller to those of the maps AGE for
right modules listed in (2.16), -(2.2.8-). ancL(12:11)., but with some notational
changes beeause homomorphisms of left modules are written on the right, and
compose accordingly. For-an important example, we highlight the left-handed
version of the multiplication formula given in (10 of (2.2.6).
Let M, N and-P -be free left R-moduTes with bases F, G, and H respectively,
and let a: M -4 N and : N -4 P be K-module homomorphisms. Then
jell (0) A FG (a)AcH ( 0).
(Recall that the-the composite 4 means 'first-a, then O' when we are dealing
with left modules.)_
Each basis F of M gives rise to a Wring isomorphism
= AFF : End(RM) M. (R).
It is straightforward to extend the above remarks to free left modules with
infinite bases. The only significant -point of difference is that, for a basis F
of M indexed by A and a basis G of N indexed by E, the map AFG on
Hom(M, N) takes values in the set MIE(R) of row-finite A x E matrices over
R, that is , the matrices with_ only -a finite number of nonzero entries in each
row. In particular, the ring isomorphism AF : End(RM) 4 1(R) has values
in the ring of row-finite A x A matrices over R.
Exercises
2.2.1 k canonical form-
Let V and W be vector spaces .over a field IC, of finite dimensions
s and t respectively, and let a: V W be a linear transformation.
Choose a basis {gb.... , Im a and extend it to a basis G =
, gt } of W. Choose , fk} In V with each or(fi) = g.
Verify that ... JO is linearly independent, and extend it to a
basis F = fa of V.
(Ik 0)
Show that AGF(a) . Deduce that at x s matrix A over
• 00
2.2 MATRICES, BASES, HOMOMORPHISMS OF FREE MODULES 67
(/k0
1C is equivalent to exactly one matrix in the canonical form
00)
(2.2.10).
Show also that there are direct decompositions of vector spaces
V = US Ker a and W = Im aEBY with dim U = k and dim Y = t—k.
2.2.2 Let R be a ring and let M be a free right R-module, with finite basis
F = {fn ... , fm}. Let r be a permutation of { 1, ... , m} and write
7rF = ffIri , • - • 7 fIrml.
Show that the matrix An-F,F(idm) is a permutation matrix, that is,
it is obtained from the identity m, x m matrix by a permutation of its
rows (or, equally, columns).
2.2.3 The quaternion algebra: a division ring
Let 1C be a subfield of the real numbers R, or more generally, a field
in which there is no nonzero solution of the equation
xF) + xl ± A + x3 = 0.
The quaternion algebra, denoted H for Hamiltonians (see Exercise
3.2.5) is defined as a vector space of dimension 4 over IC, with basis
elements 1, i, j, k. Multiplication is given by the rules that 1 acts as
the identity and i, j,k multiply as follows:
i2 = J2 =k2 = .....i , ii = _ ii = k ,
R = {E¢)iitOli I t E T}.
Virify that R is a su-bring ofT and that R centralizes the given matrix
units.
Given- a E T, put
E-Oijcvkici for j, k = 1, . , s.
Show that each aik is in- R; and that aikçbik = q5 iia4bkk always.
As in (2.2.9), define a mapd2 : T M s (R) by p.(a) = (aq). Show
that p._ is a ring isomorphism which maps the matrix unit (hi to the
corresponding standard matrix unit ehi and elements of R to standard
scalar matrices.
— a-1 bc-1
—1 •
0 C
Let w = {1, 2, ...} be the set of natural numbers with their familiar ordering,
and let MY (R) be the ring of all column-finite w x w matrices over some
ring R. The discussion in (2.2.13) shows that we can identify Mcf (R) as the
endomorphism ring of the free right R-module Rw on the set w.
We define the cone of R to be the subring CR of MY (R) consisting of all the
matrices which are both row- and column-finite, that is, each row or column
has only a finite number of nonzero entries. (Such matrices are sometimes
called locally finite.)
Neither MY (R) nor C R has invariant basis number.
2.3.2 Theorem
Proof
We prove (i) only, (ii) being similar. For each index h, let Ph be the set
{(Phk) I k = 1, 2, ...} of all possible h th rows of a member of MY (R); as a
left R-module, Ph is the direct product ff„, R of countably many copies of R.
Right multiplication makes Ph a right MY (R)-module, and MY (R) itself is
a right MY (R)-submodule of the direct product n, Ph. The key to the proof
is the fact that 11 1 , Rfi1 R
, n„, R.
Write (MY(R)) 2 = (MY (R)) (1) ED (MY (R))(°)7 where the bracketed su-
perscripts are used to label copies of the ring (considered as a right MY (R)-
submodule). We define an MY (R)-module homomorphism a from MY (R)
to (MY (R)) 2 by sending P2i.-i to (Pi )(i) for j E w and j = 0,1 in the ob-
vious way: thus the row (Pzi—j,k), k = 1,2,..., is sent to the row ((Pi,k)) (j)
in (MY (R))(i). It is clear that a is bijective. It is also an MY (R)-module
homomorphism because MY (R) acts on the right, and hence on the rows of
the various copies of MY (R).
We note from (2.2.5) that the action of the isomorphism a in the preceding
theorem must be given by an invertible 2 x 1 matrix A over MY (R), which
2.3 INVARIANT BASIS NUMBER 71
is easily specified. Let
(100000•.• 0 1 0 0 0 0 •..
001000••• 0 0 0 1 0 0 • ••
B= and C =
0 0 0 0 1 0 P49 0 0 0 0 0 1 –• ;
) )
these are elements of Illwef (R). Then A , with inverse the transpose
= (g )
matrix (B.' Ct).
Thus (w, d) is the minimum pair, under the usual lexicographic ordering, such
that (Ti) holds. A ring with invariant basis number will be allocated the type
(oo, 0). A more sophisticated view of types is given in Exercise 2.3.2 below.
Examples of rings of all possible types were given in [Leavitt 1957] and
in [Leavitt 1962]; there is a nice discussion in [Cohn 1966]. We outline the
construction and state the results; the proofs lie outside the domain of this
text.
Let 1C be a field and let k(Xii, Yu„) be the noncommutative polynomial
ring on 2hk variables
{Xii I i = 1,... , h, j = 1, — ,k) and
with h < k. Further, let E = (Xii) and T = (Yu.„) be the matrices, h x k and
k x h respectively, with these variables as entries, and let a be the twosided
ideal of k(X ii ,Yuv ) generated by the entries of the matrices ET – Ih and
TE– Ik. We define the Leavitt ring of type (h,k h) to be Lkic = K(X, Y) /a..
–
It is clear from (2.2.5) together with part (iv) of Proposition 2.2.4 that
( Lh,oh eJ (Lk ok.
2.3.5 Theorem
The ring Lhi k has type (h,k – h). 0
In the other direction, we give a criterion for the invariance of the basis
number.
72 DIRECT SUMS AND SHORT EXACT SEQUENCES
2.3.6 Lemma
Let f : R .— S be a ring homomorphism and suppose that S has invariant
basis number. Then so also does R.
Proof
Suppose that Rm '-' Rn . Then by Theorem 2.2.8 there is an mx n invertible
matrix r = ('yik) over R that gives the corresponding change of basis. But
then fr = (fry ik) is a matrix over S which gives an isomorphism between Sm
and Sn. 1:1
2.3.7 Theorem
Suppose that R is a (nonzero) commutative ring. Then R has invariant
basis number.
Proof
By Corollary 1.2.22, R has a maximal (proper) ideal nt. The residue ring
R/m is a simple commutative ring, that is, a field (Exercise 1.1.3). By el-
ementary linear algebra, fields have invariant basis number, so the theorem
follows from the preceding lemma. El
Exercises
2.3.1 Endomorphisms of infinite direct sums
The extension of Exercise 2.2.6 to infinite index sets is not quite
straightforward, and has led some authors into a natural error.
For simplicity, we consider only the direct sum Mw of countably
many copies of a single right R-module M. The general case is given
in [Fuchs 1967], Theorem 551, on which this account is based.
Let A = (aii) be an w x w matrix with-entries in the ring E =
End(MR). Then A is said to be column-convergent if for each index
j = 1,2, ... the following condition holds:
for each element m of M, awn = 0 for almost ail i.
This means that each column sum Ei aii is a well-defined element
of E. Let M(E) denote the set of all column-convergent w x w
matrices over E.
(i) Verify that Mt,c(E) is a ring, that MY (E) is subring of Itlf,c(E),
and that M'jr (E) i' -'End(11/1°).
(ii) In the case that M = R, verify that MC(R) = MY (R).
2.3 INVARIANT BASIS NUMBER 73
(iii) Take M = , so that E = (R). Show that Mwcf (E) is a
proper subring of M(E).
Hint. Consider the matrix A (over E) with (i, 1) th entry the
standard matrix unit (over R) for i = 1, 2, ... , and all other
entries O.
. (iv) Show that (R")" IV"' as right R-module, for a suitable
ordering of w x co. Choose any (non-order-preserving) bijection
: w —> w x co. Show that induces a module homomorphism
Rw" and hence a ring isomorphism
(R)
connecting M', M and M" tells us that, roughly speaking, any two of these
modules determine the third (although not always completely). Sometimes,
the modules M' and M" are regarded as belonging to some class of 'basic'
modules, the module M being a more sophisticated creature. In other cases,
M has the more elementary structure, for example, it might be free, and we
hope to analyse M" in terms of the relationship between M' and- M. Both_
these points of view are taken at one time or another.
This section is devoted to an examination of the fundamental properties of
short exact sequences, particularly their splittings and their construction by
push-outs and pull-backs.
We work with right modules over some fixed but arbitrary ring R. It will
be clear that there is a parallel discussion for left modules;. since the opposite
ring R° is just as arbitrary as R, results for left modules can be Obtained by
means of the formal switching introduced in (12.6).
M' Al M"
0 M ■ M"
is exact, while a is surjective if and only if the sequence
M 0
is exact. Combining these examples, we see that a sequence of the form-
0 Ker M Im 0
2.4 SHORT EXACT SEQUENCES 77
and
0 'Im,\ ' N -0 Cok O.
Note also that, given the exact sequence E, the homomorphism a induces an
isomorphism from M' to Ker 0, while # induces an isomorphism from Coka
to M".
An exact sequence such as E above gives partial information about the
module M in terms of M' and M", but, save under special circumstances, M
will not be completely determined simply by M' and M"; the homomorphisms
also play a crucial role. Here are two elementary illustrations.
Take the ring of scalars to be the ring of integers Z and let both M' and-
M" be Z/2Z. We can then form two essentially distinct short exact sequences
0 Z/2Z --0 Z/2Z Z/2Z --0 Z/2Z --• 0
and
a IA ,v P , 71 irtm
and
(mi, n") • r = (mir, m"r).
We have then an exact sequence, the standard split exact sequence-
0 iv/ M m."
78 DIRECT SUMS AND SHORT EXACT SEQ-UENCES
with
= (m', 0) and- r(m i , m") = m".
The maps it,ir are members-of the-standard full set of inclusions and projec-
tions {j1., a; p, r} for M (2.1.6), the other terms being
pit = = and- + ar =
Our first task is to give, a method 'ofrecognizing those short exact sequences
which are essentially minor variations of the-standard split exact sequence.
A short exact sequence
a
O mi m mil
:M M i _and 5 M" M
such that {a, (5; 7,#} is.a full set of inclusions and-projections for M. We shall
soon show that it is enough to know the existence of only one of the maps
7 and 5, the other being constructible. Since this fact is very useful,. some
special terminology is introduced.
The short exact sequence above, is said to split at M", or split over #, if
there is a homomorphism-5 : M" —> M with
fib = idmn,.
Sometimes we say instead that 13 or a is split, -or that -5 splits fi, and so. forth.
Here is the promised result_
2.4.5 Theorem
Let
a' xx
M -0 1v1 " 0
2.4 SHORT EXACT SEQUENCES 79
be a short exact sequence of R-modules. Then the following statements are
equivalent.
(i) The sequence is split at M'.
(ii) The sequence is split at M",
(iii) There are homomorphisms 6: M" -- M and y: M -- M' with 06 =
idm,,, -ya = idm , and cry + sp . idm, that is, fa, 6; 7, 8 ) is a full set of
inclusions and projections for M.
If these conditions hold, then M 'As M I ED M", and
, 6 7
0 —0 MI' ----> M ----> M'
Proof
Suppose that (i) is true, so that there exists 7 with -ya = idm , . Given
m" in M", by exactness at M" there is an element m in M with f3m = m".
Define 6m" = m — a7m. We have to verify that this is a valid definition. If
(3mi = m" also, then mi = m + am' for some m' in M', making
a-ymi = aim + a-yam' = a7Tri + am';
thus
m1 — a7rni = m — a7m.
It is now easy to check that 6 is a homomorphism which splits (3, as required
for (ii), and that (iii) holds.
On the other hand suppose that 6 is given. If m is in M, then m — 6f3m lies
in the kernel of 0, whence, by exactness, there is a unique element m' of M'
with am' = m — Om. Put 7m = mi. Then 7 is easily seen to be a splitting
homomorphism for a, and both (i) and (iii) hold.
The fact that (iii) implies both (i) and (ii) is immediate. For the remaining
assertion, define a map x : M -4 M' 0 M" by xm = (7m, Pm); then it is
straightforward to see x is an isomorphism. 1:1
0 A ----+ AH ). 0
in which a is- multiplication by e, that is, a- ea, and fi sends e to 0. If there
were a splitting homomorphism :6 of (3, we would: have-both-6(1). = 1 + a/c for
some a' E A and, since 6- is -an AN-homomorphism, _6(1) = (5(e • 1) = 0, a
contradiction.
We note in passing_that, if A : AN- is left multiplication by e, then
the above sequence can be identified with both the short exact sequences
0 iKerA M Im ). 0
and
0 -o Im A N Cok-A --• 0
arising from A.
je
2.4 SHORT EXACT SEQUENCES 81
where 0 and 0 are homomorphisms of R-modules.
The pull-back of M and L" over M" is the R-module
M x m, L" L"
3 0
I
M'
0
t The concept is of recent origin, being due to the throng of 1950s algebraic topologists. .
The last term may therefore be described as an attempt to put Descartes before the
hordes.
82 DIRECT SUMS AND SHORT -EXACT SEQUENCES
sum, which give a commutative diagram
IL
L'
L
known as the push-out, cofibre square or cocartesian squam.
The following result is important, despite l3eing easy to verify. In the "lan-
guage of category theory, it tells us that -the pull-baek and- push-out are 'uni-
versal constructions'. This observation provides-the insight that leads to the
construction of pull-backs and push-outs for structures -other than modules.
We consider rings in Exercise 2.6.11, and more general structures in [BK:
CM].
2.4.9 Proposition
(i) Suppose that
0 Arf
, Ii
,
M1
is a commutative square of 11-modules. -Then-there-is a unique homomor-
phism : M' s v L M 1 with CA =- A i and CO = th.
, a , #
0 -) M` --) - 0
0*E O ml -) x m„ -) L" 0,
where 73- is as before and pm' = (am` , 0). We call rE the pull-back of E along
0.
Similarly, given a short exact sequence
A
0 L' L t L" 0,
and a homomorphism 0 of --L' into M', we have an exact sequence
be an exact sequence of right R-modules. Then their direct sum is the sequence
Fie • • - Elc:
ale-9(2k pi 9-913k_
o e. • -ED*: >1/11 e. e . • -emf o,
which is evidently a short exact sequence.
84 DIRECT SUMS AND SHORT EXACT SEQUENCES
Exercises
2.4.1 The Three Lemma
Show that any module homomorphisms a : L —) M and f3 : M —) N
induce an exact sequence
O --) Ker a Ker fia —) Ker (3 --) -Cok a —) Cok 13a —) Cokia --)- O.
2.4.2 The Snake Lemma
This result is much used_in homological algebra, where it is a-fun-
damental tool for constructing long-exact sequences-. kappears as-an
exercise in this text since its applications are also -in exercises_
Suppose that we have a commuting- diagram_of right R-modules
and R-homomorphisms, and that-both rows - are exact:
0 M' M ) Aff 0
0 N' —> /V
a
li
/V"
ai!
0-
Construct a connecting homomorphism b : -Ker a"- Cok a' as
follows: take y E Ker a", choose m E M with _pm = y -and observe_
that am = vim' for some m' E M'. Then put b(y) = rff,' in Colic/.
Show that b is a well-defined R-module homomorphism which fits
into an exact sequencet
0 --) Ker a' Ker a"
0
i3 Mil
çb
leaL, L
0 0/a0-
in which both- maps are the canonical surjection. Show that L
is generated -by the- pair_ .(1, -1), _(0, a)., -and that the map defined by
(1,1) - (1, 0), tO, a) 1-+ ( 0, 1) -gives an isomorphism L 02 .
(b) Let N be the -push-out of the diagram-
a0 >0
0
in which each map is the inclusion map, and -write the-image of
(x, y) E 02" aslx,yLE N.
Show- thatthe map N -4-aziven by k ryl x +-y is a surjective
86 DIRECT SUMS AND- SHORT EXACT S EqUENCES
homomorphism of 0-modules, and that it,-is split by the_ map -s
[z, 0]. Deduce that N 0 ()AO.
2.4.6 More non-split exaGt sequences
Verify that the sequences below are_not split, except in trivial cases.
RR
(a) Let T = T2(R) be the -ring o1 2 x 2 triangular matrices -
( 0R
0
over a ring R, and let a = , a (twosidéd) -ideal of T;
0 0-
then there is a short exact sequence of right T-modules
-----4 T )- R (I) -0
in which all the maps are the obvious ones.
(b) Let n, r and s be any positive integers. There is -a short exact
sequence of Z-modules
0 Z/nrZ Z/nr-"Z 7Z/n8Z ---+ 0
in which the first mapis induced by multiplication by n8 and the
second is the canonical surjection.
(c) There is an exact sequence
0 a0 0 0/a0 0
where O is a commutative domain and -a E -0 1 a L O.
2.4.7 Let
a
O -0 m-, --• m -0 Al"
and
'Y xr
O -§ 1Y )N n"
be short exact sequences of R-modules.
Show that, when M" = N, there is a short exact sequence
bfl
---• M x M N"
and, when M = N', there is -a short exact sequence
7cr
0 M' M" M" M N
2.4.8 Let IC be a field and let L,M,N and P be KM-modules which are
finite-dimensional as K-spaces. All bases mentioned in this exercise
are to be K-bases.
4 SHORT EXACT SEQUENCES 87
(a) Let
L —0 N
and
td:xei, • • - 4:74,n1,- • • , nu}
of M and N respectively, so that
the matrices representing the
A B
-actions of T on M and N have -block forms (
-
c and
A B D\
0 C 0
-0 O E)
(b) Let
fi
is a basis for the pull-back M xp N and that the action-of T -on the
A 0- B.i )
pull-back is given 'by the matrix -0 Z Y .
0- 0 a-
2.4.9 This exercise gives some results on: base and- cobase change, for ex-
act sequences which are useful for the construction of the groups-
Ext1R (M", M')..
(a) Let
be a short exact sequence. Show that a.E_ and fl,`E are split
exact sequences.
(b) Two short exact sequences
E1 0 -0
and
a2
E2 0 0-
L
terminating in P must be split.
If we require instead the splitting of all short exact sequences which start
with a given module, we arrive at the definition of an injective module. We
do not consider injective modules in detail in this text as they do not play a
major role in K-theory, but their properties are indicated in some exercises.
The third -possible -definition, namely, that, if a module -M appears in the
middle of a short-exact sequence, then the sequence splits,, gives the notion
of a semiSimple module, -which we meet in section 4.1 ; particularly in the
Complementation Lemma 4.1.14.
As -usual, we confine the discussion to- right modules; it -will be obvious
that all the definitions and results have left-handed counterparts. The ring of
scalars R is arbitrary unless otherwise stated.
- 2.5_.2_Theorem-
For -any set X and ring R, the free right R-module FrR(X)
- on X is a
projective R- module.
Proof
let 7r : MT —Y FIR(X) be a surjective homomorphism of R-modules. For
each member x- of X, choose an element (x) E M with 711(x) = x. By
Theorem _2.1.22, extends to a homomorphism a : FrR(X) M, and 7ro- is
the identity- map on FrR(X) since it is already so on the free generating set
X. 1:1
The above result will often be applied in its equivalent form where the
alternative, ordered, notation for free modules is preferred.
2.5.3 Corollary
_For any ordered set A, the free module RA is projective. In particular, for
any-natural number-n, Rn is projective.
2.5.4 Theorem
A right R-module P is projective if and only if, whenever the row is exact,
- the following diagram of R-modules and R-module hornomorphisms can be
completed:
(That- is, there exists with iCk = O. In fact, need not be unique.)
2.5 PROJECTIVE MODULES 91
Proof
To see that the condition is sufficient for projectivity, take M" = P and
the identity homomorphism.
In the reverse direction, we form an exact sequence E by taking M' to be
Ker and a to be the inclusion, and we let 0*E be its pull-back as in (2.4.10).
We then have a commutative diagram
0*E" 0 x Iry p P 0
-a
E 0
- M" 0
2.5,5 Theorem
Let A be any ordered set and let {PA I A E A) be a set of right R-modules,
R any ring.
Then the _direct sum P = 0114AEA PA is projective if and only if each PA is
projective.
Proof
For this argument, it is more convenient to view P as an external direct
sum. --Extending the definitions given in the finite-case (2.1.6), for each A E A
we have a standard -iiiclusion (.7A : PA. P, where -crA(pA) has pA in the .X-
position and 0 elsewhere, and a standard projection 7r), : P PA, which sends
the sequence (PA) to its A th entry pA .
Suppose--that-each-PA is -projecttv.e, and that we are given the solid arrows
in the diagram
Put BA -= OaA for each A. Then there are homomorphisms A which give
92 DIRECT SUMS AND SHORT EXACT SEQUENCES
commutative diagrams
P),
ex AEA
0
Define e -P M by ((PA)) = Ex 6,p),. This infinite summation makes
e
sense since only a finite number of terms PA are nonzero, and is clearly a
homomorp-hism. which completes the original diagram.
-Conversely, suppose we are given the homomorphisms BA. Then we put
= : P M"„ extend it to P M, and put e), ea,, for all A.
2.5.6 Corollary
Let- P = P` P". Then P is projective if and only if both P' and P" are
projective.
2.5.7 Lemma
All R-module M has a generating set indexed by the ordered set A if and
and only- if-there is a. surjective homomorphism from the free R-module RA to
M.
In particular, -M is a finitely generated R-module with n generators if and
only if-there- is -a surjective homomorphism from Rn to M.
Proof
Suppose -that fm?, I mj. E M, X E A)- is the set of generators (1.2.8). Then
E
the map from RA to M given by (r),) 1—■ nixr), is a surjection of R-modules.
Conversely-, suppose there is such a surjection, say. Since the standard basis
{ex} [sa generating set for RA, {7re),} is evidently a set of generators for M.
The rest is clear. D
We obtain at once a very useful criterion for projectivity.
2.5 PROJECTIVE MODULES 93
2.5.8 Theorem
(i) A module P is projective if and only if
P ED Q R A
PQ =Rn
2.5.10 Theorem
Let P be an R-module. Then P is finitely generated and projective if and
only if P ERn for some n and some idempotent c in End(Rn). D
2.5.11 Proposition
Let e and n be idempotents in End(Rn). Then the following statements are
equivalent:
Proof
(i) (ii): If na = ae with a an automorphism of Rn, then the restrictions
of a to ER' and to (1 — e)R" induce isomorphisms as required.
(ii) = (i ): Supp6se that C and ( are the isomorphisms, and put
a = ce + C(1 -€).
Then a is both injective and surjective, hence invertible, and we have na .
71e = ae. El
Recall that we can regard endomorphisms of Rn as members of the matrix
ring Mn (R) acting on 'column space' by left multiplication in the expected
way. The discussion in (2.2.9) shows that two conjugate matrices El n in Mn (R)
can also be interpreted as matrix representations of a single endomorphism of
Rn, but with respect to different n-element bases of R.
Exercises
2.5.1 Let a E Z \ {0 3 1, —1 }. Show that Z/aZ is not a projective Z-module.
2.5.4 Let {eii} be the standard set of matrix units in the matrix ring
M(R). Show that, for each i, eiiMn (R) is a projective M(R) -
module, the `ith row' of M(R), and that eiiMn(R) '-' eijMn (R)
as right Mn (A)-modules for all pairs of indices i, j.
Now take the ring of scalars R to be a field K. Show that
eiiMn(JC) Mn(K) for n> 1,
and further that e•iMn(K) is not (isomorphic to) a free right M(C)-
module.
(Some hypothesis on R is needed for this 'obvious' conclusion, as
96 DIRECT SUMS AND SHORT EXACT SEQUENCES
j.
2.6 DIRECT PRODUCTS OF RINGS 97
(in which a is the inclusion) can always be completed.
Here is an outline of the derivation of the nontrivial implication.
Suppose that we have a diagram as in (0 above. An extension of 0
is defined to be a triple (M', p,',0') consisting of a submodule M' of
M, a homomorphism pi : L —+ M' and an injective homomorphism
..01 : M' --, I with llf p! = 0. Let S be the set of all extensions of 0, and
order S by stipulating that (M', p', 01) < (M",p",0") if the second
triple is an extension of the first. Verify that S is an inductive set
and so has a maximal member (M0 , p, b0) by Zorn's Lemma 1.2.19.
Suppose that M0 M and take m E M,rn 0 M0. Check that
a = { r E R I mr E M0 } is a right ideal of R. Define 0 : a -- I
by OM = 0(mr) and let 7 be its extension to R. Using 7 and the
push-out construction, find a member (M0 + mR, li, 0) of S greater
than (M0 , /20,7/4 ) , a contradiction. Hence Mo = M.
2.5.9 A right R-module M is divisible if, whenever elements m in M and
x 0 0 in R are given, there is an element n of M with m = rm.
Show that, if M is divisible, then so is any homomorphic image of
M.
2.5.10 Recall that a -(noncommutative) ring R is a domain if the equation
rs = 0 holds in R only if r = 0 or s =0.
Suppose that R is a domain. Show that for any x E R and any
right R-module I, there is a bijective correspondence between right
R-module homomorphisms 13 : œR —+ I and elements y E I, given by
ff=ff=0
whenever i- j. A set {h. , , fk } of orthogonal, central idempotents is called
a full set of orthogonal central idempotents for R if further
h + • • + fk = iR .
(It will be convenient to allow trivial cases where an idempotent is 0; this
corresponds to a component Ri being the zero ring.) Observe that any ring
homomorphism carries a full set of orthogonal idempotents to a full set of
orthogonal idempotents, and, if it is surjective, sends central idempotents to
central idempotents.
-It -is clear that the elements e 1 , ek defined above for an external direct
prodiict R = R 1 x • • • x Rk constitute a full set of orthogonal central idem-
pot ents of R, which we refer to as the standard set for the direct product.
We now establish the equivalence of the internal and external direct prod-
uct decompositions for rings. This result was first formulated in terms of
idempotents in [Pierce 1881 . ]
2.6.3 Proposition
-Let R be a ring. Then the following assertions are equivalent.
(i). There are rings R 1 , ... Rk and a ring isomorphism R R1 x • • Rk•
Cii) There is a full set of orthogonal central idempotents {fi,... ,fk} for R.
(iii) There are (twosided) ideals a l , , ak of R such that, as an abelian group,
I:( is the (internal) direct sum R = ai @ • • ED a k .
100 DIRECT SUMS AND SHORT EXACT SEQUENCES
When any of these three conditions holds, then the other two conditions
may be interpreted so that, for each i, ai = fiR is a ring with identity h and
them is a ring isomorphism fiRi:4 Ri .
Proof
(i) (il): By hypothesis, there is a ring isomorphism
11J
...
0 : Ri X • • • X Rk R.
For each i, put fi = 0(e), where {e l , ... , ek} is the standard full set of
orthogonal central idempotents for the external direct product.
(ii) = (iii): Given a full set of orthogonal central idempotents {f' , ... , fk}
for R, put ai = fiR for each i, a twosided ideal by centrality of fi . Given
r E R, we have r = 1r = fir + • • • + fkr, which shows that R = ai + • • - + ak•
Since fir = fir, orthogonality gives
(a1 + • • • + ai— 1 + aii-i + • • • + ak) n ai = 0 for all i.
By (2.1.1), these two properties make R, as an abelian group, the direct sum
of its subgroups ai (or, equally, the direct product of the ai since there are
only finitely many terms).
(iii) = (i): By (iii), each element r in R can be written uniquely as r =
Ti + • • • + rk with ri E ai. Writing the identity element as 1 = fi + - • • + fk
gives a set of elements satisfying
if i = j
f2f3 = { if i j
fl;
because (al + • - - + ai— 1 + ai+i + • • - + ak )n ai = 0 for all j. Then each ai forms
a ring Rd with identity element fi, and the map r 1—, (ri , . .. , rk) is readily
verified to be a ring isomorphism from R to Ri x • • • x Rk. El
2.-6.4 Remarks
(a) Because of this close relation between external direct products, inter-
nal direct products and full sets of idempotents, we often abuse notation and
write
R = Ri x - • - x Rk
simply to indicate that R has a full set of orthogonal central idempotents
giving the isomorphism which is implicit in this notation.
(b) In our discussion of direct decompositions of modules, we showed that
there is a bijective correspondence between full sets of orthogonal idempotents
2.6 DIRECT PRODUCTS OF RINGS 101
of the endomorphism ring End(M) of a right R-module and direct decomposi-
tions of M (2.1.9). This applies to the ring R itself viewed as a right R-module:
we have End(R) = R (elements of R acting on R by left multiplication), so
that A full set of orthogonal idempotents of R gives a direct decomposition of
R into right ideals (and, equally, left ideals).
Without centrality, there is no reason why the right ideal components should
be twosided ideals, so we will not have a direct decomposition of R into rings.
2.6.5 An illustration
Part (iii) of the last result suggests how direct products of rings arise in
practice. Let S be any ring ap.d let m and n be twosided ideals of S. Suppose
that m and n are comaximal, that is, S = in + n, and consider the ring
homomorphism 8 : S —, Slmx Sin induced by the canonical surjections p., v
of S onto the respective factors (1.1.8).
Writel=m+nwithmEmandnEn.IfsEmnn,thens=s•lEmn,
so m n n = inn. Thus Ker 0 = mn, and there is an induced injective ring
homomorphism 0 : S/ran- —, S/mx Sin (1.1.9). Next, take an element (its, vy)
of the direct product, and put s = xm + yn in S. Then its = its and vs = vy,
which shows 19 to be surjective and hence 0 to be an isomorphism of rings.
The full set of orthogonal central idempotents for S/rrm is {0m, 074.
For example, if a and b are coprime integers, then we have a ring isomor-
phism g/abg ''-' glaz x g/ba
The extension of the construction to three or more ideals is straightforward
— see Exercise 2.63 below.
-2.6.6 Modules
We now look at the construction of modules over a direct product of rings
R = R1 x ... x Rk. Given a set {M1 7 ... ,M}, wItere each Mi is a (right)
Ri-module, we form the R-module M = M1 ED .. - @ M k as follows. First take
the direct sum of Mi., • • • Mk as g-modulés: this is the set of all k-tuples
3
m (mfi, , mfk).
2.6.7 Homomorphisms
Homomorphisms of R-modules are also determined by their actions on the
Ri-module components, as follows.
Let M = MI @ • - ED Mk and N = NI ED • •ED Nk be R-modules, with Mi and
Ni Ri-modules for i = 1, . , k. Given a collection {a1 , crk } of Ri-module
homomorphisms ci : Mi —* Ni, we define
a= ED • • • ED : A4^ N
by
a(mi, • • ink) = (aimi, • • ,akmk).
Clearly, a is an R-module homomorphism.
In the reverse direction, given an R-module'homomorphism a: M N,
define ai : A Ni by cri(mfi ) = (am)fi , where , fk} is the full set of
orthogonal central idempotents which expresses R as a direct product. Then
each ai is an Ri-module homomorphism and
am = al (mii) + • • • + ak(nifkb
that is, we regain a as the direct sum
a -= cri ED • ak•
We also note that, since the idempotent fi is central, it can be viewed as
defining an R-endomorphism Ai of a right R-module M by left multiplication:
2.6 DIRECT PRODUCTS OF RINGS 103
Ai(m) = m f. It is easy to see that Pti, , AO is a full set of orthogo-
nal central idempotents of the endomorphism ring End(MR), thus giving a.
decomposition of rings
2.6.8 Theorem
Let R = R i x • • • x Rk be a direct product of rings and let M = Mi.& • -EDMk
and N = N ED. • • EDNk be decompositions of R-modules into .Ri-modules. Then
the following hold.
(i) There is a natural isomorphism of abelian groups
Hom R (M N) Homrt i (M 11 NO ED • • ED HomRk (Mk, Nk)
given by
a4 ® VP ak.
In particular,
for i = j,
HomR(Mi, Ni) = Ni)
0 for i j,
where, for each i, M i and Ni are regarded as R-modules by restriction
of scalars along the canonical surjection from R to R.
(ii) The homomorphism a is injective or surjective if and only if each homo-
MO7phism a i is injective or surjective respectively.
(iii) There is a ring isomorphism
2.6.9 Corollary
Let R and M be as in the theorem.
(a) M is finitely generated as an R-module if and only if each A is finitely
generated as an Ri-module.
(b) M is projective as an R-module if and only if each A is projective as an
Ri-module.
104 DIRECT SUMS AND SHORT EXACT SEQUENCES
Proof
(a) M is finitely generated if and only if there is a surjection from Rn to
M for some integer n, which can happen if and only if there is a collection of
surjections from (Ri ) to A, 1 < i < k, since R Rle • - • e R.
(b) This follows from the observation that a short exact sequence of R-
modules
0-0K---)L--)M-0 0
decomposes into a direct sum of short exact sequences of Ri-modules
0 ) K2 ) L2 )A 0.
01
02
R2
be a pull-back diagram of rings and ring homomorphisms. Show
that there is a• pull-back ring D which is defined by imitating the
construction for modules (2.4.8).
What goes wrong with the obvious attempt to define a push-out
for rings?
Suppose further that
tt2
M2
is a pull-back diagram of modules, each module being defined over
the corresponding ring, and that the maps Al, 112 are abelian group
homomorphisms which are compatible with the module structures.
(Stated alternatively, pi is an Ri-module homomorphism, N being
an Ri-module by restriction of scalars.)
Show that the (abelian group) pull-back of the diagram is a D-
module and that the homomorphisms in the resulting diagram are
compatible with the module structures.
2.6.13 The case k = 2 of Proposition 2.6.3 can be sharpened in the following
way. Suppose that a is a (twosided) ideal of a ring R and that a is itself
a ring under the multiplication in R. For nontriviality, suppose that
the multiplicative identities e = 1. and 1R are distinct and nonzero.
(i) Show that e is an idempotent with a = Re = eR.
(ii) Let r E R and ..write re = ea and er --,- be for a, b E a. By
considering eRe; deduce that e is a central idempotent.
(iii) Conclude from Proposition 2.6.3 that there are ring isomor-
phisms
eR x (I e)R -24 a x RI a.
(iv) Show conversely that any ring isomorphism R Si X S2 arises
from such a twosided ideal of R.
3
NOETHERIAN RINGS AND
POLYNOMIAL RINGS
Now that we have the fundamental notions of ring theory and module theory
at our disposal, we can discuss the properties of some particular types of ring.
These rings are chosen because they play an important role in K-theory, but
they are also natural objects of study for an introductory text on ring theory.
Our main aim is to present the structure theory of their modules in a form
which will be useful elsewhere.
The first special class that we consider comprises the Noetherian rings. This
is still a very broad class, as it includes the great majority of the rings that
one normally encounters.
We then investigate skew polynomial rings and their modules. A skew
polynomial ring A[T, a] over a coefficient ring A consists of polynomials over
A, but with multiplication by the variable T skewed by the action of an
endomorphism a of the coefficient ring A, so that a • T =T • cxa. In favourable
circumstances, the K-theory of the skew polynomial ring is the same as that
of A. In other cases, the skew polynomial construction can be iterated to
obtain examples of rings with rather complicated K-theory.
Our definitions and results are presented mainly for right modules, and it
will be clear that they all have formal left-handed counterparts. However, the
reader is alerted to the fact that the discussion is no longer left—right sym-
metric, in that, for some particular rings, the properties of left modules differ
considerably from those of right modules. For instance, there are examples
of rings which are right Noetherian without being left Noetherian and also of
right polynomial rings which are not left polynomial rings.
108
3.1 NOETHERIAN RINGS 109
are Noetherian. We see that Noetherian rings have invariant basis number,
and give a criterion for a ring to be non-Noetherian.
3.1.2 Proposition
Let
, a
0 M. M M" 0
110- NOETHER IAN RINGS AND POLYNOMIAL RINGS
Proof
Suppose that M is Noetherian. A submodule of M' is isomorphic to a
submodule of M, and so is finitely generated. A submodule N of M" is the
homomorphic image ofit-s inverse image
13 1N= M I firri E N}
in M. Since p-1N - is finitely generated, so also is N. Thus M' and M" are
Noetherian.
Conversely, consider a.submodule N of M. Let N' = N n aM' and let N"
be the image of N in M", so that there is an exact sequence
0 -4, Nt N N" 0.
Since both N' and N" are finitely generated, so also is N.
3.1.3 Corollary
Let {Mi,... , Mk} be a finite set of Noetherian right R-modules. Then the
direct sum Mr 0 • • • ED Mk is also Noetherian.
In particular, a free right module of finite rank over a right Noetherian ring
must be Noetherian.
3.1.4 Theorem
Suppose that R is aright Noetherian ring and that M is a finitely generated
right R-module.
Then M is Noetherian.
3.1.6 Theorem
Let M be a right R-module. Then the following assertions are equivalent.
(1) M is Noetherian.
(ii) M satisfies the ascending chain condition.
(iii) M satisfies the maximum condition.
Proof
(i) => (ii). Let Mi. C — • C Mi C Mi+1 C • - • be an ascending chain of
submodules of M. Then U Mi is a submodule of M, so it is finitely generated.
But we can choose h so that each generator of UMi is in Mil so the chain
terminates there.
(ii) = (iii). We argue by contradiction. Suppose that X is some set of
submodules of M which does not have a maximal member. Assume that for
some i > 1 we have constructed a chain Mi. C - - - C Mi of members of X, with
proper inclusions. Since Mi is not maximal in X, there is a further member
Mi±i of X with Mi c M+1, and so we can construct an infinite ascending
chain in M.
(iii) = (i). Given a submodule N of M, let X be the set of finitely gen-
erated snbmodules of N. Clearly, X is not empty, and so has a maximal
member L, say. If L N, there is some n E N with n ft L. But then
L+nR E X, contrary to the maximality of L. So L = N after all, making N
finitely generated. I=1
112 NOETHERIAN RINGS AND POLYNOMIAL RINGS
3.1.7 Corollary
kiing R is right Aroetherian if and only if it has no infinite ascending chain
-of right ideals. -ascending chain of right -ideals of R terminates.
3.1.8-Proposition
Suppose that M is a Noetherian module and that (/) is a surjective endomor-
pliism of M. Then (1) is an isomorphism.
Proof
Since-:-Ker çb C Ker e c •.. is an ascending chain in M, we must have
-Ker (fii = -Ker 0+1 for some i. Suppose m E Ker 0. Now m = Oin for some n;
but then n is in Ker 0+ 1 and hence in Ker çbt. Thus m = 0, and so Ker = O.
3.1.9- Theorem
Let R be a nonzero right Noetherian ring. Then R has invariant basis
number.
Proof
Suppose that there is an isomorphism Rn Rm with m > n. Clearly,
we can extend the isomorphism to a surjective endomorphism ti) of Rm with
kernel isomorphic to Rm. By (3.1.4), Rm is Noetherian, and so ti) is an
isomorphism by the preceding result. Thus m = n.
-Next we look at some methods for constructing Noetherian rings. The first
follows from--(&L2) - by a change of rings argument as in (1.2.14).
3.1:10 Proposition
Let a- be a (twosided) ideal of a right Noetherian ring R. Then the residue
ring Ria is also right Noetherian.
matrix rings M(k), with n an integer, are /C-algebras, as also are the cone
C1C and the infinite matrix rings Mc,cf (/C) and /14. f (K ).
Suppose that R is an extension of A. We say that R is right module-finite
over A if R is finitely generated as a right A-module.
For example, the group ring AG (Exercise 2.6.7) of a finite group G, with
coefficients in any ring A, is both left and right module-finite over A, the
generators being the group elements themselves. (In this example, we identify
A with the subring A. 1G of AG.)
An algebra which is module-finite over its coefficient field /C is of course
referred to as a finite-dimensional E-algebra, since it is finite-dimensional as
a vector space over K. The matrix rings AM/C), n an integer, are finite-
dimensional, but the cone Ck and the infinite matrix rings Mf (IC) and
M 1 (?C) are not.
Among the most frequent examples of module-finite extensions are orders.
Suppose that 0 is a commutative domain (that is, 0 is a commutative ring
for which, if ab = 0 for a, b in 0, then either a = 0 or b = 0). A ring R is an
0-order if the following axioms are satisfied.
A basic example is 7E, the integral group ring of a finite group, which
is a 7L-order. Also, for any commutative domain 0 and positive integer n,
the matrix ring Mn (0) is an 0-order. When 0 is actually a field, the term
'algebra' is preferred to 'order'.
The term 'order' was first used in the second half of the 19th century to
describe an arbitrary ring of algebraic integers in a number field. The usage
of the term was extended in the early part of the 20th century to include
noncommutative versions of rings of integers Peuring 1937]) — see Exercise
5.2.4. Our definition is cast in the widest (reasonable) form.
Our next result tells us that orders are often Noetherian.
3.1.12 Proposition
Suppose that R is a right module-finite extension of a right Noetherian ring
A Then R is right Noetherian.
In particular, if R is an 0-order with 0 Noetherian, then R is (left and
right) Noetherian.
114 NOETHERIAN RINGS AND POLYNOMIAL RINGS
Proof
Note that any right ideal a of R is an A-submodule of R and so by (3 1 4)
a finitely generated A-module. But then a is a finitely generated R-module._
3.1.13 Proposition
Let R be a domain and suppose that there are two nonzero elements a and
b of R with Ra n Rb = O.
Then
Proof
There is an obvious surjection from the direct sum to the given ideal. This
map is also an injection, since any relation
with rm and rn both nonzero, would give a nonzero element r„,b in Ra n Rb.
Since no ideal Rbai is zero, the direct sum is infinite, and therefore the ideal
a cannot be finitely generated.
Exercises
3.1.1 Show that a ring R is right Noetherian if and only if its opposite R°
is left Noetherian.
3.1.2 Let X be the field of fractions of a commutative domain O. Show
that IC is not a Noetherian 0-module (except when IC= 0).
3.1.3 Show that a subring of a Noetherian ring need not be Noetherian.
Heavy hint. By (1.1.12), a commutative domain is contained in a
field.
3.1.4 Let R = R 1 x • x Rk, a direct product of rings. Show that R is
right Noetherian if and only if each Ri is right Noetherian.
3.2 SKEW POLYNOMIAL RINGS 115
3.1.5 Let f R S be a surjective ring homomorphism. Show that a right
S-module M is Noetherian if and only if it is Noetherian as a right
R-module. In particular, S is right Noetherian as a ring if and only
if it is Noetherian as a right R-module.
Deduce that the following are equivalent.
(a) R is right Noetherian,
(b) S is right Noetherian and Ker f is Noetherian as a right R-
raodule
3.1.6 Let R and S be rings and let M be an R-S-bimodule. When is the
(generalized) upper triangular matrix ring T = ( R M ) right
0 S
Noetherian?
3.1.7 Let D be the pull-back of rings defined by the diagram
R1
01
02
R2
in which both 01 and 02 are surjective. Show that the ring D is right
Noetheriaa if and only if both R1 and R2 are right Noetherian.
3.1.8 A ring may satisfy the ascending chain condition for proper twosided
ideals without being Noetherian.
Consider the cone CR of any ring R. By Exercise 1.1.3, CR has
a simple residue ring S, which trivially satisfies the ascending chain
condition on twosided ideals. By (2.3.2), CR does not have invariant
basis number, and so S also fails to have invariant basis number
(2.3.6). Thus S is not left or right Noetherian (3.1.9).
3.1.9 A submodule L of a right R-module M is called intersection irre-
ducible (or intersection indecomposable) if there are no submodules
M1) M2 of M with L = M 1 n M2 and L Mi_,L M2.
Suppose that M is Noetherian. Show that any proper submodule
of M can be written as a finite intersection of intersection irreducible
submodules of M.
Hint. Show that, if not, there is a maximal counterexample.
ao + Tai+ • • +T k ak,
where ao , al, . . . ,a are in A and k> 0, with addition given by the usual rule,
but with multiplication twisted by the rule
a T =T • cra.
The properties of the skew polynomial ring depend both on A and on the
endomorphism a. If A is right Noetherian and a is an automorphism, then
Hilbert's Basis Theorem (3.2.3) tells us that A[T, a] is also right Noether-
ian. However, when a is not an automorphism, A [T, a] need not be right
Noetherian even when A is right Noetherian.
For most of the discussion, we confine our attention to the case when the
coefficient ring is a field or division ring. Then, for any endomorphism a, the
skew polynomial ring is actually a right Euclidean ring, that is, it satisfies a
division algorithm analogous to the familiar division algorithm on the integers
Z.
As many of our results depend only on the Euclidean property, rather than
any special properties of skew polynomial rings, our results are stated and
proved in the broader context of Euclidean domains. They can then be applied
to Z itself, and also to the ring of (integral) Hurwitz quaternions, and, later,
to complete discrete valuation rings.
so that each Ti has degree i. We can then write the member a(T) of A[T, al
in the form
a(T) = T oao val T iai+ • • • + Tk ak.
Such expressions are not unique, since terms with coefficient 0 can_ always
be added on. However, if
b(T) = T °b0 + +•-+ + • + Ttbt
is another right polynomial, then a(T) = b(T) if and only if deg-a(T) -=-
deg b(T) and ai = N. for all i < deg a(T).
Now introduce multiplication in A[T, a] by the rule
= (ai) •bi , where ai, bi E A.
It is easy to verify that A[T, a] becomes a ring, with zero the zero polynomial
and identity T°, and that Ti is indeed the i th power of T. As expected, we
write T° = 1 and 711 = T. When a is the identity map on A, we regain the
ordinary polynomial ring A[T].
The ring A[T, a] also contains left polynomials, that is, elements of the
form ac, + alT + • + akT k . Such an expression can be rewritten as a -right
polynomial
ao + 71 • cy(ai ) +•••+ Tk • ak (ak ).
However, a right polynomial cannot in general be written as a left polynomial
unless a is surjective.
Note also that the coefficients of a left polynomial need not be unique;
for example, if a is in the kernel of a, the left polynomial aT is 0. Thus-,
in general, it is not safe to attribute a degree to a left polynomial as such.
However, when a is injective, a left polynomial can be allocated_ the same
degree as its right-handed version.
It is clear from these comments that when a is an automorphism- of A,. we
could equally define A[T, al in terms of left polynomials, using a 1 ii place
of a. When a is not an automorphism, the ring. AV, al cannot be viewed. as
a left polynomial ring.
118 NOETHERIAN RINGS AND POLYNOMIAL RINGS-
Proof
Since a is an automorphism of A, we can regard an .element of A[T, a] as a
left polynomial
x = + xiT + • • + Xkl ik
3.2.4 Corollary
If A is right Noetherian, so also is 0
The above corollary leads to Hilbert's original form of the Basis Theorem:
if a is an ideal in a polynomial ring KV ' , K a field, then a is finitely-
generated. This result [Hilbert 1932-35] is fundamental to modern algebraic
geometry in that it allows an algebraic variety to be described as the set of
common zeros of a finite collection of polynomials.
We next investigate some stronger results that can be obtained by choosing
the coefficient ring A to be a division ring D. The discussion includes -as a-
special case the ordinary polynomial ring 1C[T] over a field /C. (Our notational_
convention is that D denotes a division ring, possibly commutative, while the
symbol /C is reserved for a (commutative) field.)
Recall that the ring R is a domain if the equation ab =. 0 implies that a =0
or b = O. We record
120 NOETHERIAN RINGS AND POLYNOMIAL RINGS
3.2.5 Lemma
(i) Suppose that A is a domain and that a is an injective endomorphism of
A. Then AP', al is also a domain.
(ii) If a is any endomorphism of a division ring D, then D[T, a) is a domain.
Proof
The first assertion has an easy verification, and the second follows since any
endomorphism of V must be injective. 0
3.2.8 Proposition
Let a be an endomorphism of the division ring D. Then the skew polynomial
ring D[T,a1 is a Tight .Euclidean ring with cp(f) = 2deg(f) for f 0 0 and
cp(0)=O.
We could equally use the function cp(f) =1 + deg f for f 0 0, cp(0) = O. 0
3.2.9 Proposition
Let R be a right Euclidean domain.
(i) Given two nonzero elements a, b of R, we have cp(ab) = cp(a) if and only
if b is a unit in R.
(ii) An element u of R is a unit in R if and only if
Proof
(i) Suppose that cp(ab) = cp(a). By applying (ED3) to the pair a, ab, we
may write
a(1 — bq) = r,
122 NOETHERIAN RINGS AND POLYNOMIAL RINGS
where ça(r) < cp(ab) = 92(4 So, by (ED2), 1 —bq = 0 and.b has a right inverse
q. Next, by applying (ED2) to the products bq and b = b(qb), we find that
cp(bq) = p(b). So, by our previous argument, q also has a right inverse, b' say.
Then b = bqb' = b', and hence b is a unit with twosided inverse q.
Conversely, if bc = 1 for some c, then (ED 2) yields
cp(a) = cp(abc) cp(ab) cp(a).
(ii) Since y(a) = cp(1a) > p(l) for any nonzero a, cp(1) is the minimum as
claimed. If cp(u) = p(1), then cp(1u) = w(1), and u is a unit by part (i). The
rest of the proof is clear, on putting a = 1 in part (i). 1=1
Recall that a domain R is a right principal ideal domain if each right ideal
a is principal, that is, a = aR for some element a in R.
3.2.10 Theorem
Let R be a right Euclidean domain. Then R is a principal right ideal domain
and hence right Noetherian.
In particular, given a division ring D with endomo7phism a, the skew poly-
nomial ring D[T , a] is a principal right ideal domain.
Proof
The argument is almost identical to that used in the familiar case where
R is Z, or the ordinary polynomial ring over a field. Given a nonzero right
ideal a, choose any nonzero element a c a with cp(a) minimal; then the divi-
sicin algorithm is used to show that a generates a. The fact that R is right
Noetherian is immediate from the definition (3.1.1).
3.2.12 An example
We next exhibit a ring which is right but not left Noetherian. Even more: the
ring is right but not left Euclidean. We follow [McConnell Sz Robson 1987],
§1.2.11.
Let /C be a field and let A = IC(X) be the field of rational functions over
IC in a variable X (thus /C(X) is the usual ring of fractions of the commuta-
tive polynomial ring /C[X]). The substitution X 1— X 2 defines an injective
endomorphism a of A which is not surjective. Take R = A[T , a].
We claim that RT n RTX = 0, which follows from the observation that an
element of RT must have the form
124 NOETHERIAN RINGS AND POLYNOMIAL RINGS
(Erai(X))7' = Er+lai(X2),
3.2.14 Lemma
(i) If a is a proper endomorphism, or if a is an automorphism with infinite
inner order, then
Z (D [T , a]) = IC n Da .
3.2 SKEW POLYNOMIAL RINGS 125
(ii) If a has finite inner order n, with an(d) = (d(', then
Z (D[T , a]) = IT c1 n Darla
Proof
If d E D belongs to Z(D[T, al), then d must be in the centre of D, and
Td = dT = Ta(d), so d is invariant under a.
Suppose that g =Trng,+ + go is in the centre. Calculating Tg shows
that a(g) = gi for all i. But then xg = gx for x in D gives
ai (x)gi = gix for all x,
so that either gi = 0 or di is inner. This establishes assertion (i). It also shows
that, in case (ii), if gi is not zéro, then i = mn for some m and g„,,„ = Cinz„,
with zi„ in Z(D). 111
3.2.15 Ideals
We now have enough information to determine the ideals of D[T , cd. By the
right Euclidean property, a twosidéd ideal a in D[T, a] must be given as a
right ideal a = g(T)V[Ta] in which the generator g(T) has the property that
D[T, a]g(T) C g(T)D[T ,
Such a polynomial is called semiinvariant. If
D[T r a]g(T) = g(T)D[T, a],
then g is normal or invariant.
In combination with (3.2.14), the next two results characterize in turn the
semiinvariant and normal polynomials of D[T , a].
3.2.16 Theorem
The twosided ideals of D[T , a] are precisely those principal right ideals whose
generators are of the form rg, when g E Z(D[T,a]) and t > O.
Proof
It is easy to check that principal right ideals of this form are in fact twosided.
For the converse, we may assume that the generator of the principal right ideal
a is of the form g = T t f, where f = 1+Ej> ,Ti fi. Now gT—Tg lies in a and
has degree at most deg(g) + 1; so it must be of the form g(Ta + b) for some
a,b E D. However, gT —Tg has no terms in degree either t or t + 1, forcing
a = b = O. Thus gT = Tg and so each fi E V. It follows that fT = T f. A
126 NOETHERIAN- RINGS AND POLYNOMIAL RINGS
3.2.17 Cordnary
(i) When a is an autornorphism, each semiinvariant polynomial of D[T, a]
is normal.
(ii) When a is a proper endbmvrphism, the -normal polynomials of D[T,cti
are the constant polynomials in IC n V'.
Proof
(i) This' is clear from the description of semiinvariant polynomials in the
theorem.
(ii) Suppose that Tc is a semiinvariant polynomial where cErn D*,
and choose d. E D outside the, image of ce. Then T t cd E D[T,cx]T t c precisely
when t = O. El
We also record the fact that a skew polynomial ring may have very few
ideals in comparison with an ordinary polynomial ring.
3.2.18 Coronary
Suppose that the endomorphism a ofEris either proper or an automorphism
of infinite inner -order. Then the ideals-of D[T, a] are TtD[T, a] for t O.
Proof
By (3.2.16), an ideal has-a generator in Tt Z(V[T, a]) for some t; by (3.2.14),
any element of Z(D[T, a]) is invertible in D[T, a].
3.2.20 Lemma
Let a and b be elements of D [T , a], where a is an automorphism of a division
ring D. Then the following are equivalent.
(i) a ii b -
(ii) There is a normal element c of D[T,a] such that
Proof
We rely on the fact (3.217) that each ideal of D [T, a] is generated by a
normal polynomial.
(i) (ii). From the definition,
D[T, alb Ç aD[T , a] and bD[T, a] Ç D[T , a]a;
thus we can take c to be the generator of the twosided ideal D [T , a]bD[T , a].
(ii) = (iii) (i). Straightforward. 0
When D[T, a] is far from commutative (as measured by the inner order of
a), total division is a rare phenomenon (see (3.2.18)).
3.2.21 Proposition
Suppose that the automorphisra a of a division ring D has infinite inner
order, and let f be a monic polynomial.
Then f II g for some g if and only if f -,-. T h for some h > O.
Proof
From the description of normal polynomials given in (3.2.16), f must di-
vide some T'; but an easy argument shows that the monomial T' has only
monomial factors. 0
Exercises
3.2.1 Let R be a commutative Euclidean domain and let p be an_irreducible
element of R. Prove the following assertions.
(a) The ideal pR is maximal.
(b) If b E R and p does not divide b, then
1 = sp -Ftb for some s, t E R.
(c) If plbc where b,c E R, then either plb or plc (perhaps both-hold).
Hence prove the claim in (3.2.22): if a E R and
a = pi • • 'Pr = q3
For z in IHI, put cp(x) = -N(z) = Y. Show that for any element
• in H-, there is an element -h of-H with c,o(x - h) <1. Deduce that
H is_ a (twosided) Euclidean domain which satisfies condition (ED 2'):
cp(a)cp(b) = c,o (ab).
Show that the group-of-units U(H) of H has order 24.
Prove that the -following elements of H are irreducible: d =1 +
t=r+i+jandf
Verify that 2 = dd, 3 = tti 5 = ff and that d = u for some unit
u of H. Show that there is no unit x of H with t = xl or f x7.
Remark. These results can be interpreted informally as meaning that
2- becomes- a square in_ H while 3 and 5 split into distinct primes
- this foreshadows phenomena that we investigate in section 5.3 for
quadratic. fields.
It can be-shown thatany odd prime p in Z splits into two distinct
primes in H. This in essence is a consequence of Euler's Theorem
that the congruence 1 + x2 + y2 a 0 (mod p) is always solvable for
odd p. A detailed discussion is given by [Dickson 1938], §91. The ring
H is designated thus in honour of its first investigator, A. Hurwitz
(see [Hurwitz 1896]), while the symbol H for the quaternion algebra
3.2 SKEW POLYNOMIAL RINGS 131
commemorates Sir W. R. Hamilton, whose original account is to be
found in [Hamilton 18531.
3.2.6 Opposites.
Given an endomorphism a of the ring A, define a° on the opposite
ring A° by a o(a o,) =(aa)°. Verify that a° is an endomorphism of A°
and that (A[T , a ]) ° can be identified as the skew left polynomial ring
AAU, al over A° corresponding to a° (in which Ua° =
P AQ = diag(e , 0 - ) 0)
a diagonal matrix, with eille211— • lie, Moreover, P may be -obtained-by apply-
ing a sequence of row operations to the identity matrix, -and Q may be obtained
by applying a sequence of column operations to the identity matrix._
Proof
We may assume that A O. We argue by induction on_the size (n;p)..of
A, and, for each given size, on N(A) = min{cp(aii) I aid 01. Tile -technique
is to apply a sequence of elementary row and column operations-, _by the
remarks above, each step can be represented by pre- or- postzmiltiplicdtion by
an invertible matrix, and so therefore can the whole sequence.
Step 1. Consider first, as the basic step in the induction cm (n,p1., -the case
where A = (ai , , ai,) is 1 x p. Exchange to ensure that_.w(a i) =
134 NOETHERIAN RINGS AND POLYNOMIAL RINGS
al left divides a, then a column operation converts ai to O. If al does not
left divide some ai, we have ai = alqi + ri and cp(ri) < (p(ai), by the division
algorithm. Thus a column operation reduces N(A). By induction on N(A),
we can therefore reduce to the row matrix (e, 0, , 0). The case p = 1 is
similarly established.
Now consider A in general.
Step 2. Exchange rows and exchange columns so that ço(aii) = N(A). As
in Step 1, we can reduce N(A) unless an left divides every entry of the first
row, and similarly we may assume au right divides every entry in the first
column. Thus we may assume that
( an 0 O
A=
0
B
O
with B an (n —1) x (p — 1) matrix.
Row and column operations performed on B can also be performed on
A without disturbing its block form, so by the induction hypothesis we can
further reduce to the case
A = diag(ai, b2, , 4,0,...,0) with b211
Step 3. If a 1 11b2, we are done. If, say, al does not left divide db 2 for some
d, add d times row 2 to row 1. Then, as in Step 1, addition of a suitable
right multiple of the first column to the second reduces N(A), allowing the
induction to go through.
3.3.5 Lemma
Let K be a submodule of the free right R-module. Rn of finite rank n, where
R is a principal right ideal domain. Then K is free, with_rank(K) < n.
Proof
We argue by induction on n. If n = 1, K is a right-ideal in R and so is
either the zero ideal (free of rank zero) or a nonzero principal right ideal (a
free right module of rank one).
For n> 1, let Ir be the homomorphism from -Fr to R.:given by-projection -
to the nth term. Thus Kerr is isomorphic to the free stitmodule R" -1 .
IrK = 0, we are done; if not, irK = aR is a principal right ideal-. Choose any
k in K with irk = a; then K K n (Ker 7r) e kR and Rer Ir has rank n - 1.
Proof
Suppose that M has n generators. Then there is a surjection 7r from R" to
M, whose kernel K is free, of rank p < n by the lemma. Choose a basis for K,
say {h, ... , fp }, and let {c1, ... , cn } be the standard basis of Rn. Then we
can describe the inclusion map b from K to Rn by an n x p matrix A = (ai),
where
the jth column of A. (Recall that we regard the standard free module as
consisting of 'column vectors.)
By the Diagonal Reduction Theorem, there exist invertible matrices P and
Q and nonzero elements el, e2, ... , e r of R with
3.3.9 Lemma
Let A be a right Noetherian ring, let a be an automorphism of A and let
R = A[T, a] be the skew polynomial ring.
Given an element r E R and a monic (right) polynomial g in R, then there
is a monic polynomial f with r f E gR.
Proof
Let p:R— (rR+gR)IgR be left multiplication by r, so that Ker p =1p E
R I rp E gill. Suppose that g has degree n -I- 1. Then RIgR is generated
as a right A-module by 1, T, ... ,r1L . Since A is right Noetherian, R/gR
is Noetherian by (3.1.4), and hence the submodule Im p has a finite set of
generators of the form f, rT,. .. ,Tr i for some m. Thus there is a relation
r.fo + Frfi -I- - • • + fr nfin + Trn+1 = 0, with fi E A,
which gives
fo + T fi + • • • + rnfrn + T m+1
as the desired monic polynomial in Ker p. El
Note that without the key conclusion that f is monic, the above result
would be a consequence of the right-handed version of (3.1.13).
This brings us to the main result. ,
3.3.10 Theorem
Let A be a right Noetherian domain with an automorphism a and let R =
A[T,a] be the skew polynomial ring.
Suppose that there are elements a and b in A such that
(i) a is not invertible,
(ii) aR + (T + b)R = R.
Then the module P = aR n (T + b)R has the following properties.
(a) P is a projective right ideal in R,
3.3 MODULES OVER SKEW POLYNOMIAL RINGS 139
(b) P R R 2,
(c). P is not isomorphic to R,
(d) P is not free.
Proof
Definer : R 2- R by (r, s) ar-- (T -1-b)s. By (ii), r is surjective, and it
is split since R is free. -Further, since R is a domain by (3.2.5), the surjection
Ker ir —+ P, r ar, is an isomorphism. Thus (b) is true, and (a) follows.
The final assertion will follow from (c), since R has-invariant basis number by
(31.9).
We prove -(c) by contradiction. _Suppose that P R as a right R-module,
so- that aR n (T + b)R = xR for some x in R. We _argue in three steps to
contradict (i) above, as follows.
Step-i. deg(x) = 1.
-Since A-is right Noetherian, we can- find nonzero u and y in A with au =
b(aa)v (31.13). -This giVes
a(Tt-+ = (T + b)cr(a)-v E aR n (T + b)R.
Then (T +b)a(a)v = xs for some s in R; since R is a domain, this can happen
only- if deg(x) = 1 and a E A-or vice versa. However, x E (T +b)R, so x must
have degree 1.
Step 2. x = a(Tc + d),. where c is a unit in A and d E A.
Since x has- degree 1, we. certainly have an -equality s = a(Tc + d) with
c, d E A. On the other hand, the lemma above shows that there is a monic
polynomial--f with af E -(T +.b)R. This means that af E P and so af = xh
for some--h; :thus f = (Tc+ d)h and c is indeed a unit.
Step 3, The contradiction.
Using (ii-) again, we--have 1 = ay + (T +b)z for some y and z in R. Since c
is a unit, we can write y = (Tc + d)q + e with e in A. (This is easily seen by
induction on deg(y).) Then, because-a(Tc + d) = s E (T b)R, we have
=-a(Tc +-d)q + ae + (T +b)z ae +(T + b)R.
A direct-calculation now forces a to '13e-a unit, contrary to (i).
-As-an-applitation, we have
3.3.11 _Theorem
Let D be -a noncammutative -division. ring- Then there is a stably free, non-
free, right ideal in the polynomial ring D[X1-, X2i.
140 NOETHERIAN RINGS AND POLYNOMIAL RINGS
Proof
Choose two elements e and f of D which do not commute, and set A =
T = X2, a = X1+ e and b = f in the preceding theorem (here a is
the identity). Then
a(T + b) — (T + b)a = ab — ba = ef — fe
is a unit in V and belongs to aDI.X1, X2] + + .01)[X].., X2]. 0
Exercises
3.3.1 Let A be an n x n square matrix over a Euclidean domain R. Show
3.3 MODULES OVER SKEW POLYNOMIAL RINGS 141
that A is invertible (over R) if and only if the invariant factor form
of A is diag(ui, , un) with each u a unit of R.
3.3.2 Uniqueness of rank and invariant factors
Let R be a commutative Euclidea.n domain and let A be an n x p
matrix over R. Akxk minor of A is, by definition, the determinant
of akxk submatrix of A, where 1 < k < min(n,p). For fixed k, the
k th Fitting- ideal Fitk(A) of A is_theideal of R -generated by the set
of all k x_k minors of A.
Show that for any p x g matrix B,..the columns of AB are R-
linear combinations of those of A. Deduce that akxk minor of
_AB is an R-linear combination_ of k x k minors of A and hence that
Fitk(AB)- C-Fitk(11). Show also that Fitk(AB) C Fitk(B).
Prove that for an n x n invertible matrix P and apxp invertible
matrix-Q, Fitk(PAQ) = Fitk(A) for - all k.
Let E- = diag(ei , , 0) be in invariant_ factor form. Show
that Fitk(E) = e -. ...ekR for k = 1, ... ,r, and Fitk(E) = 0 for k > r.
Deduce that-if E-and f3,0,..., 0) are both invari-
ant-factor forms ofthe same matrix A, then r = s and, for i = 1, . . . , r,
= e•ui for some unit ui of R.
3.3.3 A right R-module M, for R an arbitrary ring, is said to be bounded if
Ann(M) 0 0, where-the twosided ideal Ann(M) = Ir E R I Mr =
is the annihilator of M.
Let- b be a right ideal of R. Show that the cyclic module Rib is
bounded if and only if -b -contains a_nonzero twosided ideal of R.
Suppose now that M is a finitely generated right Dr, cd-module,
where a- is-an-automorphism-of the division ring D, and that the rank
of Mis -0_ Show that there- is-at most -one unbounded term in the
invariant-factor decomposition of M.
3.3.4 Let ab e an _automorphism of infinite inner order of the division ring
D. Find the unbounded cyclic D[T, al-modules, and list the possible
invariant factor decompositions of :finitely generated D[T, al-modules.
3.3.5 Show that form > 2, p[xl ,...,x-n has a stably free, non-free right
] -
ideal.
3.3.6 _Let rn be an even (nonzero) sguarefree integer (that is, in the prime
Tfactorization m = 2p. • •p., the primes 2,pi, ,p3 are all distinct).
Put Q- =--- Z[m-1 1, the subring of Q consisting of those fractions
that-can be written-a/nit with a E Z and t > 0, and let A =
Then A has an automorphism a given by
a(u+ tr\inn, = u —
142 NOETHERIAN RINGS AND POLYNOMIAL RINGS
Let a = (1+ jrn)/2. Show that the ideal A[T, alan A[T , a](T + aa)
is stably free but not free.
3.3.7 A converse to (3.2.10), based on (3.3.10) ([McConnell .8z Robson
19871), §11.2.12).
Suppose that a is an automorphism of the ring A and that R =
A[T,c ] is a principal right ideal domain. Show that the following
hold.
(i) A is a domain.
(ii) There is an order preserving injective map from the set of right
ideals of A to those of R, namely a aR; thus A is right Noe-
therian.
(iii) Take a 0 in A. Then aR+ TR is principal, generated by some
b in A.
(iv) We have that b has a right inverse, and so aR+TR = R.
(v) If a is not a unit of A, then aR n TR is not principal.
(vi) Hence A is a division ring.
0 0 ... 0 hn.-2
0 0 1
0 0 0 ... 0
0 0 0 •. . 1 a/
145
146 ARTINIAN RINGS AND MODULES
with the circumstances when a module is the direct sum of its irreducible
submodules.
As the terminology suggests, our treatment of the subject matter follows the
axiomatic approach introduced in [Artin 1927]. Before then, the descending
chain condition was used implicitly in the context of algebras over fields — see
(4.1.2)(ii) below.
We concentrate on right modules; clearly, there is a parallel discussion for
left modules. The ambient ring R is arbitrary. Many of our statements have
trivial exceptional cases when the module (or ring) is a, we do not state these
separately.
4.1.2 Examples
(i) The zero module is obviously Artinian. Next in complexity, we have
the irreducible modules. Recall from (1.2.16) that an R-module M is
irreducible if M is nonzero and M has no proper submodules, that is,
the only submodules of M are 0 and M. Clearly, an irreducible module
is Artinian.
(ii) A field or division ring is evidently both right and left Artinian. If R is
an algebra over a field K, that is, k is a subring of the centre of R, and
R has finite dimension as a /C-space, then R is right and left Artinian
since any ideal of R is also a subspace of R.
4.1 ARTINIAN MODULES 147
More generally, any finitely generated right R-module is Artinian for
the same reason. Thus it is possible to avoid a formal statement of the
descending chain condition if one works only with algebras.
(iii) For a nonzero integer d, the residue ring Z/dZ is finite -and so Artinian,
both as a ring and as a Z-module. More generally, if d is 11. nonzero ele-
ment of a right Euclidean domain, then RldR is an Artinian R-module.
To see this, recall that any right ideal of R is principal (32.10), and -so
each proper submodule of RldR has the form xRldR, with x a proper
left divisor of d. By (3.2.9), cp(x) <(d). Thus any descending chain in
RI dR must terminate in at most 99(d) steps.
4.1.4 Proposition
Let M be a right R-module. Then M is Artinian if and only if any nonempty
set of submodules of M has a minimal member.
Proof
We argue by contradiction. If there is an infinite descending chain in M,
then the set of distinct members of the chain does not have _a minimal member.
Conversely, if there is a set of submodules without a minimal- member,.it is
clear that we can construct an infinite descending chain. in M. ti
4.1.5 Proposition
Let
M M "
Proof
Suppose that M is Artinian. It is immediate that M' is Artinian. If
• • • C Mf+i C C•••C C M"
is a descending chain in M" (with infinite index set), define
= ir- I(Mt) = fm. M I win
148 ARTINIAN RINGS AND MODULES
4.1.6 Corollary
Let {M1,... ,M s} be a finite set of Artinian right- R- modules. Then the
direct sum Mle • • • ED M, is also Artinian.
4.1.7 Theorem
Suppose that R is a right Artinian ring. Then
(i) each free right R-module Rk of finite rank is Artinian,
and
(ii) every finitely generated right R-module is Artinian.
this composition series is k + 1 and the composition factors arising from this
series are the ireducible modules Mi/Mi+ 1, j = 0, , k. Note that MilMi + 1
is irreducible precisely when is a maximal submodule of M, that is,
there 4s no module L with Mi+ i C L C M (1.2.13).
We can now characterize modules that have a composition series.
4.1.9 Lemma
Let M be a right R-module. The following statements are equivalent.
(i) M 5; both Artinian and Noetherian.
-(ii) Every proper - descending chain in M an be refined to a composition
series.
(iii) M has a composition series.
Proof
Suppose that we have a descending chain-
: 0 C Ne- C • • --C C Nj C • • • C C NO = M
which- is not a -composition series, and choose the smallest index j such that
Ni/Np.i. is not Irreducible. Since M is Noetherian, so is N, and hence Ni
and /15-/NJA.1 are also Noetherian (3.L2). By (3.L6), Ni./Ni+i has a maximal
submodule 1,, -whose inverse image is a maximal submodule L of Ni with
Ni+1 C L C N. Thus we have a refinement AP of H.
_Proceeding_in this way, we- obtain a succession of -refinements
composition factors
{Mi/Mi Fi I i
- =
and
{iVilNi+i = 0, • • • lk}
so that corresponding factors are isomorphic.
Proof
We proceed by induction on the length of the shortest composition series;
noting that a submodule of an Artinian module is again Artinian-. We may
suppose that the series (I) has minimal length among all composition series
of M. If k = 0, then M is irreducible and there is nothing to show. Suppose
then that k > 0 and that the theorem is true for all modules that have a
composition series of length less than k +1. ,
If M1 = N1, the result is immediate, so we assume that M1 0- N,. Then
+ N1 = M, which implies that the natural homomorphism from M1 to
(M1 + Ni)/Ni induces an isomorphism from M1/(M1 (7 Ni)- to M/Ni by the
Second Isomorphism Theorem (Exercise 1.2.2). In particular, MIAMI n N1)
is irreducible. Similarly, there is an isomorphism /W(Mj n - N1) M/M1 .
Now refine the chain
M1 nN1 CM1 CM
to a composition series
0 = La-Fi C L a C C L2 = n c Mo = M
4.1 ARTINIAN MODULES 151
of M. Since
0 = Mk+i C Mk -C • • • C M2 C
and
0 = L3+1 C L s C • • • cLM1 nN1 c
are both composition series for M1, theinduction hypothesis shows that k = s
and that there is a bijective correspondence between their sets of composition
factors under which corresponding modules are isomorphic.
Similarly, as
0 77- Lk+1 C Lk C • C L2-= M1 flN c
and
0 = Nf+1 C C • • • C N2 C
are both composition series for N1, we-find -that k and there is again a
bijection between the sets of composition factors of these. series with corre-
sponding modules isomorphic. The theorem follows.
4.1.11 Multiplicity
The Jordan—Milder Theorem allows us- to define an important numerical in-
variant for an R-module which is both Artinian_ and- Noetherian, namely, its
multiplicity type.
First, we define a representative set
1(R) = {IA -1 A _Ar}
r
of irreducible right R-modules as follow. We require-that if is- any irre-
ducible right R-module, then I IA for- some A, and_ that I I when
A A; the set A is an ordered set-butthe choice of ordering is not. important.
In general, the set A need not be finite (Consider Z; the irreducible modules
have the form Z/pZ, p prime). _If A- is finite, we write it as {I, , k} for some
integer k, in accordance with our usual practice:
Given an Artinian and Noetheri,an R- module. M-_and an index A, the mul-
tiplicity ItA of IA in M is defined by choosing a composition series for M and
counting the number /LA of composition factors that are isomorphic_to rA. The
multiplicity type of M (sometimes-called-the dimension type) mtilt(M) is-then
the sequence-
HIEllt(M) =-7 (AA I A E A) E zA.
4.1.12 Theorem
Let
-11. MI -- ■10 M. -* 0
be an exact sequence of right R-modules.
Then the following hold.
(i) M has a composition series if and only if bath M' and M" have compo-
sition series.
(ii) If the modules M, M' and M" all have oomposition series, then
Proof
Assertion (i) follows from criterion (i) of (4.1.9) above, together. with the
corresponding results for Noetherian and Artinian-modules, (3.1.2) and (4.1_5)
respectively. For (ii), we appeal to the implication (iii) (ii) - of (4.L9) to
see that the chain 0 C c M can be refined to a composition series of
M. Clearly, the set of composition factors of M -arising from this-series is
the union of the set of composition factors of-M' with the set of composition
factors of M/M' M", provided we count multiplicities. D
4.1.13 Reducibility
It is clear from the definition that an irreducible submodule I of an R-module
M is a minimal submodule, in that there can be no other subraod.ule-J with
OCJC I; conversely, a minimal submodule must be irreducible.
We define the socle soc(M) of an arbitrary--R-module M to be the sum of
its minimal submodules:
soc(M) =DI I I Ç M, I irreducible}.
If M has no minimal submodules (for example, if M = 0), we put soc(M) =
O. We say that M is semisimple if M = soc(M); clearly, soc(M) is itself
semisimple.
4.1 ARTINIAN MODULES 153
Suppose now that M is nonzero and Artinian. Then M must have at least
one minimal submodule, and so soc(M) is nonzero,. and Artinian by (4.1.5).
However, it may well be that the set of minimal submodules of a given Artinian
semisimple module is infinite- - an example is provided by the-vector space K2
over an infinite field K. Our aim now is to show that their sum will be given
by a finite subset.
Proof
If M' is M, take A O. Suppose that M' M, and let X be the set of all
subsets A of E with the properties that (i) -holds and that S(A) n M' = O. To
see that X is not empty, consider any m M'. By semisimplicity, there exist
ma E I. with m E rn, . Then m,-V M' for some a, and so the irreducible
module /, = rnŒR has trivial intersection with M'. It is straightforward ta
verify that X is an inductive set, ordered by inclusion of sets, and therefore
has a maximal element, A say, by Zorn's-Lemma. (1-.2.19).
We need only show that (ii) holds,-that is, M' + 5(A) = M. Ifnot, we can
argue as before to find an index a for which
Proof
Applying the Complementation Lemma to the- zero submodule, we find
a set VA I A E A} of minimal submodules such that M is the direct- sum
M= EDA /A. But then the index set A must be finite, since otherwise we
could construct an infinite -descending chain by omitting, terms successively.
M .11 ED •• e30/k
of M into minimal submodules such- _that, for some h with 1 < 1. < k,
= El) ••• ED
and
Ih+1 - • ED 4.
4.1 ARTINIAN MODULES 155
Proof
The Complementation Lemma (4.1.14) shows that
M' ED e{.b, E A} = M
for some set {/A 1 of minimal submodules of M. But then M" em,
giving
(i). This also shows that M" is semisimple, while by (4.1.5) M" is Artinian.
Likewise, the isomorphism M' MI@ Ix shows M' to be Artinian and
semisimple, which proves (ii).
Assertion (iii) follows by applying the Complete Reducibility Theorem to
M' and M" and labelling minimal submodules appropriately. 0
Here is another useful consequence of the Complete Reducibility Theorem.
4.1.18 Corollary
Let M be a semisimple module. Then the following assertions are equiva,
lent.
(i) M is Noitherian.
(It) M is Artinian.
(iii)- -M has a composition series.
(iv) M is completely reducible.
Proof
By (4.1.9), (iii) implies both (i) and (ii). The Complete Reducibility Theo-
rem (4.1.16) shows that (ii) implies (iv), and clearly (iv) implies (iii). Finally,
suppose that (i) holds. By the Complementation Lemma (4.1.14), M = ED IA
for some set {.TA IÀ E A} of minimal submodules of M. It is easy to see
that, if A. is infinite, then we can construct an infinite ascending chain in M,
contrary ta the implication (i) = (1i) of (3.1.6). Thus A must be finite, which
establishes that (iv) is a consequence of (i).
Next, we consider a direct product R = R 1 X • • X Rk of rings. For future ap-
plications, we need some information on the relationships between irreducible,
semisimple and- Artinian R-modules and the corresponding modules over the
component rings Ri.
4.1:.19 - Theorem
Suppose-that as rings R = R 1 x x Rk and let M be an R-module. Then
M- can be written in the form M = M19 ED Mk where each component Mi
is an Ri-module, and the following relationships hold between the properties
of M and those of its components.
156- ARTINIAN RINGS AND MODULES
= 0 for all j i.
(b) If N- is another irreducible R-module, then M N as an R-module if
and only if Ni 0 for the same i, and further Mi [41 Ni as an Ri-module.
(c) M is a semisimple R-module if and only if every Mi is a semisimple
R1 -module.
(d) M is .Artinian as an R-module if and only if each summand Mi is Artinian
as an R i-module.
(e) M has a composition series if and only if each component M i has a com-
position series, in which case
where mult i(—) denotes the Ri-module multiplicity. This relation holds
in particular when M is Artinian and semisimple.
Proof
First, we recall that the discussion in (2.6.6) shows that an R-module M
can be_ written as a direct sum
m= ED • - • ED mk
with each component Mi an Ri-module, and that any Ri-module is an R-
module by restdction of scalars.
(a) Clearly, if one component of M is not irreducible as an Ri-module, or
if two components are nonzero, then M cannot be irreducible, so (i) implies
(ii). The converse is clear.
(b) Immediate from (a) and (2.6.8).
(c) By. (a), the set of minimal R-submodules of M is the disjoint union of
the sets of minimal Ri-submodules of each Mi, so M is the sum of its minimal
-submoduks precisely when the same holds for each of its components.
(d) This follows inductively from (4.1.5), since by our initial observation
descending chains of R-modules in Mi coincide with descending chains of
Ri-submodules of Mi.
(e) It is now clear that a composition series for Mi as an Ri-module is the
same as a composition series for Mi as an R-module, so the assertions follow
from (4.1.12) and (4.1.18).
We next look at the effect of a homomorphism of modules on minimal (that
is, irreducible) submodules and on the socle.
4.1 ARTINIAN MODULES 157
4.1.20 Lemma
Let a : M' M be a hornomoiphism of right R-modules. Then, when
restricted to any irreducible submodule I of M', a is either the zero map or
an isomorphism from I to the minimal submodule aI of M.
Proof .
Let a' be the restriction of a to I. Then Ker a' is I n Ker a, which is
a submodule of I, and so it is either I or zero. When a' is injective, each
submodule of a/ gives- a submodule of I, hence cr.' must also be irreducible.
In-the case where M' = M is itself irreducible, the preceding result (4.1.20)
(or -a variant thereof) is known as Schur's Lemma.
4.-1.23 Proposition
Let M be a right R-module, with a minimal submodule N. Then
_0 C • • C Mk C • • • C Mi+i C C•••C C M
4.1.25 Theorem
Let M be- an_ Artinian R-module. Then the socle series reaches M if and
only if M is Noetherian.
Proof
By repeated applications of (4.1.5), each factor soc i+1 (M)/ soc(M) is Ar-
tinian; it is certainly semisimple, and so Noetherian by (4.1.18). Thus (3.1.2)
4.1 ARTINIAN MODULES 159
shows that each term in the socle series is Noetherian, as must M be if the
series reaches it.
On the other hand, if M is Noetherian, the ascending chain condition,
together with the fact that each factor in the series is nontrivial, guarantees
that the series reaches M.
Exercises
4.1.1 Let D[T, oj be a skew polynomial ring over a division ring D, with a
an automorphism of D. Show that a finitely_generated right D[T,
module M is Artinian if and only if the rank of M is O. (On the other
hand, any finitely geUerated Dr, al-module is Noetherian.)
Extend this result to arbitrary (twosided) Euclidean domains.
4.1.2 Show that a Z-module S is irreducible if and -only if S Z/pZ for
some (positive) prime number p, and that Z/pZi".. Z/qZ if and only
if p = q. Describe the multiplicity type of a cyclic module Z/dZ in
terms of the prime factorization of .d, and hence find a connection
between the Jordan—Holder Theorem and unique prime factorization
in Z.
4.1.3 Unique factorization
The observation made in the preceding exercise can be used to
formulate a unique factorization in an arbitrary (right) Euclidean
domain R, as promised in (3.2.22). Prove the following assertions.
(i) An element u E R has a right inverse if and only if u is a unit —
note (3.2.9).
(ii) A right R-module S is irreducible if and only if S-S%-4 RIpR with
p irreducible in R.
(iii) If d = ab in R, then aRlabR RIbR.
Deduce that any nonzero, nonunit element d of R has a factoriza-
tion d = pi pk into irreducible elements of R, -and that the set of
isomorphism classes of irreducible modules RIpiR, counting multi-
plicities, is independent of the factorization of d into irreducibles.
Recall from (3.2.22) that elements p, q of R are right similar if
RIpR '-..11 R1qR. Prove that if d = q 1 ...qt is another irreducible fac-
e
torization of d, then k = and the sets {pi, .. , pk } and {qi,..., qk}
of irreducible factors of d can be arranged into right similar pairs.
4.1.4 -Similar elements.
Continuing the theme of the preceding exercise, let R be a (possibly
160- ARTINIAN RINGS AND MODULES
noncommutativel. domain, and let d and e be elements of R. Show
that the following -are .equivalent.
(i) - RAU? .Ftfekas right R-modules (that is, d and e are right
( db) (a — e)
0 ---) R R2 ---4.1? 0
of right R-modules, where the matrices act by left multiplication.
Now assume that R is commutative. Show that (ii)(a) and (ii) (e)
together imply that -e and d are associates. Part (vi) of Exercise
4-.2.7 shows that similar elements need not be associates when R
is not commutative.
4.1.5 For this exercise, -we-need to assume the elementary divisor theorem
for Z-modules: if M is a finitely generated Z-module, then
M Z h e Z/qa - • • ED Z/q.,Z, where q • =p7(i) , pi prime;
_the primes , A, are unique up to order and the rank h and the
integers n(1), , n(s) are unique. (Wd eventually derive this result
as a special case of our discussion of modules over Dedekind domains
— see -(6.3.24)
Find soc(Z/qZ), .q a prime power, and hence give the socle series
of a finitely generated- Artinian Z-module.
4.1.6 Let p be a fixed prime. The quasicyclic p-group (or Priifer group
of type plx) a is defined as follows. For each i > 0, let Ci 'be the
(additive) subgroup of Q/Z consisting of all those elements which
-have order dividing pi. Then each Ci is cyclic, and Ci C C.1. Put
G =UCi.
Show that G is Artinian as a Z-module, but not Noetherian.
4.2 ARTINIAN SEMISIMPLE RINGS 161
4.1.7 The Z-module G in the previous exercise is not finitely generated.
Our next example, due to P. M. Cohn (private communication), is
cyclic and Artinian, but not Noetherian.
Let V be a vector space over a field IC, with a countably infinite
basis lu, vi , v2 , Let R = T2, ...) be the noncommutative
polynomial ring in a countable set of variables. Then V becomes an
R-module by the rules
4.2.2 Proposition
Let R be a right Artinian simple ring. Then R is semisimple as a right
R-modiLle.
Proof
By (4.1.23), the socle soc(R) of R is a twosided ideal of R. Since R is
Artinian, soc(R) 0; thus soc(R) = R. D
We now state-the crucial structure theorem for Artinian semisimple rings,
which contains a much -more precise version of the preceding proposition.
R M n (D)
R Mai (D 1) x • • • x
a direct product of matrix rings, where ph . Dk are division rings.
7
Apart from permuting the order of the components, the natural numbers
n1,-. . , nk are uniquely determined by R, and the division rings are unique
up to ring isomorphism.
ekieik =- {
ehk =
0 if i
-andia, matrix A = (aii)- can_be written
.Then, for each i, the right Mn (D)-module eiiMn (V) consists of the 'i th'
row of M(V), that is; it comprises those matrices A in Mn (D) whose entries
are alL 0 except possibly in the i th row. Clearly,
= eiiMn(D) • ED endin(D).
Right multiplication by matrix -units shows that each right ideal eiiMn(D) is
an irreducible module, being generated by any of its nonzero members.
Notice also that for each pair of indices i, j, left multiplication by e • i defines
an M, (V) - module isomorphism from eijMn (D) to eiilifn (7 3 ) . Now, as we saw
in (2.2.14), Mn(D) can be identified as the endomorphisrn ring End(nD), so
that nD is a D-Mn(D)-bimodule. Then each eiiMn(D) is isomorphic as a
D-Mn(D)-bimod-ule to the -free left D-module n D of rank n, which we regard
as the row-space (of dimension n) over D. Thus we can rewrite the right
M(V) -module decomposition of the matrix ring in the form
(nDr.
M(V)
-with each Di a division ring. Since each Mni (Di) is Artinian semisimple, it
follows from (4.1.19)(c),(d) that R is also.
By our previous analysis, the decomposition of R as a direct sum of irre-
ducible right modules is given by
R cipon, ® (nk Dk)flk
4.2 ARTINIAN SEMISIMPLE RINGS 165
We now obtain the structure theorem for modules over direct products
of matrix rings, which, by the Wedderburn—Artin Theorem, will include all
Artinian semisimple rings.
4.2.7 Theorem.
Let R = Mn 1 (D1)x • • • x Mfl k (D k) , a direct product of rings, withih, . • - Dk
division rings, and let M be a finitely generated right R-module.
Then the following hold.
(i) M is both projective and semisimple as a right R-module. In particular,
R is semisimple as a right R-module.
(ii) A representative set of irreducible R-modules is given by
1(R) = {CIA), ( lik DOT
where each niVi is a right R-module by change of rings.
(iii) As a direct sum of right R-modules
(71,1N )h, ® (nk D oh k
Proof
Since M is finitely generated, there is a surjective homomorphism from Rs
to M for some integer s. As Rs is both projective and semisimple, (i) follows
from (2.5.5) and (4.1.17). Clearly Rs has a series with factors all isomorphic
to R, so Rs has a composition series all of whose composition factors belong
to the set
n
{ i . nk Do.
In particular, any irreducible R-module must be isomorphic to a member of
this set, by the Jordan—Holder Theorem (4.1.10). Thus (ii) holds.
Part (iii) follows from (0, (ii) and the Jordan—Holder Theorem again. For
part (iv), take ni = , co, en , 0, , 0), that is, the member of R which
has zero entry in each summand except the i th, where the entry is a matrix
unit of M 1 (V,.). EI
166 ARTINIAN RINGS AND MODULES
4.2.8 Corollary
The ffnitely generated- R:.module M is determined up to isomorphism by its
rnultiplidty type
m uIt ( M ) = (h 1 -
,
- hk
In the case when M is rust necessarily finitely generated, one can still say the
following.
4.2.9 -P roposition
-
Proof
By the -Complete Reducibility Theorem (4.1.16) we have R = a1Es ••• ED ak
for some minimal_right ideals -ai. Let s be in M. Then each nonzero term sai
must be a minimaf submodule of M by (4.1.20). Hence s E xal ED • • • (1)xak C
soc(M).
By combining this result with (4.1.18), we obtain the following useful result.
4.2.10 Corollary
Let R be an A-rtinian semisimple ring and let M be a right R-module. Then
the following are equivalent.
(i) M is Noetherian.
(ii) M_ is Artinian.
(iii) M -has a composition series.
(iv) M is completely reducible. D
4.2.12 Propositibn_
Let R be a (right) Artinian semisimple ring, for which a set of distinct
representatives of isomorphism classes of minimal right ideals is {J1 ,. Jk} •
Then the following hold.
4.2 ARTINIAN SEMISIMPLE RINGS 167
(i) There is an internal direct product decomposition R = R 1 x x Rk of
R as a ring, where each component Ri is given by
=E{I I I Ji as right ideals},
Proof
(i) It is dear that, as a Z-module, R = R1 + - - • + Rk, and, by (4.1.23),
each /4 is a twosided ideal of R. Thus the conclusion follows from (2.6.3)
provided that we can show that R is the direct sum of R1 , ... , Rk, which in
turn requires us to prove that
n (R1 + • + + R 1 + • • + Rk ) = o
for each i. However, if the intersection is not 0, it contains some minimal right
ideal J and J is isomorphic to both Ji and some fh, h 7L i, a contradiction.
-
4.2.13 Lemma
Suppose that R is an Artinian semisimple ring. Then R is a simple ring if
and only if all the minimal right ideals of R are isomorphic as R-modules.
Proof
Suppose first that R is a simple ring. Since R is Artinian, it has a minimal
right ideal J, say (4.1.4). By (4.1.23),
Our next result provides the final link in the proof of the Wedderburn—Artin
theorem.
4.2.15 Theorem
Let R be an Artinian simple ring. Then R Mn (D) for some division ring
D and natural number n.
The division ring D is unique up to ring isomorphism, and the natural
number n is unique.
Proof
Choose any minimal right ideal I of R. By (4.2.13) and complete reducibil-
ity, we have, for some n, R In as a right R-module. Then it is easy to
verify that
R = End(RR) /14.(End(IR))
(see Exercise 2.1.6). We put D = End(iR), which is a division ring by. Schur's
Lemma.
If also R M„,,(D'), then, as in (4.2.5), the first row of the matrix ring is
(isomorphic to) a minimal right ideal J of R, and D' "=%.' EndR(J). But I "=%.' J
as a right R-module, so D D' as a ring. Further, we can view J as a left
4.2 ARTINIAN SEMISIMPLE RINGS 169
D-module, and then
n1 ) m13,
which shows that m = n.
4.2.17 Theorem
Suppose that R is a ring such that every right R-module is projective. Then
R is an Artinian semisimple ring.
_Pro
- of
The hypothesis ensures that every quotient module of R, and hence every
right ideal in -R, is a direct summand of R, so R is semisimple by the converse
assertion in -the Complementation Lemma 4.1.14. But the identity element
of RIS a sum = Ei ei with only finitely many nonzero components, and
so any- -element r = 1 • r involves only the same set of nonzero components.
170 ART1NIAN RINGS AND MODULES
Thus R is the direct sum of finitely many minimal right ideals and hence R
is Artinian.
Exercises
4.2.1 Let R be a right Artinian ring. Show that, if a E R, then there are
an integer k and an element b in R with ak = ak+ib .
Deduce that, if R is a domain, then it is a division ring.
4.2.2 Prove that a ring is Artinian semisimple if and only if it is equal to
the sum of its minimal ideals.
Hint. Writing 1 as a finite sum of elements from minimal ideals,
show that the ring itself is also the sum of the same minimal ideals.
Thereby obtain a composition series.
4.2.3 Let f : R S be a surjective ring homomorphism. Show that, if R
is an Artinian semisimple ring, then so is S.
Hint. Exercise 4.1.8.
fCAC \
4.2.4 Let T = T2(1C) = be the ring of upper triangular matrices
0 k
1 0 r) (0 0 \
over a field, and let a = and c =
0 0'b= 0 0 0 )•
Show that a and b are twosided ideals of T while c is a right ideal,
and that b and c are isomorphic minimal right ideals of T.
Find a composition series for T as a right T-module, and show
that any minimal right T-ideal is isomorphic to b. Show further that
there are two isomorphism classes of irreducible right T-modules, cor-
responding to the two isomorphism classes of irreducible right (T/b)
(4.1.19)(b). Deduce also that T is not semisimple. (This-modules
illustrates that the ring R in (4.2.13) must be assumed to be semi-
simple.)
4.2.5 This example shows that the results of (4.2.5) do not hold for infinite
matrix rings, which may fall to be simple even if the coefficient ring
is simple. For an application, see Exercise 2.3.1.
Let R be a ring. Recall that Mwcf (R) is the ring of column-finite
square matrices with rows and columns indexed by the natural num-
bers, that is, each column of a matrix has only finitely many nonzero
entries. Recall also that the cone CR of R is the subring of M 1 (R)
comprising those matrices with only finitely many nonzero entries in
any TOW.
Let 931 be the subset of MY (R) consisting of all those matrices
4.2 ARTINIAN SEMISIMPLE RINGS 171
with a finite set of nonzero rows, and define mR = 9R n CR. (Thus,
(b 0)
a E mR.#. a = with b finite.)
00
Show that 931 and rrift aré twosided ideals, in MY (R) and CR
respectively.
• Now take the coefficient ring to be a field IC, and recall that there
is a ring isomorphism MY (IC) End(V), where V = /Cs), a /C-space
of countably infinite dimension (2.2.13).
Show that MI corresponds to the set Endf(V) of endomorphisms
f of V of finite rank, that is, dim(f V) < co. Verify directly that
Endf(V) is a maximal twosided ideal of End(V), so that 9R is _maximal
in MY (1C).
Hint. By the method of (1.2.20), any linearly independent set of
vectors in V is part of a basis for V.
Show also that 9R is the only nontrivial- proper twosided ideal of
(iC).
Deduce that mris the only nontrivial proper twosided ideal of GK.
4.2.6 Lat k be a field. Show that maximal ideals of the polynomial ring
r[T] correspond to the irreducible polynomials p(T) in IC[21. Show
that the simple rings G = IC[T]/p(T)KT] are fields, and that there is
a natural injective ring homomorphism t from k into G.
Regarding c, as an identification, show that G is a finite extension
of IC (that is, dimn G is finite.)
4.27 D as a D[T, al-module
Let D be a division ring, a an automorphism of D.
Given any element a of D, we turn D into a D[T, a]-module M(a)
as follows: write mo for the identity element of V, and define
4.3.2 Examples
(i) If I is an irreducible module, then 0 is its unique maximal submodule
and so rad(/) = O. If S = OAEAli is semisimple, A_an,arbitrazy index_
set, then rad(S) = 0 also.
(ii) Let p be a prime number. Then rad(Z/pri) = pZ/prZ,Aioth as -ring -and-
If a = pri (1) • • •p-ra(n) is the factorization ofan integer a- into- asZ-module.
powers of distinct primes, then rad(Z/aZ) = Pi ••• p.„Z/aZ.
(iii) Let /CH be the ring of dual numbers over a field K. Then rad(JCLED =
€Ac[€].
4.3.4 Lemma
For any module M, rad(M/ rad(M)) = O.
If M' is a maximal submodule of M, then the quotient- module M-/M' is
irreducible. Conversely, if I is an irreducible module and -there is a nontrivial
R-module homomorphism /3 from M to I, then Ker is a maximal submodule
of M. This leads to a fundamental result.
4.3.5 Lemma
The radical of a module M is given by
rad(M) = n{Ker /3 I fl:M -> /-, / irreducible},
where the intersection is taken over all hombmorphisms fi and irreducible
modules I. D
4.3.6 Proposition
Let c M N be a homomorphism ofright R- modules. Then
a(rad(M)) Ç rad(N):-
Proof
If fi is a homomorphism from N to I with I irreducible, then fia is a
homomorphism from M to I. Hence f3a(rad(M)) = 0 for air such fi.
4.3 ARTINIAN RINGS 175
4.3.7 Corollary
For any R-module M, rad(M) is a fully invariant submodule of M.
In particular, the Jacobson radical rad(R) is a twosided ideal of R. ID
Next, we investigate the relation between the radical of an R-module and
the_ Jacobson radical of the ring R. Recall that, given a right R-module M
and a right ideal a of R, the submodule Ma of M is
Ma = { rri a + • • • -I- Mhah I mi E M, E a, h E N}.
4.3.8 Lemma
Let M be a right R-module. Then M rad(R) g -rad(M).
Proof
Let T be an irreducible module and choose any r in I. Define 13 : R I
by r-1-4 xr. Then (3(rad(R)) = 0, so / rad(R) = O. Now if 7 : M I is any
homomorphism, 7(M • rad(R)) Ç I • rad(R), so M • rad(R) Ç Ker 7.
4.3.9 Temma
Let M be a finitely generated right R-module and let M' be a- submodule of
M. Then the following are equivalent.
(i) rad(M).
(ii) If L is a submodule of M with M' L = M, then L M.
Prpof
(i) = (ii): Suppose that M' L = M. If L is proper, then by (1.2.21)
there is a maximal submodule that contains both L and M'.
(i): If N is maximal, then (ii) forces M' N = N. So M'C N, as
required.
For the next result, recall that the group of units U(R) of an arbitrary ring
R is the set of elements of R that have twosided inverses under multiplication;
thus x E U(R) precisely when there is some y E R with sy = 1 = yr.
The following is one of the more important theorems in the subject, despite
its- traditional title as a lemma.
Proof
By Lemmas (4.3.8) -and_ (4.3.9); implies (ii). Taking L _to be 0, we see
(
.)
that (ii) implies and the converse- follows from considering MIL.
(ii) =1-..-(iv): -Let x E j and -gut u -= 1 + x. Then R = j + uR, hence by (ii)
R = -u-R and uv = 1 for some y-. But y = 1 — xv E 1 j, so y also has a
right inverse which is necessarily u. Moreover, the set 1 + j is easily seen to
be closed=under both multiplication-and taking inverses.
(hr) (i): Suppose that j Ls-not -contained in some maximal right ideal a.
Then R = a + j, so 1 = a + z with a in a, x in j. But then, by (iv), a is
, -
invertible, so a = R. D
then
(1 + (x + y)r)(1 st) = 1 + yr(1 + x') E U(R).
We now have a series of results about the radicals of rings and modules.
4.3.12 Lemma
Let j be -a twosided ideal of R, with r : R RI j the canonical ring surjec-
tion. If j Ç rad(R), then rad(R/j) = 7I-(rad(R)).
4-3 ARTINIAN RINGS 177
Proof
If n is a maximal right ideal of R/j, then its inverse image 7r-1n = {r ERI
7rr E n} is a maximal ideal in R. Conversely, if m is maximal in R, then 7rm
is maximal in Rlj since j C rad(R) C m. Thus
The next result uses the elementary observations on 'change of rings' made
in (1.2.14).
4.3.13 Proposition
Let j be a twosided ideal of R, with j C rad(R). Then a representative set
of irreducible right R-modules is given by
Proof
For both R and R/ rad(R), representative irreducible modules are of the
_form R/m where m is a maximal right ideal (and so j C rad(R) C m).
We now return to the study of right Artinian rings. First, we record two
preliminary results, which may be stated for Artinian modules in general.
Note that Lemma 4.3.5 may be paraphrased to say that for arbitrary M
'there is an embedding of M rad(M) in the direct product Haw/ ma ) , where
{Ma } e, is the set of maximal submodules of M. For Artinian modules, this
product can be taken to be finite, as follows.
4.3.14 Lemma
Let M be an Artinian right R-module. Then
rad(M) = mi n • . n Mk
for a finite set {MD ... , Mk} of maximal submodules of M.
Proof
Suppose that we have found maximal submodules MI, , Mh such that
the intersections Li = M n n M i < it, form a descending chain
,
If rad(M) Lh, there must be some maximal submodule Mh+1 not containing
L h, so we can extend the chain downwards by defining Lh+I = Lk n igh+1 c
L h. By the descending chain condition, we must reach rad(M) in a finite
number of steps. 1:1
178 ARTINIAN RINGS AND MODULES
4.3.15 Theorem
Let M be an Artinian right R modute. Then M is sernisimple if and only
- - -
if rad-(M) = O.
Proof
We take maximal submodules {M,... Mk } -of M such that rad(M) =
n- • • fl M, as_ in the preceding lemma. -Then M/ rad(M) is a submodule of
4.3.16 Theorem
Let R be a right - Artinian ring. Then R/ rad(R) is a semisimple Artinian
ring.
Proof
First, note that R/ rad(R) is. Artinian as- a module over itself since by
(4.1.5) it is already ArtInian as an R-module (see Exercise 4.1.8). By (4.3.12),
rad(R/rad(R)) = 0, and hence It/ rad(R) is semisimple by the previous result
(4.3.15). D
4.3.17 Corollary
Let M be a right module over a right Artinian ring R. Then
mcl(M) = M rad(R).
In particular, M is semisimple if -and only-if M • rad(R) = O.
Proof
We know that M • rad(R) C rad(M) by (4.3.8). Conversely, M/ (M. rad(R))
is a module over the semisimple ring Rfrad(R) and so is semisimple -by (4.2.9),
which gives the reverse inequality.
We can now strengthen (4.3.13).
43.18 Corollary
Let R be right Artinian. Then R has a finite representative set of irreducible
right R-modules, given by
1( R) = I(RI rad(R)).
4.3 ARTINIAN RINGS 179
4-3.19 Nilpotent ideals and a characterization of Artinian rings
Recall that the product of two right ideals a and b of a ring R is
ab = {alb' + • • + akbk I Q E a, bi E b, 1 <i < k, k > 0},
4.3.20 Proposition
Let R he a right Artinian ring. Then the following hold.
(i) rad(R) is nilpotent.
_(ii) If j- is any nilpotent (right or left) ideal of R, then j C rad(R).
-Proof
By the descending chain condition, (rad(R))k = (rad(R))k+ 1 for some k.
Suppose that (rad(R))k 0. Then there is some nonzero right ideal a of
R with -a(rad(R))k 0, (for example, R itself), and, as R is right Artinian,
there must be a right ideal a which is minimal among such ideals by (4.1.4).
Choose some a E a with a(rad(R))k 0. Then
a(rad(R)) Ç aR Ç a
and
a(rad(R)) • (rad(R)) k = a(rad(R)) k+1 = a(rad(R)) k 0.
4.3.23 Proposition
Let R be a semilocal -ring. Then R has a finite representative set of irre-
ducible right it-modules ; given by 1(R) = 1-(RI rad(R)).
4. 3. 24 Local rings
An important special case of a semilocal ring is a local ring. By definition, R
is local if R/ rad(R) is a. division ring. It is clear that such a ring R is one
with -a unique irreducible module, namely R/ rad(R) itself. Equivalently (see
(1.2.16)), a local ring is a ring R with a unique maximal twosided ideal which
is also simultaneously the unique maximal left ideal and the unique maximal
right ideal of R. Since this unique maximal ideal is necessarily the Jacobson
radical, a further characterization is that R is partitioned as the disjoint union
R = U(R)il rad(R).
This partition is equivalent to the information that every multiple of a non-
invertible element is quasi-invertible. Or again, from the fact that here the
sum of two nonunits is a nonunit, one concludes that R is local if and only if
the equation r + s = 1 forces either r or s to be a unit.
Finally, we note two technical lemmas that are very useful in K-theory.
4;3.25 Lemma
Let R be a ring, with a twosided ideal j C rad(R). Let x be an element of
R, and suppose that the image of x is invertible in R1j. Then x is invertible
in R.
Proof
Since x is invertible in R/j, xR + j = R, and so, by the implication (i)
(ii) of Nakayama's Lemma (4.3.10), xR = R. Hence x has a right inverse.
-Similarly x has a left inverse.
Proof
By the previous lemma, we can assume that rad(R) = 0 and so that R
is itsdIf an Artinian semisimple ring. By the Wedderburn—Artin Theorem
we know that R decomposes into a direct product of Artinian simple
rings and it is clearly enough to verify the assertion in each component.
Suppose then that R= M(V), where D is a division ring. We regard R as
the ring of endomorphisms of the right D-space V = Dn. Since R is completely
182 ARTINIAN RINGS AND MODULES
reducible, as a right R-module, the- Artinian_Splitting Theorem (4.1.17) shows
that there is a-right ideal ii! of R with a- d= R as a right R-module. Then
aV ED al, =-V as a D-space, from which we_see-that a= {a E RI aV C
Since a bR = R, we:have -aV + Im(b) = V, and so there is a subspace W
of aV with W Im(b) = V. Write V = Ker(b) U for some U. Then (as in
the proof of the 'rank and nullity theorem' hr undergraduate linear algebra)
b induces_an isomorphism from £1 to Ini(b) and. so Ker(b) W.
We can. now- chnose--an element a in---R —_-End(V) with the properties that
aET = 0-and that a induces an isomorphism from Ker(b) to W. Then aV =
W C ai'; so a E- a, and
(a-4- b).1( = .(a +-b)(Ker(b.) + = W Tm(b) = V,
which shows that a + b induces an automorphism of V and hence is a unit of
R.
Exercises
43.1 Show that a representative set -of irreducible modules for Z is
/(Z)-= {Z/pZ I p- prime}
and that rad(Z) = O. Why is Z not isomorphic to ep Z/pZ?
4.3.2 Let T = T2(IC) = ( IC be the ring of upper triangular matrices
0
over a field 1C. Find rad(T).
4_3.3 Let R and S be_ (right Aitinian) rings and let M be an R-S-bimodule.
(R M)-
Let T = be the- generalized triangular matrix ring de-
0 S
lned by the triple (R, S, M); recall that T is the set of all matrices
711
with r E R, s E S and m E M, with addition and multipli-
cation given in the obvious way.
Find rad.(T).
Hence or otherwise find rad(Tk(K))) where Tk (r) is the ring of k x k
upper triangular matrices over a field- r.
4.3 ARTINIAN RINGS 183
4.3.4 Let M be an Artinian module. The radical series of M is defined by
0 rad(R) R RI rad(R) 0
186
5.1 DEDEKIND DOMAINS AND INVERTIBLE IDEALS 187
All rings in this chapter are commutative, save for a few examples. Thus
any module can be regarded as a balanced bimodule (1.2.7) and any ideal is
twosided.
5.1.2 Lemma
An ideal p is prime if and only if the residue ring 0/p is a domain.
In particular, a maximal ideal of 0 is prime.
Proof
The first assertion is a matter of checking definitions. For the second, note
that, for any ideal i of 0, there is a bijective correspondence between ideals
a of 0 with iCaCO and ideals b of the residue ring 0/i, given by b = wa,
where r is the canonical surjection. I=1
An element p of 0 is prime if the following holds:
5.1.3 Lemma
(1):- The-element p _is_prime if and -only if the principal ideal p0 is prime.
(ii) Suppose-that 0- is a domain. If p. is -a prime element of 0, then p is
irreducible.
Proof
(i)- We can- write 1= a-I- b -with a in a and- b in b.. Ifs E ant), then s = x1
is in ãb. The reverse inclusion is clear.
(ii) Let 0 be the ring homomorphism from 0 to 0/a x 0/6 given by Or =
:MY), where r. indicates the residue of r both in 0/a and in 0/b. The kernel
of 0 is a n 13, so, by the Induced Mapping Theorem for rings (1.1.9), there is
an injective ring homomorphism T) from 0/a6 to 0/a x 0/6 induced by O.
5.1 DEDEKIND DOMAINS AND INVERTIBLE IDEALS 189
Given an element (7,7) in the direct product, write z = sa + rb in 0. Then
Ox =(3), so -61 is also surjective.
Proof
The first assertion is a restatement of the preceding theorem, and the second
follows by induction, on noting that aI and the product a2 - ak are coprime
(also by induction). 12
Proof
(i ) (ii) By definition, a has a finite set of generators {x l , ... , xt}. Place
these over a common denominator d; then a C Od -1 . Since a is nonzero, it
contains a nonzero element y of 1C, and some multiple of y will be an element
cEan O.
(11) = (iii) Immediate.
(iii) = (i) Since 0 'A' 0 d -1 as an 0-module, 0 d -1 is Noetherian and so a
is finitely generated. El
Our next result states that Frac(0) is an abelian monoid under multiplica-
tion of fractional ideals, with identity element the ring 0 itself.
5.1.9 Proposition
Let 0 be a commutative Noetherian domain and let a, b and c be in Frac( 0):
Then
(i) ab E Prac(0),
(ii) (ab)c = a(bc),
(iii) ab = ha,
(iv) Oa = a = a0.
Proof ,
By the above lemma, a C Ox and b C Oy for some nonzero x, y in IC.
Clearly, 0 ab C Oxy, which gives (i) using the lemma again. The remaining
assertions are easily checked. El
5.1.12 Proposition
Let 0 be a commutative domain. Then 0 is a principal ideal domain if and
only if 0 is a Dedekind domain for which C1(0) = 1. CI
The existence of the above exact sequence can also be established as a spe-
cial case of a more general construction in algebraic K-theory, namely the
localization sequence.
Next we look more closely at the circumstances when two ideals correspond
to the same class.
5.1.14 Proposition
Let - a and b be fractional ideals in a Dedekind domain O. Then {a} = {b}
in 0 1(0) precisely when there is an 0-module isomorphism a b.
Moreover, given a, there is an integral ideal b with {a} = {b} .
Proof
If {a} = lb 1, then, by definition, a = bx for some nonzero element x in the
field of fractions IC of 0, and the isomorphism is given simply by multiplication
by x.
Conversely, suppose that a: a b is an 0-module isomorphism Since
Oc C a for some c in 0, any element k of k can be written in the form
k = a/c with a E a. We can therefore extend a to a mapping a' : C K
by setting a'(k) = a(a) I c. A routine calculation, requiring only the definition
of the field of fractions (1.1.12), shows that a' is a well-defined /C-module
5.1 DEDEKIND DOMAINS AND INVERTIBLE IDEALS 193
5.1.16 Lemma
Let a be any fractional ideal, of a Dedekind domain O. Then
(i) a-1 = E K xa c
(ii) if b is a fractional ideal with b C a, then a -1 C b -1 .
Proof
(i) Denote the right-hand set by a/, which is clearly- an 0-submodule- of
K. If a is a nonzero element of a, we have al.. C 0a-1 , so ar is a fractional
ideal. It is obvious that a -1 C al. On the other hand, ara C 0 = a-l a, so,
multiplying on the right by a -1, we obtain the equality.
(ii) This follows readily from (i).
Given integral ideals a and b of any commutative domain 0, we say that a
divides b if b = ac for some integral ideal c; the notation is a I b.
5.1.17 Corollary
Let a and b be integral ideals in a Dedekind domain O. Then a divides b if
and only if b C a.'
Proof
We have b = ac where c = a-1 b is a unique fractional ideal, and a divides
b if and only if c is integral. D
The divisibility properties of ideals in a Dedekind domain lead to a result
on prime ideals that has no counterpart for general domains (see Exercise
5.1.6).
5.1.18 Lemma
Let p be a nonzero prime ideal of the Dedekind domain C. Then p is a-
maximal ideal.
194 DEDEKIND DOMAINS
Proof
Since 0 is Noetherian, there is a maximal ideal m containing p, and p = mc
for the integral ideal c = pm-1 . Suppose that p m, and choose some
m E m\ p. Then mc E p for ail e in c and so c c p. Therefore c = pt for some
integral ideal D. But then
m--1 =p - 1 c=0C 0,
hence 0 C (m -1 ) -1 = m, a contradiction. CI
We can now obtain the unique factorization theorem for fractional ideals,
which in essence tells us that Frac(Q) is a free abelian group generated by
the nonzero prime ideals of O. We use the standard conventions that, in any
multiplicative group G, g° = 1 and g-i = (g -1 )i for g E C andi E N.
a = pv(Pta)
• •
PEP
Proof
We first establish the existence of a factorization when a is integral. We
suppose that some such a has no factorization and obtain a contradiction.
Clearly, a is not maximal (nor is it 0 itself). Thus there is some maximal
ideal pi containing a; put al = apr 1 , which is contained in aa-1 by (5.1.16), so
that a4 is integral and a C al (since p i c 0). In turn, a l cannot be maximal
(or equal to 0), for otherwise we have factored a. Hence we can find a maximal
ideal p2 with ai C a1P2-1 = a2. Continuing this way, we obtain an infinite
ascending chain of ideals in 0, which is impossible since 0 is Noetheria.n
(3.1.6). Thus any integral fractional ideal does have a factorization.
By (5.1.8), given an arbitrary fractional ideal a, we have ad C 0 for some
nonzero d in O. Thus a = bc-1 with both b and c integral, and so a can
also be expressed as a product of prime ideals. Collecting like terms gives the
product expression.
Suppose that there are two different expressions for some fractional ideal a.
Cross-multiplying, expanding and cancelling if possible, we obtain an equality
of the form
Pi • • • Pk = C11 ' ' • Cif
5.1 DEDEKIND DOMAINS AND INVERTIBLE IDEALS 195
with , pk, ..,q all prime ideals, k > 1, e > 0 and pi qi for any
and j.
Obviously, e > 1. Choose some q E qi \ p i . Then q(q2...q2) c p i and so
q2 • • qe g pi. Repeating this argument leads to the relation qi C pi. But qz
is a maximal ideal by (5.1.18), so cle = pi, a contradiction. 0
We record two consequences of the theorem.
5.1.20 Corollary
Let a be a fractional ideal of the Dedekind- domain C. Then a is integral if
and only if v(p, a) > 0 for all nonzero prime ideds
5.1.21 Corollary
Suppose that a is an integral ideal of the Dedekind domain 0.
The above corollaries lead to some results which are useful in our discussion
of modules and in- the calculation of class groups. First, we extend a definition
which we made previously .only for domains. A principal ideat ring is a ring
in which every (left- or-right) -ideal is- a principal ideal.
5.1.22 Proposition
Let a be a. (nonzero) integral idea in a Dedekind domain_ 0. Then the
residue ring 0/a is an Artinian principal ideal ring.
Proof
Let w: 0 0/a te-the canon-icalsurjection. Any ideal b' of the residue.
ring has the form till for some integral idearb of _0 whia- contains a; we can
take b to be the inverse image-JDf b' _(1 2 -12). -As by-the preceding caroIlary
there are only- finitely-many such ideals,. 0/ais Artinian.
Let p i ,...,p k be the maximal ideals containing a. If each ideal irpi is
principal, then it is clear that every ideal in C/a is principal. To see that irPi,
say, is principal, choose, an-element x--in_O with x-E piAp? — note that 14- 0 42
196 DEDEKIND DOMAINS
for any proper integral ideal, since b has an inverse in FYac(0). The Chinese
Remainder Theorem (5.1.6) shows that there is an element y of 0 with
y z (mod p?) and y E. 1 (mod
-
-- pi) for i > 1.
Then a + yO = pi, so iry generates 71:01-
5.1.23 Corollary
Let a be an integral ideal of a Dedekind domain O. Then a is generated by
two elements, one of which can be chosen to be an arbitrary nonzero element
of a. 1:1
5.1.24 Proposition
Let a and b be integral ideals of the Dedekind domain O. Then there is an
0-module isomorphism
016 a/ab.
Proof
Using the last corollary, we can choose any a in ab and write a = (a, y) for
some y in a. Define O: 0 —> a/ab by Ox = yx + ab. Clearly, 0 is surjective,
and
Ker = {x l ys E ab} = {x l ax Ç ab} = a-l ab = b.
The result follows by the Induced Mapping Theorem (1.2.11).
5.1.26 Theorem
Let Z be a principal ideal domain with field of fractions K, and let s be a
nonzero element of K.
5.1 DEDEKIND DOMAINS AND INVERTIBLE IDEALS 197
Dien there are unique integers v(p,$), one for each p E Pe, almost all of
which are 0, such that s = u • flpEpe pv (Piz ) for some unit u of Z.
Proof
Take v(p, x). = v(pZ, sZ) in (5.1.19). 0
The next-observation follows from the fact that an irreducible element can-
not be factorized nontrivially.
5.•1.27 Corollary
Let a be an irreducible element of the principal ideal domain Z. Then a is
prime.
Exercises
51.1 Let -.7r : R --4 S be a surjective homomorphism of commutative rings.
Recall that, given an ideal b of S, -the _inverse -image of b is- ir- lb =
fr E R I 7rr _E b}, an ideal of R. Show that, if b is prime, then so is
5.2.1 Integers
Although we are mainly interested in integers that are defined
ed over the or-
dinary integers Z or a polynomial ring .9PC1, it will be useful to make our
initial definitions in a more general setting.
Let Z be a commutative domain with field of fractions Q.
5.2 ALGEBRAIC INTEGERS 201
An extension field K of Q is any field that contains Q as a subfield. We say
that IC is a finite extension of Q, or more simply that the extension KIQ is
finite, if IC is a finite-dimensional vector space over Q. When /C/Q is finite,
the degree [AC: Q ] is the dimension of K as a Q-space.
Suppose that we have such a finite extension AC/ Q, and let x be any element
of /C. Then powers 1, x, 2,• cannot be linearly independent, so there is
some nonzero polynomial g(X) E Q[X] with g(x) = 0. The set of all such
g is an ideal in Q[X], and so .has a unique monic generator m(X), since the
polynomial ring Q[X] is a principal ideal domain (3.2.10). We say that m(X)
is the minimal polynomial of x as it is the monic polynomial of smallest degree
with m(x) = 0.
We note that rn(X) is irredvcible, since a factorization m = gh in Q[X]
gives 0 = g(x)h(x) in the field K, hence g(x) = 0 or h(s) = 0, hence rn I g or
m I h.
A Z-integer in IC is defined to be an element a of IC which is the root of a
monic polynomial over Z, that is, there is a _polynomial
f(X) = Xn + fn_1Xn-1 + • - - + fo, with fn-i, , fo E Z 1
such that f (a) = 0.
If the ring Z can be taken as granted, a Z-integer is sometimes referred to
as an integer or an algebraic integer, although, strictly speaking, the latter
term should be reserved for the case that the coefficient ring is Z.
We now specialize to the case that Z is a commutative principal ideal
domain, which will be the situation in- our applications. The next result is
the basic tool for handling integers.
Proof
Let a = EZIrg(X) E Z[X]). and b = E Z I rh(X) E. Z[X]}. Both a
and b are nonzero ideals in the principal ideal domain Z; let y and z be their
respective generators.
Let d be the greatest common divisor of the coefficients of yg, that is, a
generator of the ideal (y, ygh_i, , ygo) of Z, where
g(X) = X k + + • • • ± go.
Then y/d E Z and (y I d)g(X) E Z[X] r which means that y/d is also a gener-
ator of a. Thus d must be a unit in Z, and we may take d to be 1. Similarly,
202 DEDEKIND DOMAINS
we can assume that the greatest common divisor of the coefficients of zh(X)
is 1.
Now suppose that y z is not a unit in 2. By the Unique Factorization
Theorem (5.1.26), there is an irreducible element p of Z which divides yz.
Since p and therefore p2 are also prime ((5.1.27) and (5.1.18)), the residue
ring 21p2 is a field. Thus (21p2)[X] is easily seen to be a domain. Taking
residues, we have (Vg)(X) • (zh)(X) = (y z f)(X) = 0 in (2 Ip2)[X], so either
(3)(X) = 0 or (zh)(X) = 0. Thus p is a common divisor of the coefficients
of (yg)(X) or of (zh)(X), a contradiction. Hence y and z must be units of 2,
and so g and h have coefficients in Z. 1:1
5.2.3 Corollary
Let /C/Q be a finite extension of fields, and let a E /C. Then a is a 2-integer
if and only if the minimal polynomial m(X) of a has coefficients in 2.
Proof
By definition, a is a 2-integer if and only if a is a root of some monic
polynomial f (X) over 2, and m divides f.
Next, we have some alternative criteria for an element x of /C to be an
integer. We write Z[x] for the 2-submodule of AC which is generated by the
powers {xi I i > 0) of x. Then 2[x] is a subring of K, and there is an obvious
surjective ring homomorphism from the polynomial ring 2[X] to Z[x], given
by evaluating X at x.
5.2.4 Proposition
For an element z of E, the following statements are equivalent:
(i) x is a 2-integer;
(ii) 2[x] is a finitely generated 2-module;
(iii) there is a subring R of IC which contains both Z and x and which is
finitely generated as a 2-module;
(iv) xM C M for some nonzero finitely generated Z-submodule M of K;
(y) x is an eigenvalue of some square matrix A with entries in Z.
Proof
(i) = (ii): If x is a root of some monic polynomial over 2 of degree n, say,
then Z[x] is generated by 1, x, ,xn -1 as a 2-module.
(ii) (iv): These are clear since Z is Noetherian.
(iv) = (v): Let ml , , mk generate M as a Z-module, and write
xmi = aii mi + • • + aikmk for i = 1, , k.
5.2 ALGEBRAIC INTEGERS 203
Put A = (ao), a matrix with entries in Z. Then
mi ) ml
(xi — A) ( i = 0 with •
•
•
) 0 in /Ck.
mk Mk
(y) =(i): Working over the field K we see that x is a root of the charac-
teristic polynomial det(X/ — A) of A, which has coefficients in Z.
5.2.5 Theorem
Let 0 be the set of all Z-integers in the finite extension field IC of Q, where
Z is a principal ideal domain and Q is- the field of fractions of Z.
Then 0 is a ring.
Proof
Clearly Z C O. Suppose that y E 0 satisfy monic polynomials over Z
of degrees m and n respectively. The ring Z[x, y] is generated as a Z-module
by the finite set of products xiyi where i = 0, . . , m — 1._ and j = 0, . . , n — 1.
Since x A- y and xy belong to Z [x, y ] , we see that x + y and xy are in 0 by
the implication (iv) (i) of the preceding result.
`irreducible rather than- 'prime'; as our main interest is with number fields,
we prefer to use 'primer when considering both cases together.)
it is-not hard to see-that, in either case, a quadratic extension IC of Q has
basis {1, VT/} with d E- 2 squarefree. Thus
E Q})
which is the field of- fractions of its subring
ZI-4] = {xo + xi -Va I .To, x i E Z } .
Let x = _xo + xvid E IC, where xo, xi E Q are uniquely determined by x. The
-conj.ugate Dfx is- -yx = -xo — xiNfil, the trace of x is Tx = x +7x, and the norm
of Ni = x • 7x. Routine calculation gives the following result.
5.2.7 Lemma
The following-hold:
( 1)-7 is a ring autvmorphism of K;
-yx =-x •14. x EQ;
(iii)- T(x + y).= Ti +Ty_ and N(xy) = Ni Ny for any x,y E IC;
(iv) x is a root of the polynomial C(X) = X 2 — Ti. X + Ni, which has
coefficients in Q;
(y) C(X) - is the minimal polynomial of x, provided that x E Q. 0
We can now describe the integers explicitly.
5.2.8- Theorem
Let 0 be the ring of Z-integers in the quadratic extension QW-6-0 of Qf
where d - a a_ squarefree- element of Z.
(i) Iv, the function field case with characteristic other than 2,
0=
Or
5.2.10 Proposition
suppose that the ffnite extension 1C I Q is separable. Then the ring 0 of
2-integers in AC *finitely generated as a Z-module. o
A domain 0 is said tobe integrally closed if the set of 0-integers in its field
of fractions ris o itself. An easy application of Gauss' Lemma (5.2.2) shows
that a-principal ideal domain Z is integrally closed.
The -fact that the ring 0 of Z-integers in a finite extension field 1C of Q is
a Dedekind domain stems from the following result.
5.2.11 Theorem
Let Z be a principal ideal domain with field of fractions Q, and let 0 be the
ring of Z-integers_in a separable finite extension field 1C of Q. Then
(i)_ 0 is Noetheriart,
(ii) every nonzero prime ideal of 0 is a maximal ideal,
(iii) 0 is integrally closed.
Proof
Since 0 is finitely generated as a Z-module and Z itself is Noetherian, (i)
follows from (3.L12).
Let p be a -nenzera prime ideal of 0. Then q=Znp is a nonzero prime
ideal of Z, hence a maximal ideal, and Z/q is a field. To establish (ii), we
have to-show that the domain 0/p is also a field.
-
5.2.12 _Lemma
Let - 0 be a commutative Noetherian ring. Then every nonzero proper ideal
of 0 contains a product of nonzero prime ideals;
Proof
Suppose_ that -some -such ideal does_not. Since C is Noetherian, there is an
ideal a that is maximal among 'such ideals (3.1.6). Clearly, a itself cannot be
prime, so there are elements r, s in 0 with r, s 0 a but rs E a. But then the
ideals- a-+ r0 and a + sO must each contain a product of prime ideals, and
(a + r0)(a + sO) C a, _a contradiction.
5-.2.13 - Lemma
Let 0 be a-commutative Noetherian -domain in which every nonzero prime
ideal is maximal, and let a be- a proper ideal of O. Then there is an element
s of the field of fractions IC of 0 with s 0 but sa C O.
Proof
Take _a nonzero element a of a. The ideal a0 contains some product of
primes p i by the previous lemma; choose -such a product with k mini-
mal. Since O is Noetherian, a_ is contained in some maximal ideal p which is
-therefore_prime (5.1.2). If, for- each i, there is an _element z E pi \ p, then
xk E -p, a contradiction. Thus we must have, say, pi c p. Since every
_prime ideal-is- ma,dmal, we obtain pi- = p. By the mintinality of k, we may
choose b E p2...pk \ -a0. Then ba -I 0 0, but ba-la C ba- lpi C O.
We can now prove that the conditions listed in Theorem 5.2.11 suffice to
show that a ring is a Dedekind domain.
5-.2.14 - Theorem
Suppose -that a commutative dortrai.n.0 satisfies The conditions below.
cris .1Toetherian.
:(ii). Every nonzero-prima-ideal of 0 is a-maximal ideal.
(iii) is integrally Closed.
Then 0 is a Dedekind &main.
20& DEDEKI1VD DOMAINS
Proof
We have to show that, if a is a nonzero fractional ideal of 0, then a is
invertible. By (5:1.8), there is some element y In 0 with ya integral. Since y0
is evidently_invertible,, it is enough to show that an integral ideal is invertible.
Suppose then that a is integral and choose any nonzero a E a. Define
b = fr E K I ra CA04, where K is the field of fractions of 0. For any r in b,
we have raTO-C a0 and so r E O. Thus b is an integral ideal of O. We need
only verify that ab. aa Suppose not. Then a- lab is a proper ideal of 0,
and, by the preceding lemma, there is some z E K \O with za - lab C 0. But
then zb C.-b;lience xis an 0-integer by the implication (iv) =. (i) of (5.2.4),
and so z is _in 0 -because 0 is assumed to be integrally closed. This gives a
contradiction.
Combining (5.2.11) and (5.2.14) gives the result that we have been seeking.
5:2:15 Theorem
Let Z be a principal ideal domain with field of fractions Q, and let 0 be the
ring -of Z-ihtegers_in a- separable finite extension field K of Q.
Then 0 is -a Dedekind domain. D
This result also holds without the hypothesis of separability; proofs are
given in [Cohn 1979], §IL5, Exercise 5 and [Zariski Sz Samuel 1963], Chapter
§8.
Exercises
5.2.1 Show that
(a)- -a Dedeldnd domain 0 is integrally closed,
(b) if Kis a domain and R is also a finite-dimensional K-algebra,
with K a field, then R is already a field.
Deduce that the conditions of (5.2.1 4 ) provide an alternative defini-
tion-of a Dedeldnd domain.
5.2.2 Let 0' be a proper subring of the ring of integers 0 in a quadratic
field Q-(Nrd) -. Show that 0' satisfies two of the conditions of Theorem
5.2.14 but not the third. Find an ideal of 0' which is not invertible
- see Exercise 5.1.10.
5.2.3 Splitting fields and separability
(a) Let f be an irreducible polynomial of degree n over the field F.
Verify that K = F[X]/f(X)FIX] is a field, which is an extension
field of .F of degree n (after identifying .F with its image in k).
5:2 ALGEBRAIC INTEGERS 209
(b) Let f be any (nonconstant) polynomial over F. A splitting field
for f is any extension iC of 7 such that
f = ( X — a i )e (1) • • • (X— ak )e(k)
where al, ak in /C are all distinct. (In other words, the irre-
ducible factors of f in K[X] are all linear.)
Show that f has a splitting field, of finite degree over F.
(c) Let f,g be (nonconstant) polynomials over 7 and let (f g) be
their greatest common divisor. Show that (f, g) = 1 in 7[X] if
and only If - (f, g) = 1 in 1C[X] for any extension field /C of F.
fcl) The derivative is the function D: .7"[X] .7"[X] given by
D(fo + fiX + f2X 2 + • • • + friX') = + 2f2X + • • • +
(e) We say that f has a repeated root if e(i) > 1 for some ti. Prove that
f has a repeated root in a splitting field if and only if (f, D f) 1.
(f) Deduce that an irreducible polynomial f has a repeated root if
and- only if Df = O.
(g) Conclude that when 7 has characteristic 0, any finite extension
of .F -is separable.
(h) _Show further that, if the irreducible polymomial f does have a
repeated Toot, then it has only one distinct root in any splitting
-field.
Supposethat 7 = E(Y),-where E -is a field of characteristic p (and
Y is a- polynomi-al variable). Verify that XP — Y is not separable.
5.2.4 Orders
Let Z--be a principal ideal domain-with field of fractions Q and let R
-be a Z=order in -the Q-algebra A = QR;* R need not be commutative.
Such an-order is- said to be maximal if it is not properly contained in
.any Z-order S with 2-A = QS.
(-a) -Show-that any-element of R is a Z-integer.
(b) Suppose that A = 1C1--x • where each is a field and each
1Ci is a separable extension of Q with ring of Z-integers Oi. Show
that M = 01 x •-• • x 0, is a Z-order in A.
(c)- Deduce that M is the unique maximal Z-order in A.
210 DEDEKIND DOMAINS
0 )
(d) Let S = M2(Z) and B = M2(Q) Put e =( and t =
0 0
P OD
o 0
(s): pi 0
/ 0 p2
Po
0 0
PO
5.34 A summary
In the number field case, we can summarize these results in a table as follows.
Here, the symbol (dip) is the Legendre symbol, which is defined whenever
pf d, taking the value 1 when d is a square in Z/pZ and —1 otherwise.
5.3 QUADRATIC FIELDS 215
Iall = lOiai
the number of elements in the residue ring 0/a. (Sometimes, this norm is
called the index, to avoid confusion with the closely related norm of an ele-
ment.) Obviously, Hall = 1 precisely when a = O. For an element a of 0, we
write Hall for II a0III. The fact that the norm is always finite comes from the
first basic result, which is as follows.
5.3.6 Proposition
(a) Let p be a nonzero prime ideal p of 0, with p n z = pZ, p a prime in Z.
Then
if p is either ramified or split,
if p is inert.
11h11 ilcIl =
Proof
(a) 0 I p is an extension field of Z/pZ, of degree 1 or 2, and it is also the
216 DEDEKIND DOMAINS
residue ring of 01p0 modulo its radical, a) the result is immediate from the
listing of the possible ideal structures in 01p0 (5.3.1).
(b) There are an exact sequence
0 -- 6/bc ---4 0/6c -- ■ 0/6 ----0 0
and an isomorphism 6/bcL-•-' 0/c (5.1.24), which shows that the norm is
multiplicative. El
By combining this result with the Unique Factorization Theorem for Ideals
(5.1.19), we obtain the following useful application.
5.3.7 Corollary
For any nonnegative integer n, there are only finitely many integral ideals
of 0 whose norm is n. D
We have already defined the norm of an element a of 0 by Na = ag — ad,
where a = ap + ania The connection between the two norms is given by the
next result.
5.3.8 Lemma
Let a be a nonzero element of 0. Then Ila011 = I Na I y where INal is the
absolute value of Na.
Proof
Recall that Na = a . ya, where ya = al) — ailia For any ideal a of 0,7a
is also an ideal of 0. Further, if p is a prime above p, so also is 7p. Thus
IIWII = Ilall for all ideals a, and so
IIa0 11 2 = IINa • 011.
However, IIp011 = p2 for a prime p of Z, hence IIz011 = z2 for any element z
of .Z , ID
5.3.11 Theorem
Let k be a finite extension of Q, with ring of integers O. Then there is
a positive integer B = B(1C) such that each element of the ideal class group
C1(0) has the form {a} for some integral ideal a with 114 < B. 0
Combining this fact with (5.3.7), we obtain a key result.
5.3.12 Theorem.
Let k be a finite extension of Q, with ring of integers O. Then the class
group CI(0) is finite. 0
218 DEDEKIND DOMAINS
5.3.13 The class number
The order of the class group is called the class number of 0 (or of k) and usu-
ally denoted by h. The determination of this number remains a fundamental
problem in algebraic number theory. For an account of the connection be-
tween the nature of h and Fermat's Last Theorem, see [Ireland Li Rosen 1982]
and [Fr6hlich 8.6 Taylor 1991], which give many results about class numbers
of explicit fields.
In the quadratic case, computations are facilitated by a rather sharp bound
for the constant B(K) due to Kneser; a proof is given by [Hasse 1980], Chapter
29, §2.
5.3.14 Theorem
Let IC = 42(,./a) be a quadratic number field, with ring of integers O.
Then each ideal class in C1(0) has a representative integral ideal a with
Ilall if d > 0, d 2, 3 (mod 4),
Ilall (A/2 if d > 0, d -m1 (mod 4),
Ilall 5 2(Vid1/3) if d < 0, d FE 2,3 (mod 4),
Ilall vidli3 if d < 0, d 1 (mod 4). 0
or
Hall Ka° ai /2) 2 d(ad2) 2 1,
so we must be able to solve the integer equation
- ay' = n, if d -7=2 2,3 (mod 4),
or the equation
5.3.16 Lemma
(i) If the prime p of Z ramifies in (P(Va) then 1g has_ order at most 2 in
C1(0).
(ii) If p is inert in Q(jl), then fpl is trivial.
(iii) If p splits in Q( v), then {Pi} = and pi,and p2 both-have-norm
P. D
For example, take d = —5. In this case, the ring of integers. is Z[V-L-5]. By
part (iii) of the preceding result, every ideal class.in Z[V-1
,5 _has representative
with norm at most 2. We know from case (iii) oE-05.3.3) that -the:prime 2
ramifies, being the square of the-ideal 2 = (2, 1 + Clearly,11211= 2. If
p is a prime ideal of Z[1/ ] above an odd prime p of Z, then- ilpil p
and so 2 is the only possible representative of a nontrivial class. However,
cannot be principal since there is no-solution cif a?) + 5a = 2 in Z.
We summarize this as follows.
5.3.17 Theorem
The class group of the ring of integers Zkr- -5-1. of 42(V-L-6) -Iras order 2.
5.3.18 Theorem
The ring Z[(1 + -V-19)/2] of integers in Q(/-19)- is a-principal - ideal do-
main.
Proof
Since —19 1 (mod 4), the ring of integers is as claimed (5-.2.8-) .. ay-part
(iv) of (5.3.14), each ideal class has a representative with norm-at most 2.
Since —19 5 (mod 8), the table la (5.3.4.) shows-that 21s-inert-in 0; T-hus
11211 = 4 (5.3.6) and there is no ideal of norm 2._ Furthermore -any.other prime
ideal must have norm at least p for some 'odd prime -p 6f Z, and so the only
permissible representative is the ring itself.
Next, a noncyclic example.
220 DEDEKIND DOMAINS
5.3.19 Theorem
The class group of the ring of integers Zki 211 of Q(V---7.) is the Klein
four group (that is, the direct product of two cyclic groups of order 2).
Proof
The bound on the norm of a representative integral ideal is 201/3, effec-
tively 5. Drawing on (5.3.3) again, we see that the primes 2 and 3 ramify, the
primes above them being 2 = (2,1 +- Nr:--2T) and "g = (3, -s, -21)
- respectively.
Also, 5 splits since —21 a 22 (mod 5), the factors being Si = (5,2 +
and 52 = (5,2 — sr:ff.).
-- Any other prime ideal of Z[•‘/-21] must have norm
greater than 5, so the possible nontrivial ideal classes are {2}, {3}, {51} and
{52} = {51 } -1 .
The classes {2}, { d} and {I} • {d} are all nontrivial since the corresponding
norms are 2, 3 and 6 respectively, and the equations
ag + 214 = 2,3, 6
have no solution in Z. Since each of these classes has order 2 (5.3.16), they
must therefore all be different.
It follows that {} { } must be the remaining ideal class, that of { 5i} for
= 1 or 2. But it matters not which, since then { 51} = { 52} has order 2 also.
,
Finally, a result which can be used to provide an interesting example in
K-theory.
5.3.20 Theorem
The ring of integers Z[(1 + v/ 71)/21 of Q(14/-71) has class group cyclic
-
Proof
Let 6 = (1+v/VT)/2, which is a root of Y2 — Y+ 18. By (5.2.8), the ring of
integers in Q(./-71) is Z[6] because —71 a 1 (mod 4). Also, the bound on the
norm of a representative integral ideal given by (5.3.13) is V717= 4.86.
Since also —71 a 1 (mod 8), we see from (5.3.2) that the prime 2 splits into
= (2, 6) and 22 = (2, 6 1), both of which have norm 2.
—
We show directly that the powers 121 1k, k = 1, , 6, are all nontrivial, which
proves that-the class group is cyclic of order 7.
Suppose that a = ao + al6- is a generator of 2, where 1 < k < 6. Then,
computing the norm of 21 in two ways, we find that the coefficients of a are
integers which satisfy the equation
(2a0 ai) 2 + 714 = 4 . 2k.
It is therefore enough to show that this equation cannot be solved when k < 6.
The argument for k = 6 is typical.
We have 4• 26 = 256. If al = 0, then a = ±23; but (23) = 2123, so 23 5t 21
cannot be a generator. If al = ±1, then (2ao ± 1)2 = 185, which is impossible
in Z. No- other value of ai need be considered, so 27 is not principal.
The conjugation homomorphism sends V-71 to -If:7i and so sends 6
to 1 -6. Thus the ideal 21 is sent to 22, and so the induced homomorphism
on the class group sends the _generator {21 } to its inverse.
It is instructive to see what happens when k = 7 in the above example.
Take al -= 1; then (2a0 + 1) 2 = 441, so we have a solution a = 10+ 6. Since
10+ 6 belongs to 21 but not 22, it generates 21. In fact, -10 is a solution of
y2 - Y + 18 modulo 128, and 21f. = (2k, 10 + 6) for k =1,...,7.
Exercises
5.3.1 Class groups
The reader is now in a position to compute the ideal class groups
for many other quadratic fields Q(lei) with d small, subject to the
limitations of time and energy. Here is a sample of further results
that one might wish to confirm:
• d = ±2, ±3, 5, ±7 — trivial;
• d = ±10 — cyclic, of order 2;
• d = —14 — cyclic, of order 4;
• d . —23 — cyclic, of order 3.
[Marcus 1977], Chapter 5, and [Fr6hlich 8z Taylor 1991] give many
more computations of class groups, some in the form of exercises.
Warning. The computation of class groups for quadratic fields
5.3 QUADRATIC FIELDS 223
in general is far from being a routine matter. For example, it is not
known whether or not there is an infinite number of fields Q(Vii) with
d> 0 and class number 1. Lists of some results are given in [Ency-
clopaedic Dictionary of Mathematics 1987] and [Pohst & Zassenhaus
1989]
5.3.2 Conjugation
Let 0 be the ring of integers in the quadratic field Q(v) and let
7 be the conjugation automorphism of Q(111), which is given by
7(xo + xi = xo x i Va
as in (5.2.6).
Verify the following assertions, in which we use the notation of
(5.3.2):
(a) -y is an aut.omorphism of 0;
(b) if the. prime p of Z- is ramified, then 7(f) = 23;
(c) if p splits, then-7(pt) = P2 and 102) = pi.
Deduce that -y induces an automorphism 7' of the class group C1(0),
and that 7' has order 1 or 2.
By considering (5.3.19) and (5.3.20), show that both possibilities
occur.
Note. This exercise gives a very special case of an area of investi-
gation of great interest. The group G = {1,7} is the Galois group
of Q(N/a) over Q (see [Cohn 1979], §5.5 for an introduction to Galois
theory). We have shown that the class group C1(0) is a ZG-module,
albeit written multiplicatively. The ring of integers itself is also a
W-module.
Given an. arbitrary Galois extension of a number field or a func-
tion field with Galois group G, it is possible to define many natural
modules over ZG, among which are the class group and the ring of
integers in the extension. Such modules are called Galois modules,
which are the subject of much current research - see [Fr6hlich 1983]
and [Snaith 1994].
5.3.3 Primes versus irreducibles: the struggle continues
Show that 3 is an irreducible element of the Dedekind domain
Z[V7--5], but that 3zkr-- -51 is not a prime ideal of ZW---61. (This
example was promised in (5.1.28).)
MODULES OVER DEDEKIND DOMAINS
224
6.1 PROJECTIVE MODULES OVER DEDEKIND DOMAINS 225
6.1 PROJECTIVE MODULES OVER DEDEKIND DOMAINS
Our aim in this section is to classify the finitely generated projective modules
over a Dedekind domain 0. We show that every ideal of 0 is projective and
that every projective 0-module is a direct sum of ideals. Furthermore, we
can write a projective module in the form P Or -1 a for some ideal a of
0. The integerr and the ideal' class fal in C1(0) are uniquely determined
by the module P (and vice versa), so we can see that there will be non-free
projective 0-modules provided that the class group C1(0) of 0 is nontrivial.
We begin with a fact that was first made explicit with the introduction of
the techniques of homological algebra, [Cartan & Eilenberg 1956], VII, §§3, 5.
6.1.1 Lemma
Let a be a fractional ideal of a Dedekind domain 0. Then a is a finitely
generated projective 0-module.
In particular, any integral ideal of 0 is a finitely generated projective 0-
module.
Proof
By (5.1.8), da C 0 for some nonzero element- d of O. Evidently, da a as
an 0-module, so we may assume that a is integral.
By (5.1.23), a is generated by two elements, a l , a2 , say. Choose any nonzero
element x in a and define, using invertibility, a fractional ideal b by x0 = ab.
Then x = a ib i a2 b2 , with b1 , b2 in b. There is a surjection ir : 0 2 a given
by
Y2) = Yiai Y2a2,
which is split by the map z (zb i/x, zb 2 /x). The assertion now follows by
(2.5.8).
This result leads to a first description of finitely generated projective mod-
ules.
6.1.2 Theorem
Let M be a module over a Dedekind domain 0. Then the following state-
ments are equivalent.
(i) M al (I) • • • G) a, for a finite set { ai,... a,} of integral ideals of 0.
M is finitely generated and projective as an 0-module.
(iii) There is an injective hamomorphism a : M 0 2 for some integer t.
226 MODULES OVER DEDEKIND DOMAINS-
Proof
(i) = (ii): Immediate from the preceding- lemma and (2.5.5);
(ii) = (iii): Since M is finitely generated, there is a surjection from some
finitely generated free module Got to M; since M is projective, this homomor-
phism must be split (see (2.5.8)).
(iii) (i): Argue by induction on t. If t = 1 (or 0), M is (isomorphic- to)
an integral ideal of 0, and thus M is projectiveliy the preceding-result. For_
t > 1, let E : Ot 0 be given by projection to the t th component. Then-
EcrM is an ideal of 0, so projective, and
M (M n Ker Ecr) ED EaM
with cr(M n Ker fa) C
A more precise description of projective modules requires two preliminary
results on ideals.
6.1.3 Proposition
Let a and b be integral ideals in a Dedekind domain O. Then. there is an
integral ideal a' in the ideal class of a such that a' and b are coprime.
Proof
Take a nonzero element a of a and let c = (a0) a'. Since 0/ bc-is a principal
ideal ring (5.1.22), we have c = bc + c0 for some c in c. Hence ac = abc + ac
and so 0 = b + a(ca-1 ). D
6.1.4 Lemma
Let a and b be integral ideals of the Dedekind domain 0: Then there is an
0-module isomoiphism
1-"---a 0 a.
Proof
First, suppose that a and b are coprime. Define a homomorphism-a aeb
0 by a(a, b) = a — b. Then a is surjective, so split, and Ker a-= a n b = ab -
by (5.1.5).
In general, the preceding result together with (5.1.14) _shows that there is
an ideal a' a with a' and b coprime; then a'b 7:11 ab. El
We also need an enhanced version of the process of 'clearing denominators'
introduced in (5.1.7).
6.1 PROJECTIVE MODULES OVER DEDEKIND DOMAINS 227
6.1.5 Lemma
Let 0 be a Dedekind domain with field of fractions IC and let lar be
integral ideals of O. Then
(i) any element of the vector space ACT can be written in the form
aid-1
ard-1
Proof
Using (5.1.8), it is easily seen that for each i we can write x i = ci/di With
Cj in ai and di in O. Taking d di- • dr, we obtain (i), and (ii) is immediate.
-
: e • - e ar bi ED • ED b3;
Proof
(i) = (ii): Let IC be the field of fractions of 0 and let 41: ai ED • • ED ar
bi ED • • • ED b, be the given isomorphism. By the preceding lemma, an element
z of the space AC' can be expressed in the form z = aid with a E ai ED e ar
and d E O. Extend 0 to a map 0' from kr to /C5 by 0'(x) = q5(a)Id. It
is straightforward -to verify that 01 is a well-defined AC-linear map and an
isomorphism of /C-spaces. Thus r = s, and both 0' and 0 are represented by
left multiplication by a matrix Q = (qii) over IC. (Recall that we work with
right modules and therefore regard the vector space ICI" as a ccoltnnn-space';
see (2.2.9) for a discussion of the- relation between endomorphisms of a free
module and matrices. In particular, note that the matrix Q is determined to
within conjugacy, so that its- determinant det Q is uniquely defined.)
228 MODULES OVER DEDEKIND DOMAINS
Let
ai
a= - E-ai ® • • • ED ar .
)
and
b ED • • • 0 6, 1"=" Of-1 ® bi • • • br .
However, {al • • • ar } = {bi • • • br} implies-that ai - • • ctr b1 • • • b r by 5,1.14).
(
D.
6.1.8 Corollary
Cancellation holds for projective modules over a Dedekind domain: if
Me ■ ONEDO
with M and N finitely generated projective, then
M N.
On the other hand, if we allow both components of the direct sum to vary,
we obtain the following -observation_
6.1.9 Corollary
If C1(0) is nontrivial, with {'a} 1 then
,
-1 02 ,
but
a 0 and ct-1 O.
We also obtain a result which is more often proved without invoking the
theory of Dedekind domains.
6.1.10 Corollary
Let 0 be a commutative principal ideal domain. Then every finitely gener-
ated projective 0-module is free.
Exercises
6.1.1 A converse to (6.1.1); see also Exercise 5.1.2.
Let 0 be a commutative domain with field of fractions K, -and let a
-
{
al:C3 I I j = 1,...,r-}.
Write down this order when M is in standard form OT-1 Oa.
6.1.4 Suppose that M = ai (1) • • • HI a,. and N = b 1 -49 • • • b a are projec-
tive (right) 0-modules. Generalize the previous exercise by showing
that Hom(M, N) can be described as the set of s x r tiled matrices-
associated with the set Of ideals
{b i aV- I = 1,... ,s, j = „r}.
6.2.1 Valuations
Let 0 be a Dedekind domain with field of fractions k and let p be a nonzero
prime ideal of O. By (5.1.19), any fractional ideal a of 0 has a factorization-
a = p1(c) a', where v(a) = v(p, a) is an. integer uniquely determined - 1:w a, and
a' is a product of prime ideals other than p. Of course, we may -have a' = 0,
-
and, by definition, v(p, a') = O. The integer v(a) is called the_p, adic valuation
of a.
If p = p0 is a principal ideal, we may speak instead of the -p- adic valuation.
If r is a nonzero element of IC, we define the p-adic. valuation-of z to be
v(s) = v(s0). For convenience, we put v(0) = oo, with 0 being-either the
ideal or the element.
Thus we have functions
: Frac(0) U {0 } Z U fooj
and
v:/C--,ZU{oo};
the context should make it clear which is intended. It is helpful to extend - the
usual ordering on Z to Z U { oo} by setting n < oo for any integer n.
The elementary properties of these functions are easy to check. For:example,
to check surjectivity, note as in Exercise 5.1.4 that a proper invertible ideal p
can never have p lc = plc-1-1. We record the results for ideals and for elements
separately.
6.2.2 Lemma
Let a and b be fractional ideals of a Dedekind domain 0, and let v be the
p-adic valuation for some prime p of 0. Then
62.3 Lemma
Let z- and y be nonzero elements of the field of fractions IC of a Dedekind
domain 0, with v as before. Then
v_: C ZU fool
6.2.4 Localization
The valitation ring or -localization of 0 at p is defined to be the subring Op
of K consisting of all fractions which can be written in the form alb with
a,b E 0 and b p. It is not hard to verify that Op is a subring of K, the
crucial point, being that, if b1,1/2 E 0 and bi, b2 p, then b1b2 p since p is
a prime ideal.
To identify the localization in terms of the corresponding valuation, we need
a useful lemma.
6.2 VALUATION RINGS 233
6.2.5 Lemma
Let p be a nonzero prime ideal of a Dedekind domain 0 and choose any
p E p \p2 . Let a E 0 and put v = v(a). Then there exist
with
aa l = p w ait
Proof
-By (6.2.3), v(ap —v) = 0, and so (5.1.19) shows that ap—u0 = ab-1 for
integral ideals a, b, neither of which is divisible by p. Take any a' E b \ p; then
adp —v = a" E a\p. El
We obtain an alternative characterization of the localization.
- 6.2.6 Theorem
Let p -be a nonzero prime ideal of the Dedekind domain O. Then
= { x E. K 1 v(x) 0}.
Proof
It is clear that Op is contained in the right-hand set. For the converse, take
x in K with v(s) > 0, and write s = alb with a and bin0. Put -y = v(a) and
z = v(b), so that y > z.
Choose some element p in p\p2 . By the lemma, aa' = pua" and W = IA"
with- a', a", b' ,b" E 0 \p. Then
= aaibt Ibb' = e —za"b i lb"a E Op.
6.2.7 Theorem_
- Let 0 be a Dedekind domain. Then 0 = Flp O, where the intersection is
M OpldiOp@••-00p14 0p0( 0 p) s ,
6.2.12 Corollary
Let M_be a finitely generated (right) Op -module. Then
Exercises
6.2.1 Let 0 be a Dedekind domain and let Q be a subset of the set P of
nonzero prime ideals of O. Show that
og = fl Ou
PEQ
is also a Dedekind domain and find its prime ideals.
Show that 0Q is not a finitely generated 0-module unless P = Q.
(Exercise 5.1.10 helps.)
236 MODULES OVER DEDEKIND DOMAINS
6.2.2 Let 0 = Op be a valuation ring with (unique) maximal ideal p, and
suppose that R is an 0-order.
Show that any finitely generated right R-module is also finitely
generated as an 0-module.
Deduce that
(i) pR C rad(R), the Jacobson radical of R as a ring,
(ii) R is a semilocal ring,
(iii) rad(R) = 7r-1 (rad(R/pR)), the inverse image with respect to the
natural homomorphism 7r from R to RIpR,
(iv) (rad(R))h C pR for some integer h.
Hint. Nakayama's Lemma (4.3.10), together with (4.3.12), may be
useful.
6.2.3 Let 0 be a valuation ring with maximal ideal p and suppose that
0 has characteristic 0, so that Z can be regarded as a subring of 0
(1.1.10). Show that pnZ = pZ, where the prime p is the characteristic
of the field 0/p.
Let G be a finite group, and let OG be its group ring over 0.
(i) Show that, if p does not divide the order IGI of G, then
rad(OG) = pG.
(ii) Suppose that G = (7) is cyclic of order p. Show that
rad(OG) = (1— -y)0G.
[Exercises 4.3.9 and 4.3.11 are relevant.]
(0 ph\
6.2.4 Let 0 be a valuation ring with maximal ideal p, and let R =
' 00
be the tiled order consisting of those matrices in M2(0) with (1, 2) th
entry belonging to Ph where h is an integer, h > O.
Show that
pR h= 0
rad(R) = { ( p p h )
0 p )
and that
f pR h=1
rad(R)2 = 1 p rad(R) h 1
• •
• ••
O 0 ... 0 ph
O 0 ... 0 0
the 0-order consisting of all n x n matrices with entries above the
diagonal belonging to ph.
(Warning. The same ideas work but are trickier to implement; the
generalization of the module C(i) requires multiple indices.)
6.3.2 Lemma
Let M be an 0-module, when 0 is a commutative domain. Then T(M) is
a torsion module and MIT(M) is torsion-free. El
It is clear that the free module O k is torsion-free, as are all its submodules.
The next result tells us that, in essence, any finitely generated torsion-free
module arises as a submodule of a free module.
6.3.3 Lemma
Let M be a finitely generated torsion-free 0-module, where 0 is a commu-
tative domain. Then there is an injective 0-module homomorphism from M
to Ok for some integer k.
Proof ,
By (1.2.23), the 0-module M spans a vector space V over the field of frac-
tions IC of O. Since M is finitely generated, V is finite-dimensional. Choose a
set of generators {m1, ... , mi} of M and a basis { el, ... , ek} of V, and write
m 3• = E e.x. - with x• - E K.
: :3 :3
i
M iLei Md C el0 9 . • •
- e ek0.
We combine the above result with (6.1.2).
6.3 TORSION MODULES OVER DEDEKIND DOMAINS 239
6.3.4 Corollary
Let M be a finitely generated torsion-free module over a Dedekind domain
O. Then M is projective. 0
Since MIT(M) is torsion-free, the next result is immediate from the defi-
nition of a projective module (2.5.1).
6.3.5 Theorem
Let M be a finitely generated module over a Dedekind domain O. Then
there is an 0-module isomorphism
M T(M)ED MIT(M). El
The argument exploits the Invariant Factor Theorem (6.2:11) for the bcal-
ization Op, the next result providing the connection. Note that any finitely
generated torsion Or-module is necessarily pOrprimary, since, by (6.2:8), pOp_
is the unique nonzero prime ideal of the principal ideal domain O.
6.3.8 Proposition
For any 5 > 0, 01136 O/(p0) 6 both as rings and as 0-modules.
Proof
The natural ring homomorphism from 0 to O/(p0) 6 clearly -has kernel-
p 6 , so there is an induced injection t from 0/p 6 to O r /(pGr).6 .
To see that t is surjective, take an element alb E Or , where a E 0 and
b E 0 \ p l and consider the ideal b0 + p6 of the Dedekind domain O. If this
ideal is proper, then, by (5.1.19), it has a unique factorization In terms of
prime ideals. Combining (5.1.17) and (5.1.21), we see that -the only prime
ideal which could possibly occur as a factor of b0 + p5 is p itself: Since b p l
we have b0 + p6 = 0.
Thus 1 = bc + z for some c in 0 and z in V, so alb ac (mod (p0) 6 ),
that is, (alb) = 1,(ZiZ), which establishes surjectivity.
Finally, observe that the 0-module structure on O/(p0) 6 arises from this
isomorphism — by 'change of rings' (1.2.14).
We can now give a structure theorem for primary modules (but not yet a
uniqueness theorem).
6.3.9 Theorem.
Let p be a nonzero prime ideal of the Dedekind domain 0, and let M- be a
finitely generated p-primary 0-module.
Then M is also a finitely generated O p -module, and there is a direct -decom-
position of M, both as an 0-module and as an O p -modu -le-,
„
...
d 0 /13 6(l) s 0/05(f)
Proof
By definition, the annihilator of M is p6 for some 5 > 0. Thus- ki is nat--
urally an (0/p6 ) -. module, hence an (0p/(pOp )6)-modu1e, and therefore an
Or-module, from the previous result. By (6.2.12), M has a direct decompo-
sition as an Or-module as claimed, and this decomposition is clearly also an
0-module decomposition. El
6.3 TORSION MODULES OVER DEDEKIND DOMAINS 241
6.3.10 Elementary divisors
When the Dedekind domain 0 has more than one nonzero prime-ideal, the
ideals p6 (1 ), , p5(e) occurring in the decomposition of a p-primary module
M are called the elementary divisors of M.
If p = p0 is principal, in particular, if 0 is a principal ideal domain,
the corresponding -powers p6(P 7 1) , , p6(PAP)) of the irreducible element p are
often called the elementary divisors of M.
This definition anticipates the definition of elementary divisors for an arbi-
trary torsion module. The elementary divisors of a -p-primary mo.dule M as
an 0-module are, by definition, the same as its- invariant factors when M is
regarded as an Op-module. The extension -of the notion of invariant factors
to modules over an arbitrary Dedekind domain is outlined -in Exercise 6.3.6
below.
We associate with each direct sum decomposition of -a p-primary module
into cyclic modules a sequence
edtp(M) a21-
of natural numbers in which ai is the number of times that the term 0/pi
occurs in the given direct sum. Once uniqueness of the decomposition has
been established, as in the next theorem, this sequence may be called- the
p-elementary divisor ty e of M.
Note that ai = 0 for all but a finite set of indices; the maxisaum_of the
indices for which ai 0 is - the length of edtp(M). Clearly, the length is the
exponent k occurring in the annihilator: Ann(M) = .13 1c
The zero module corresponds to the zero sequence (0, 0, which has
length 0, and Ofpk has type (0, .. ,O, 1, k. This notion of
length is not the same as the length of a -composition series introduced in
(4.1.8). Since the terms are- used in different contexts, there should -be no
confusion.
Our main result shows that the elementary divisor type edtp (M) describes
a p-primary module completely.
6.3.11 Theorem
Let M and N be finitely generated p-primary,0-modules.- N if
and only if edtp(M) = edtp(N).
Proof
It is obvious that if edtp (M) = edtp (N) then M .N . Suppose conversely
242 MODULES OVER DEDEK1ND DOMAINS
and
edtp (N) = 132, fie, 0, ...),
e
where k and are the lengths of the sequences. We argue by induction on k.
If k = 1, then M is in effect a vector space over the field 0/p and al is its
dimension; since Ann(N) = p also, we must have = 1 and al
Now suppose k > 1. First, we note that the quotient modules MIpM and
NIpN are isomorphic and have types
and
edtp (N1pN) = (/31 + f32 + • + Pe1 0, ...)
Next we note that, since p/pi 0/V-1 for i> 1 by (5.1.24), the isomorphic
modules pM and pN have types
and
edtp(pN) = (fi21. fie, /3 3 *)
6.3.12 Corollary
Let p be a nonzero prime ideal of a Dedekind domain 0, and let M be- a
finitely generated torsion O p -module. Then the invariant factors •
(p o p) 8 (
of M are unique.
6.3 TORSION MODULES OVER DEDEKIND DOMAINS 243
6.3.13 Primary decomposition
We now consider the decomposition of a finitely generated torsion 0-module
M into a direct sum of p-primary submodules as p ranges over the set P =
P(0) of nonzero primes of the Dedekind domain O. This gives a characteri-
zation of M in terms of the collection tedtp(M) I p_ E El- of elementary divisor
types arising from its summands.
We first show that, for each p, M has a maximal p-primary submodule. To
see this, note that, if M' and M" are both ti-primary submodules cf M (that
is, both have annihilators that are powers -of p), then so also is AV + M".
Thus, if there were -no maximal p-primary submodule, we could construct an
infinite ascending chain in M, contrary to the fact-that - M is- Noetherian,
since it is a finitely,generated module over-the Noetherian ring 0 and so itself
Noetherian (3.1.4).
We can therefore define the p - componentT p (M) -oLM to be the maximal
of M, that is, the -maximal- submodule with the prop- p-rimaysubodle
erty that Ann(Tp (M)) = pk for some natural number- lc. Alternative terms
for T(M) are the p - torsion part and the p-primary part of M. Since M is
Noetherian, T(M) is finitely generated.
The next result is the key to the existence of the-primary decomposition.
6.3.14 Lemma
Let a and b be coprinze ideals of 0, and let M -be an 0-module suckthat
Ann(M) = ab.
Then M = aM ED bM , and Ann(aM) = b and Ann(bM) = a.
Proof
Since a and b are coprime, 0 = a + b. Thus 1 =-a + b for some elements
a, b of a, b respectively, and so M = aM +
Suppose that m E aM n bM. Then am = bm-= 0 because attM = 0, hence
m = (a + b)m = 0, which gives the direct sum decomposition.
Clearly b C Ann(aM). Let x be in Ann(aM)-. Then x0 a C -Ann-(M,) .--ab
and hence x0 C b, since a is an invertible-ideal-
Given the module M and a-nonzero primelideal p,-we.write thelactofization
of the annihilator in the form
Ann (M)= p c(p),
where k > 0 is the .p-adic valuation of Ann(M) and-p -and -c(p) are copriine
(see (6.2.1)). Note that k = 0 and c(p) = Arai(M)-except for the finite set of
primes that actually occur as -factors of Ann(M).
244 MODULES OVER DEDEKIND DOMAINS
6.3.15 Proposition
Let M be a finitely generated torsion module over a Dedekind domain O.
Then the following hold.
(i) T(M) = c(p)M
T(M) = 0 for all but finitely many primes p.
M = ED p T(M), where the sum is taken over the set P of all nonzero
primes p of O.
Proof
Clearly c(p)M c T(M). By the lemma, we have M = pkm c(p)M and
Ann(pkM) = c(p). Thus if m = n is in T(M), where x and n- belong
to the respective summands of M, we find that s is annihilated by both the
coprime ideals pk and c(p), so must be O. Thus (i) holds, and (ii) follows since
c(p) = Ann(M) for almost all primes.
The last part follows by induction on the number of distinct prime factors
of Ann(M). Note that, if p is a factor of Ann(M), then, by the preceding
lemma,
M = c(P)Af e P km = T(M) Pkm-
Now Ann(p kM) = c(p) has fewer prime factors than Ann(M), and Tq (pkm) =
Tq (M) if q is a prime different from p.
We note that all possible primary decompositions actually occur.
6.3.16 Proposition
Given any set of finitely generated p-primary 0-modules Mp ,_p E P, only
finitely many of which are nonzero, the external direct sum M = ED Mp has
Tp (M) Mp for all p. 1:1
6.3.18 Homomorphisms
Suppose that A : M N is a homomorphism between finitely generated
torsion 0-modules, where 0 is a Dedekind domain. It is clear from the
description of the p-components of M and N--that induces a family of 0-
module homomorphisms
For all except a finite set of pl T(A) is the zero -map -between zero modules.
Conversely, given a family {X(p) : T(M)- T p-(N)1, oft)-module homo--
morphisms, the direct sum A = esp A(p) is-a homomorphism from M to- N
with Tp (A) = A(p) for all _p.
Our discussion should have made the followingsesurt obvious .
246 MODULES OVER DEDEKIND DOMAINS
6.3.19 Proposition
Let M and N be finitely generated torsion 0-modules, where-0 is a Dedekind
domain. Then Mc%=' N if and only if T(M) T p (N) for all primes p rof O.
6.3.23 Theorem,
Let M be a finitely generated modula over a Dedekind domain O. Then the
following assertions hold.
(i) M=PeT where P is a finitely. .generated projective a-module -and
T = T(M) is- a finitely generated torsion 0-module.
(ii) P 0r-1 EDa where a is an ideal at0.
(iii) T ED p T(p), where p runs through7thelionzero prime ideals- ofe, each
T(p) =T ty (M) is a finitely generated .p-primary 0-module, and T(p) =-0
for almost alL 13;
(iv) If T(p) O r then
where 0 < 6(p 1 1) 5. • • • 5. 6(p t e(p)) (and if T(p) = 0, then l(p). = 0).
Furthermore, the module M determines, and in turn is determined to within
isomorphism by, the following information -:
• the integer r = rank(M),
• the integers f(p) for all p,
• the integers 6(p l i) for all1 < i e(p) and all p,
• the class {a} of a in the ideal class group C1(0).
(That is, a module N is isomorphic to M if and only if the set of integers, and
the ideal class attached to N are the same as those for M.)
In particular, the torsion part of M is determined up to isomorphism. by its
set of elementary divisors
46(13,1) • p 6 (P,e(P)) p E
Proof
Assertion (i) follows by (6.3.4) and (6.3.5). For (ii), see (6.1.7), and (iii) is
in (6.3.15), noting that here T(p) = T p (T). Statement (iv) is given in (6.3.20).
The claim about isomorphism follows from (6.3.20) again, combined with
Steinitz' Theorem (6.1.6), using the discussion of homomorphisms above. El
Finally, it is useful to have a reinterpretation of the above result when 0 is
a (commutative) principal ideal domain. In this case, any projective module
is free, and it is more usual to describe torsion modules in terms of their
p-primary components (6.3.17), where p runs through a representative set
Pe of irreducible elements of 0, that is, Pe has exactly one member p for
each nonzero prime ideal p of O. We also regard the elementary divisors of a
module as powers of irreducible elements rather than ideals.
The next result is an immediate translation of its predecessor into the
changed vocabulary.
6.3.24 Theorem
Let M be a finitely generated module over a commutative principal ideal
domain O. Then the following assertions hold.
(i) M=FeT where F 0" is a finitely generated free 0-module and T
is a finitely generated torsion 0-module.
(10 T Op T(p), where p E Pe, each T(p) is a finitely generated p-primary
0-module, and T(p) = 0 for almost all p.
(iii) If T(p) 0 0, then
T(p) 0/P6(P'1) 0 ••• e o/p6cp,e(P))o
6.3 TORSION MODULES OVER DEDEKIND DOMAINS 249
where 0 < b(p,1) < • < 5(p, £(p)) (and if T(p) = 0, t(p) = 0).
Furthermore, the module M determines, and in turn is determined to within
isomorphism by, the following information:
• the integer r = rank(M),
e the integers l(p) for all p in Pe,
e the integers b(p,i) for all i with 1 < i < Ap) and all p in Pe.
In particular, the torsion part of M is determined up to isomorphism by its
set of elementary divisors
,p6(PA(P)) I p E
Exercises
In these exercises, the ring 0 is a Dedekind domain. For a pair of (right)
0-modules M and N we abbreviate Homo (M, N) to Hom(M, N).
6.3.1 Suppose that 0 has infinitely many distinct prime ideals, and put -
M = ED (0/p). Show that M is a torsion module, but Ann(M) = O.
Let N i>0 (0/pi) for any fixed p. Show that Ann(N) = 0 but
that any finitely generated submodule of N is p7primary.
(This shows the significance of restricting our attention to finitely
generated modules, particularly in (6.3.7).)
6.3.2 We can extend the definition of p-primary to 0-modules which are
not finitely generated by saying that an 0-module M is p-primary
provided that all its finitely generated submodules are p-primary.
Using Zorn's Lemma, show that any 0-module has a maximal p-
primary submodule.
Verify that parts (ii) and (iii) of (6.3.15) continue to hold for non-
finitely-generated modules.
6.3.3 Find the composition series of 01p 5 . Hence find the composition
factors of an arbitrary p-primary module M, and find- a formula -for
the length of a composition series for M in terms of its elementary
divisor type.
Extend the result to arbitrary finitely generated torsion modules.
6.3.4 Let a be an integral ideal of O. Find the primary decomposition of
0/a.
Suppose that al , , ar are ideals of 0 with ai l • - lai., and let M =
0/al ED • • - 0/a7. (the external direct sum). Describe the primary
decomposition of M and its elementary divisor typa
250 MODULES OVER DEDEKIND DOMAINS
Each item is accompanied by a list of the pages on which it is cited, with the exception
of our companion volume on categories and modules, [BK: CM].
252
References 253
[Cohn 1985] P. M. Cohn, Free Rings and their Relations, 2nd edition, London
Math. Soc. Monograph 19 (Academic Press, London, 1985).
[128, 129, 135, 137, 140, 142]
[Cohn 1991] P. M. Cohn, Algebraic Numbers and Algebraic Functions (Chapman
& Hall, London, 1991). [222, 232]
[Cohn 1995] P. M. Cohn, Skew Fields: Theory of General Division Rings,
Encyclopedia of Mathematics and its Applications 5.7 (Cambridge University
Press, Cambridge, 1995). [13]
[Curtis Reiner_ 1966] C. W.-Curtis & I. Reiner, Representation Theory of Finite
&
Groups and Associative Algebras (John Wiley -8z Sons,-New York, 1966). [250]
[Curtis 8.6 Reiner19811 C. W. Curtis -8z L Reiner, Methods of Representation
Theory with Applications to Finite Croups and Orders Volume I (John Wiley
& Sons, New Wirk, 1981). [184]
[Dedekind 1932 ] R. Dedekind, _Gesammmelte mathematische Werke 3--vol.
(Vieweg, -Braunschweig„, 1932). [109]
[Dedekind 19961 R. Dedekind, theory of Algebraic -Nurriliers, trans. J. Stillwell,
Cambridge Mathematical Library (Cambridge University Press, Cambridge,
1996). [xv, 15, 109, 186, 211]
[Deming 1937] M.-Deuring, Algebren, Ergebnisse der Math. und ihrer
-Grenzgebieter Band-4 (Springer-Verlag, Berlin, 1937). [1131
[Dickson 1938] L. E.- Dickson, _Algebras and their Arithmetics (Stechert & Co, New
York, 1938). [130]
[Eggleton, Lacampagnelsz Selfridge 1992] R. B. Erggleton, C. B. Lacampagne & J.
L. Selfridge, -Euclidean quadratic fields, Amer. Math. Monthly 99 (1992),
829-837. [2171
[Encyclopaedic Dictionary of Mathematics 1987] Encyclopaedic Dictionary of
Mathematfcs, 3rd edition, editor K. -Ito (MIT Press, Cambridge, Mass., 1987).
[223]
[Euclid 1956] Euclid's -Elements, Volume 2, trans. T: L. Heath -(Dover, New York,
-
1956). [122]
[Fossum 1973] R. M. Fossum The Divisor Class Group of a Krull Domain,
Ergebnisse der -Mathematik und liner Grenzgebiete, Band 74
(Springer-Verlag, -Berlin, 1973). [191, 222]
[FrOhlich 1983] A. Frahlich, Galois Module Structure of Algebraic Integers,
-
[Zorn 1935] 11/1.- Zorn, A remark on method in transfinite algebra, Bull. Amer.
-
-g0 = 1,
. product of groups, 45
I'
= (g -1 )i-, 194
Ker f: _kernel of ring homomorphism, 6
mR: infinite matrices, almost all entries 0,
GL n(R): general linear group, 9 171
QU(R): quasi-invertible elements, 13 P: nonzero prime ideals, 194
U(R): units of a ring, 9 Pe: representatiVe nonzero primes
(irreducibles), 196
Homomorphisms Pr(0): principal ideals, 189
isomorphism, 6 Matrices_
ai ED-. • • EB.ak: direct sum of
homomorphisms, 42' (m) F : coordinate vector, 65
7c: _characteristic homomorphism, 6 F (in): coordinate vector, 56
F(.\ ): induced map on torsion-free At: transpose of a matrix, 34
quotient, 247 A7G(a): matrix of atomomorphism, 66
idm: identity homomorplism, 19 AGF(a): matrix of a homomorphism, 58
6: a canonical embedding, 47 Me rs (R): set of t x s matrices, 58
r, -M, (R), diagonal- map,-62 pAa): matrix with respect to F, 60
T(A): induced map on-torsion part, 247 gE(a): matrix with respect to F, 66
Tp(A): induced map on primary
component i 245 Modules
N),Hom(R-MrifN).:
- homomorphisms of .(left)- modules, 19 rLi: external direct sum, 44
Hom(MR, homomorphisms of right OA LA: external-directsum, 46
modules, 18 M ENE , (internal) direct sum, 43
Ideals
11.2,= e AEA-MA: (internal) direct sum, 46
r : directproduct, 44
r .s- (mod a): congruence, 7 Eier Mv-sum-of submodules, 21
fal: zlass_of-a, jmage of submodule, 23
ideal, 5 a-1 11P: inverse image of a submodule, 23
r + j, j an ideal, _176 multiplicity of a-component, 241
a., b,....: ideals, 4 Col a: cokernel, .76
257
258 -Index
ideal, 12
order, 209, 237 Nalcayama's Lemma, 175
right ideal, 25 nilpotent ideal, 179
submodule, 25, 149, 173 Noetherian
maximum condition, 111 module, 109
method of descent, 123 ring, 109
Index 263
non-cancellation, 94, 138 diagram, 80
noncornmutative polynomial ring, 11, 71, modules, 81
161 of sequence, 83
nonunital ring, 3, 13, 106 square, 81
module over, 35 push-out
norm, 204 diagram, 81
of an element, 215 modules, 81
of an ideal, 215 of sequence, 83
normal form, 54, 61, 133 square, 82
normal polynomial, 125, 127
number field case, 203 quadratic extension, 203
quasi-invertible, 13, 176, 181
onesided working, 34 quasicyclic p-group, 160
opposite ring, 19 quaternion algebra, 67
opposite the scalars, 17 generalized, 172
order, 113, 209, 236 quaternions
hereditary, 237 Hurwitz (integral), 130
maximal, 209, 237 quotient
tiled, 200, 230, 236 in integers, 8
ordered sequence, 46 module, 22
ordered set, 25, 45, 55 ring, 7
ordinary polynomials, 117
Ore extension, 129 radical, 173
orthogonal idempotents, 43 of ideal, 198
radical series, 183
p-adic, p-adic valuation, 231 ramification index, 211
pairwise comaximal, 105 ramified, 212
pairwise coprime, 143 rank, 56
partialLy ordered set, 26 of a matrix, 134
p-component, 245 of a module, 137, 228, 235, 239, 249
p-component, 243 rank one valuation, 232
p-elementary divisor type, 241 rational canonical form, 143
permutation matrix, 67 refinement of a. chain, 148
polynomial remainder, 8
left, 117 repeated root, 209
monic, 116 representative
right, 116 of an ideal class, 217
p-primary module, 239 representative set
p-primary submodule, 245 of nonzero primes or irreducibles, 196
p-primary module, 239, 249 of irreducible modules, 151, 165, 177, 178
p-primary submodule, 243 residue, 8
Prilfer group, 160 residue class, 7
primary component, 243 residue ring, 7
primary module, 239 restriction of scalars, 24
prime element, 187, 234 R-free, 48
vs. irreducible element, 197, 223 right Artinian ring, 146, 162
prime ideal, 187 right Artinian semisimple ring, 162
principal ideal, 5 right divisor, 120
principal ideal domain, 196, 216, 219, 248 right Euclidean domain, 121
right, 97, 122' right module-finite, 113
principal ideal ring, 195 right quotient, 120
principal valuation ring, 234 right remainder, 120
product ideal, 5 R-independent, 48
projection operator, 93
proper endomorphism, 124 ring, 2
pseudoring, 3 anti-automorphism, 34, 67
pull-back Artinian simple, 162
264 Index
zero
homomorphism, 18
ideal, 4
module, 16
polynomial, 116
ring, 3
submodule, 21
Z-integer, 201
Zorn's Lemma, 26
r