An Algebraic Introduction to K-Theory (Encyclopedia of Mathematics and its Applications) [Hardcover]

Bruce A. Magurn (Author)

Book Description

Publication Date: May 20, 2002 | ISBN-10: 0521800781 | ISBN-13: 978-0521800785 | Edition: 1st

This book is both an introduction to K-theory and a text in algebra. These two roles are entirely compatible. On the one hand, nothing more than the basic algebra of groups, rings, and modules is needed to explain the clasical algebraic K-theory. On the other hand, K-theory is a natural organizing principle for the standard topics of a second course in algebra, and these topics are presented carefully here. The reader will not only learn algebraic K-theory, but also Dedekind domains, class groups, semisimple rings, character theory, quadratic forms, tensor products, localization, completion, tensor algebras, symmetric algebras, exterior algebras, central simple algebras, and Brauer groups. The presentation is self-contained, with all the necessary background and proofs, and is divided into short sections with exercises to reinforce the ideas and suggest further lines of inquiry. The prerequisites are minimal: just a first semester of algebra (including Galois theory and modules over a principal ideal domain). No experience with homological algebra, analysis, geometry, number theory, or topology is assumed. The author has successfuly used this text to teach algebra to first year graduate students. Selected topics can be used to construct a variety of one-semester courses; coverage of the entire text requires a full year.

Editorial Reviews

Review

"This volume is a very useful graduate algebra text with an orientation towards algebraic K-theory....This volume will form an excellent basis for several types of one-and two-semester graduate algebra courses." Mathematical Reviews

Book Description

Algebraic K-theory is a discipline which is internally coherent, but has strong connections to diverse mathematical disciplines, and has contributed solutions to problems in algebra, number theory, analysis, geometry and functional analysis. It even has links to particle physics. This book serves as a text in graduate level algebra following a standard one semester algebra course. It also is an introduction to the field of algebraic K-theory and can serve as a reference to this subject for specialists in other parts of mathematics. Unlike other books on K-theory, no experience outside algebra is required of the reader.

Product Details

• Hardcover: 692 pages
• Publisher: Cambridge University Press; 1st edition (May 20, 2002)
• Language: English
• ISBN-10: 0521800781
• ISBN-13: 978-0521800785
• Product Dimensions: 9.2 x 6.1 x 1.6 inches
• Shipping Weight: 2.4 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #2,753,352 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

7 of 8 people found the following review helpful:

5.0 out of 5 stars Didactic perfection, June 8, 2006

By 

Dr. Lee D. Carlson (Baltimore, Maryland USA) - See all my reviews
(VINE VOICE)    (HALL OF FAME REVIEWER)    (REAL NAME)   

Amazon Verified Purchase

This review is from: An Algebraic Introduction to K-Theory (Encyclopedia of Mathematics and its Applications) (Hardcover)

Mathematics, particularly research mathematics, or mathematics that is close to the frontiers of research would be considerably easier to learn if mathematicians would both explain what they are going to do and explain what historical context motivates the problems or issues they are interested in. This would grant the needed insights and "intuitions" into the subject, which are absolutely necessary if one is to understand a particular mathematical topic in depth. In their papers, monographs, and textbooks, mathematicians could perhaps include at various places in the text some `fundamental insights' into the concepts that are being discussed. In addition, they could describe in detail what their goals are and what strategies they are going to use to solve the problems as they develop.

Unfortunately not many works of mathematics are written in this manner, and so those who wish to learn a given topic must frequently undertake time-consuming literature searches and solve myriads of exercises and problem sets in order to gain the needed insight. This takes large blocks of time, and poses an even greater challenge for those, such as physicists, who not must not only master the physics but also the mathematical formalism used to frame physical theories. Physicists would welcome, and even in many cases grab at straws to learn mathematics in a way that they need to in order to push forward the frontiers of their own subject.

This book though is very different, and is one of the best works of mathematics put in print in the last three decades. The author has given the reader a work that is not only mathematically rigorous but also fits the learning framework discussed above. There is no doubt that K-theory is a highly esoteric subject, but it can be learned much more easily by the study of this book. Within its covers there are myriads of fundamental insights that the author shares with the reader that make the learning of K-theory much more palatable and actually downright fun. It should not be thought however that the reader does not have to exercise a fair amount of cognition when wrestling with the intricacies of K-theory. This is true for K-theory as with other branches of mathematics, but those hungry for a true understanding of K-theory will deeply appreciate the author's efforts in this book.

The goal of K-theory is to generalize linear algebra, the latter of which deals with linear transformations on vector spaces over fields. K-theory tries to find out, and make rigorous, what constructions in linear algebra carry over when the field is replaced by a ring R and the vector space is replaced by a module over this ring. The first issue that must be dealt with is that of the concept of dimension, which for the case of a vector space is well defined (it is the cardinality of its basis). But an R-module does not necessarily have a basis. So the strategy deployed by the author is find the R-modules that do have a dimension. To find out what it means for an R-module to have a basis, the author constructs R-modules that are generated by elements that are not "linearly related." These are called `free' R-modules and the generating set is called an `R-basis.' The author then characterizes free modules that have a finite basis. That this is a non-trivial exercise is proven by the fact that every nontrivial finite Abelian group is a Z-module, where Z is the ring of integers. In addition, every set is a basis of a free R-module so one must find `presentations' of R-modules. These allow the construction of R-modules satisfying certain needed properties. And then, as expected if one is to extend linear algebra, the author constructs `matrices' of R-linear maps between finitely generated free R-modules. However, a free R-module can have a basis with unequal cardinality, and therefore the author finds those rings R whose free modules have unique dimension and those over which every module is free. The needed property is called an `invariant basis number' and it turns out that most rings have an invariant basis number. But some finitely generated R-modules the author points out are too "small" to be free, and so he finds the appropriate generalization of free modules. These are the famous `projective modules' and are the objects on which algebraic K-theory is based.

The designation of "projective" refers to the familiar notion of a projection in ordinary vector space theory, i.e. a linear, idempotent operator. The author describes projective modules as being the `direct summands' of free R-modules, and so to obtain the needed generalization of dimension he constructs Abelian monoids of R-modules under the direct sum operation. This involves finding a universal construction of an Abelian group from a semigroup and this leads to the famous Grothendieck group K0(R) of finitely generated projective R-modules. The finitely generated projective R-modules are `stably isomorphic' if they become equal in K0(R); they are `stably equivalent' if they become congruent in K0(R) modulo finitely generated free modules. The strategy then becomes that of adding R to two finitely generated R-modules to make them stably isomorphic (or stably equivalent). In addition, one must find out to what extent K0(R) determines whether a finitely generated projective R-module is free. This brings up the notion of an R-module being `stably free', and the author finds those stably free R-modules which are free. This involves the notion of the `matrix completion' of a ring and of "shortening" unimodular rows. The author also studies the connection of K0 with number theory, eventually showing that the projective class group is isomorphic to the ideal class group when R is a Dedekind domain.

K0(R) is an element of a sequence of Abelian groups associated to each ring R. To find K1(R), the author finds an analog of the row operations in ordinary linear algebra. The elements of K1(R), the `Bass-Whitehead group' are row-equivalence classes of invertible matrices. A group homomorphism from K1(R) to a group G is the analog of the determinant in ordinary linear algebra, and is often called the `Whitehead-Bass' determinant. K1(R) can be thought of as the "abelianization" of the general linear group GL(R). The elements of K2(R) consist of the relations among the generators of the group of row operations on a matrix. The "standard" relations among these operations give the `Steinberg group', and K2(R) is the center of this group.