page 2 of Frontmatter
direct calculation of a Galois group, we proceed to finite fields, which are of great importance
in applications, and cyclotomic fields, which are fundamental in algebraic number theory.
The Galois group of a cubic is treated in detail, and the quartic is covered in an appendix.
Sections on cyclic and Kummer extensions are followed by Galois’ fundamental theorem on
solvability by radicals. The last section of the chapter deals with transcendental extensions
and transcendence bases.
In the remaining chapters, we begin to apply the results and methods of abstract algebra
to related areas. The title of each chapter begins with “Introducing...”, and the areas to be
introduced are algebraic number theory, algebraic geometry, noncommutative algebra and
homological algebra (including categories and functors).
Algebraic number theory and algebraic geometry are the two major areas that use the
tools of commutative algebra (the theory of commutative rings). In Chapter 7, after an
example showing how algebra can be applied in number theory, we assemble some algebraic
equipment: integral extensions, norms, traces, discriminants, Noetherian and Artinian mod-
ules and rings. We then prove the fundamental theorem on unique factorization of ideals in a
Dedekind domain. The chapter concludes with an informal introduction to p-adic numbers
and some ideas from valuation theory.
Chapter 8 begins geometrically with varieties in affine space. This provides motivation
for Hilbert’s fundamental theorems, the basis theorem and the nullstellensatz. Several
equivalent versions of the nullstellensatz are given, as well as some corollaries with geometric
significance. Further geometric considerations lead to the useful algebraic techniques of
localization and primary decomposition. The remainder of the chapter is concerned with
the tensor product and its basic properties.
Chapter 9 begins the study of noncommutative rings and their modules. The basic
theory of simple and semisimple rings and modules, along with Schur’s lemma and Jacob-
son’s theorem, combine to yield Wedderburn’s theorem on the structure of semisimple rings.
We indicate the precise connection between the two popular definitions of simple ring in
the literature. After an informal introduction to group representations, Maschke’s theorem
on semisimplicity of modules over the group algebra is proved. The introduction of the
Jacobson radical gives more insight into the structure of rings and modules. The chapter
ends with the Hopkins-Levitzki theorem that an Artinian ring is Noetherian, and the useful
lemma of Nakayama.
In Chapter 10, we introduce some of the tools of homological algebra. Waiting until
the last chapter for this is a deliberate decision. Students need as much exposure as possible
to specific algebraic systems before they can appreciate the broad viewpoint of category
theory. Even experienced students may have difficulty absorbing the abstract definitions of
kernel, cokernel, product, coproduct, direct and inverse limit. To aid the reader, functors
are introduced via the familiar examples of hom and tensor. No attempt is made to work
with general abelian categories. Instead, we stay within the category of modules and study
projective, injective and flat modules.
In a supplement, we go much farther into homological algebra than is usual in the basic
algebra sequence. We do this to help students cope with the massive formal machinery that
makes it so difficult to gain a working knowledge of this area. We concentrate on the results
that are most useful in applications: the long exact homology sequence and the properties
of the derived functors Tor and Ext. There is a complete proof of the snake lemma, a rarity
in the literature. In this case, going through a long formal proof is entirely appropriate,
because doing so will help improve algebraic skills. The point is not to avoid difficulties,
but to make most efficient use of the finite amount of time available.
Robert B. Ash
October 2000
Further Remarks
Many mathematicians believe that formalism aids understanding, but I believe that
评论0
最新资源