BN.com Gift Guide

Basic Algebra II: Second Edition / Edition 2

Paperback (Print)
Rent
Rent from BN.com
$10.76
(Save 59%)
Est. Return Date: 02/17/2015
Buy Used
Buy Used from BN.com
$15.27
Used and New from Other Sellers
Used and New from Other Sellers
from $10.92
Usually ships in 1-2 business days
(Save 57%)
Other sellers (Paperback)
  • All (13) from $10.92   
  • New (8) from $13.67   
  • Used (5) from $10.92   

Overview

A classic text and standard reference for a generation, this volume and its companion are the work of an expert algebraist who taught at Yale for more than three decades. Nathan Jacobson's books possess a conceptual and theoretical orientation; in addition to their value as classroom texts, they serve as valuable references.
Volume II comprises all of the subjects usually covered in a first-year graduate course in algebra. Topics include categories, universal algebra, modules, basic structure theory of rings, classical representation theory of finite groups, elements of homological algebra with applications, commutative ideal theory, and formally real fields. In addition to the immediate introduction and constant use of categories and functors, it revisits many topics from Volume I with greater depth and sophistication. Exercises appear throughout the text, along with insightful, carefully explained proofs.

Read More Show Less

Editorial Reviews

Booknews
First edition published in 1980. Textbook for undergraduate students addresses such topics as: categories, modules, classical representation theory of finite groups, formally real fields, etc. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Read More Show Less

Product Details

  • ISBN-13: 9780486471877
  • Publisher: Dover Publications
  • Publication date: 7/22/2009
  • Series: Dover Books on Mathematics Series
  • Edition number: 2
  • Pages: 704
  • Sales rank: 585,370
  • Product dimensions: 6.10 (w) x 9.20 (h) x 1.50 (d)

Read an Excerpt

BASIC ALGEBRA II


By Nathan Jacobson

Dover Publications, Inc.

Copyright © 1989 Nathan Jacobson
All rights reserved.
ISBN: 978-0-486-13521-2



CHAPTER 1

Categories


In this chapter and the next one on universal algebra we consider two unifying concepts that permit us to study simultaneously certain aspects of a large number of mathematical structures. The concept we shall study in this chapter is that of category, and the related notions of functor and natural transformation. These were introduced in 1945 by Eilenberg and MacLane to provide a precise meaning to the statement that certain isomorphisms are "natural." A typical example is the natural isomorphism between a finitedimensional vector space V over a field and its double dual V**, the space of linear functions on the space V* of linear functions on V. The isomorphism of V onto V** is the linear map associating with any vector x [member of] V the evaluation function f [??] f(x) defined for all f [member of] V*. To describe the "naturality" of this isomorphism, Eilenberg and MacLane had to consider simultaneously all finite-dimensional vector spaces, the linear transformations between them, the double duals of the spaces, and the corresponding linear transformations between them. These considerations led to the concepts of categories and functors as preliminaries to defining natural transformation. We shall discuss a generalization of this example in detail in section 1.3.

The concept of a category is made up of two ingredients: a class of objects and a class of morphisms between them. Usually the objects are sets and the morphisms are certain maps between them, e.g., topological spaces and continuous maps. The definition places on an equal footing the objects and the morphisms. The adoption of the category point of view represents a shift in emphasis from the usual one in which objects are primary and morphisms secondary. One thereby gains precision by making explicit at the outset the morphisms that are allowed between the objects collected to form a category.

The language and elementary results of category theory have now pervaded a substantial part of mathematics. Besides the everyday use of these concepts and results, we should note that categorical notions are fundamental in some of the most striking new developments in mathematics. One of these is the extension of algebraic geometry, which originated as the study of solutions in the field of complex numbers of systems of polynomial equations with complex coefficients, to the study of such equations over an arbitrary commutative ring. The proper foundation of this study, due mainly to A. Grothendieck, is based on the categorical concept of a scheme. Another deep application of category theory is K. Morita's equivalence theory for modules, which gives a new insight into the classical Wedderburn-Artin structure theorem for simple rings and plays an important role in the extension of a substantial part of the structure theory of algebras over fields to algebras over commutative rings.

A typical example of a category is the category of groups. Here one considers "all" groups, and to avoid the paradoxes of set theory, the foundations need to be handled with greater care than is required in studying group theory itself. One way of avoiding the well-known difficulties is to adopt the Godel-Bernays distinction between sets and classes. We shall follow this approach, a brief indication of which was given in the Introduction.

In this chapter we introduce the principal definitions of category theory—functors, natural transformations, products, coproducts, universals, and adjoints—and we illustrate these with many algebraic examples. This provides a review of a large number of algebraic concepts. We have included some nontrivial examples in order to add a bit of seasoning to a discussion that might otherwise appear too bland.


1.1 DEFINITION AND EXAMPLES OF CATEGORIES

DEFINITION 1.1. A category C consists of

1. A class ob C of objects (usually denoted as A, B, C, etc.).

2. For each ordered pair of objects (A,B) a set homc(A,B) (or simply hom(A,B) if C is clear) whose elements are called morphisms with domain A and codomain B (or from A to B).

3. For each ordered triple of objects (A,B,C), a map (f,g)[??]gf of the product set hom (A, B) × hom (B, C) into hom (A, C).


It is assumed that the objects and morphisms satisfy the following conditions:

C1. If (A, B)(C,D), then hom (A,B) and hom(C,D) are disjoint.

C2. (Associativity). If f [member of] hom (A, B) g [member of] hom(B,C), and h [member of] hom(C, D), then (hg)f =h(gf). (As usual, we simplify this to hgf.)

C3. (Unit). For every object A we have an element 1A [member of] hom (A, A) such that flA = f for every f [member of] hom(A,B) and lAg = g for every g [member of] hom (B, A). (1A is unique.)


If f [member of] hom (A, B) we write f : A -> B or A [??] B (sometimes A [??] B), and we call f an arrow from A to B. Note that gf is defined if and only if the domain of g coincides with the codomain of f and gf has the same domain as f and the same codomain as g.

The fact that gf = h can be indicated by saying that

[ILLUSTRATION OMITTED]

is a commutative diagram. The meaning of more complicated diagrams is the same as for maps of sets (BAI, pp. 7–8). For example, the commutativity of

[ILLUSTRATION OMITTED]

means that gf = kh, and the associativity condition (hg)f = h(gf) is expressed by the commutativity of

[ILLUSTRATION OMITTED]

The condition that 1A is the unit in hom (A, A) can be expressed by the commutativity of

[ILLUSTRATION OMITTED]

for all f [member of] hom (A,B) and all g [member of] hom (B,A).

We remark that in defining a category it is not necessary at the outset that the sets hom(A,B) and hom (C, D) be disjoint whenever (A,B)(C,D). This can always be arranged for a given class of sets hom(A,B) by replacing the given set hom (A,B) by the set of ordered triples (A,B,f) where f [member of] hom (A,B). This will give us considerably greater flexibility in constructing examples of categories (see exercises 3–6 below).

We shall now give a long list of examples of categories.


EXAMPLES

1. Set, the category of sets. Here ob Set is the class of all sets. If A and B are sets, hom (A, B) = BA, the set of maps from A to B. The product gf is the usual composite of maps and 1A is the identity map on the set A. The validity of the axioms C1, C2, and C3 is clear.

2. Mon, the category of monoids, ob Mon is the class of monoids (BAI, p. 28), hom (M, N) for monoids M and N is the set of homomorphisms of M into N, gf is the composite of the homomorphisms g and f and 1M is the identity map on M (which is a homomorphism). The validity of the axioms is clear.

3. Grp, the category of groups. The definition is exactly like example 2, with groups replacing monoids.

4. Ab, the category of abelian groups, ob Ab is the class of abelian groups. Otherwise, everything is the same as in example 2.


A category D is called a subcategory of the category C if ob D is a subclass of obC and for any A,B [member of] obD, homD(A,B) [subset] homc(A,B). It is required also (as part of the definition) that 1A for A [member of] ob D and the product of morphisms for D is the same as for C. The subcategory D is called full if homD(A,B) = homC(A,B) for every A,B [member of] D. It is clear that Grp and Ab are full subcategories of Mon. On the other hand, since a monoid is not just a set but a triple (M,p, 1) where p is an associative binary composition in M and 1 is the unit, the category Mon is not a subcategory of Set. We shall give below an example of a subcategory that is not full (example 10).

We continue our list of examples.

5. Let M be a monoid. Then M defines a category M by specifying that obM = {A}, a set with a single element A, and defining hom (A, A) = M, 1A the unit of M, and xy for x, y [member of] hom (A, A), the product of x and y as given in M. It is clear that M is a category with a single object. Conversely, let M be a category with a single object: obM = {A}. Then M = hom (A, A) is a monoid. It is clear from this that monoids can be identified with categories whose object classes are single-element sets.


A category is called small if ob C is a set. Example 5 is a small category; 1–4 are not.

An element f [member of] hom (A, B) is called an isomorphism if there exists a g [member of] hom(B,A) such that fg = 1B and gf = 1A. It is clear that g is uniquely determined by f so we can denote it as f-1. This is also an isomorphism and (f-1)-1 = f If f and h are isomorphisms and fh is defined, then fh is an isomorphism and (fh)-1 = h-1f-1. In Set the isomorphisms are the bijective maps, and in Grp they are the usual isomorphisms (= bijective homomorphisms).

6. Let G be a group and let this define a category G with a single object as in example 5. The characteristic property of this type of category is that it has a single object and all arrows (= morphisms) are isomorphisms.

7. A groupoid is a small category in which morphisms are isomorphisms.

8. A discrete category is a category in which hom (A,B) = Φ if AB and hom (A, A) = {1A}. Small discrete categories can be identified with their sets of objects.

9. Ring, the category of (associative) rings (with unit for the multiplication composition). obRing is the class of rings and the morphisms are homomorphisms (mapping 1 into 1).

10. Rng, the category of (associative) rings without unit (BAI, p. 155), homomorphisms as usual. Ring is a subcategory of Rng but is not a full subcategory, since there exist maps of rings with unit that preserve addition and multiplication but do not map 1 into 1. (Give an example.)

11. R-mod, the category of left modules for a fixed ring R. (We assume 1x = x for x in a left R-module M.) ob R-mod is the class of left modules for R and the morphisms are JR-module homomorphisms. Products are composites of maps. If R = A is a division ring (in particular, a field), then R-mod is the category of (left) vector spaces over Δ. In a similar manner one defines mod-R as the category of right modules for the ring R.

12. Let S be a pre-ordered set, that is, a set S equipped with a binary relation ab such that aa and ab and bc imply ac. S defines a category S in which ob S = S and for a,b [member of] S, hom (A, B) is vacuous or consists of a single element according as ab or ab. If f [member of] hom (a, b) and g [member of] hom (b, c), then gf is the unique element in hom (a,c). It is clear that the axioms for a category are satisfied. Conversely, any small category such that for any pair of objects A, B, hom (A, B) is either vacuous or a single element is the category of a pre-ordered set as just defined.

13. Top, the category of topological spaces. The objects are topological spaces and the morphisms are continuous maps. The axioms are readily verified.


We conclude this section by giving two general constructions of new categories from old ones. The first of these is analogous to the construction of the opposite of a given ring (BAI, p. 113). Suppose C is a category; then we define Cop by obCop = obC; for A, B [member of] obCop, homCoP(A,B) = homc(B,A); if f [member of] homCoP(A,B) and g [member of] homcoP(B,C), then g-f (in Cop) = fg (as given in C). 1A is as in C. It is clear that this defines a category. We call this the dual category of C. Pictorially we have the following: If A [??] B in C, then A [??] B in Cop and if

[ILLUSTRATION OMITTED]

is commutative in C, then

[ILLUSTRATION OMITTED]


is commutative in Cop. More generally, any commutative diagram in C gives rise to a commutative diagram in Cop by reversing all of the arrows.

Next let C and D be categories. Then we define the product categoryC × D by the following recipe: ob C × D = ob C × ob D; if A, B [member of] ob C and A', B' [member of] ob D, then homC × D ((A ,A'), (B, B') = homC(A,B) × homD(A', B'), and 1(A', A') =(1A, 1A); if f [member of] homC(A,B), g [member of] homC(B, C), f' [member of] homD (A', B'), and g' [member of] homD(B', C'), then

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]


The verification that this defines a category is immediate. This construction can be generalized to define the product of indexed sets of categories. We leave it to the reader to carry out this construction.


EXERCISES

1. Show that the following data define a category Ring*: obRing* is the class of rings; if R and S are rings, then homRing*(R, S) is the set of homomorphisms and anti-homomorphisms of R into S; gf for morphisms is the composite g following f for the maps f and g; and 1R is the identity map on R.

2. By a ring with involution we mean a pair (R,j) where R is a ring (with unit) and j is an involution in R; that is, if j:a [??] a*, then (a + b)* = a*+ b*, (ab)* = b*a*, 1* = 1, (a*)* = a. (Give some examples.) By a homomorphism of a ring with involution (R,J) into a second one (S, k) we mean a map η of R into 5 such that η is a homomorphism of R into S (sending 1 into 1) such that η(ja) = ka) for all a [member of] R. Show that the following data define a category Rinv: obRinv is the class of rings with involution; if (R,J) and (S,k) are rings with involution, then hom ((R,J), (S,k)) is the set of homomorphisms of (R,J) into (S,k); gf for morphisms is the composite of maps; and 1(R,J) = 1R.


(Continues...)

Excerpted from BASIC ALGEBRA II by Nathan Jacobson. Copyright © 1989 Nathan Jacobson. Excerpted by permission of Dover Publications, Inc..
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.

Read More Show Less

Table of Contents

Contents

Contents of Basic Algebra I,
Preface,
Preface to the First Edition,
INTRODUCTION,
1 CATEGORIES,
2 UNIVERSAL ALGEBRA,
3 MODULES,
4 BASIC STRUCTURE THEORY OF RINGS,
5 CLASSICAL REPRESENTATION THEORY OF FINITE GROUPS,
6 ELEMENTS OF HOMOLOGICAL ALGEBRA WITH APPLICATIONS,
7 COMMUTATIVE IDEAL THEORY: GENERAL THEORY AND NOETHERIAN RINGS,
8 FIELD THEORY,
9 VALUATION THEORY,
10 DEDEKIND DOMAINS,
11 FORMALLY REAL FIELDS,
INDEX,

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)