Basic Algebra I: Second Edition / Edition 2

Paperback (Print)
Used and New from Other Sellers
Used and New from Other Sellers
from $10.27
Usually ships in 1-2 business days
(Save 48%)
Other sellers (Paperback)
  • All (21) from $10.27   
  • New (16) from $10.27   
  • Used (5) from $12.45   


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 two decades. Nathan Jacobson's books possess a conceptual and theoretical orientation, and in addition to their value as classroom texts, they serve as valuable references.
Volume I explores all of the topics typically covered in undergraduate courses, including the rudiments of set theory, group theory, rings, modules, Galois theory, polynomials, linear algebra, and associative algebra. Its comprehensive treatment extends to such rigorous topics as Lie and Jordan algebras, lattices, and Boolean algebras. Exercises appear throughout the text, along with insightful, carefully explained proofs. Volume II comprises all subjects customary to a first-year graduate course in algebra, and it revisits many topics from Volume I with greater depth and sophistication.
Read More Show Less

Product Details

  • ISBN-13: 9780486471891
  • Publisher: Dover Publications
  • Publication date: 6/22/2009
  • Series: Dover Books on Mathematics Series
  • Edition number: 2
  • Pages: 528
  • Sales rank: 498,774
  • Product dimensions: 6.10 (w) x 9.20 (h) x 0.90 (d)

Read an Excerpt

Basic Algebra I

By Nathan Jacobson

Dover Publications, Inc.

Copyright © 1985 Nathan Jacobson
All rights reserved.
ISBN: 978-0-486-13522-9


Monoids and Groups

The theory of groups is one of the oldest and richest branches of algebra. Groups of transformations play an important role in geometry, and, as we shall see in Chapter 4, finite groups are the basis of Galois' discoveries in the theory of equations. These two fields provided the original impetus for the development of the theory of groups, whose systematic study dates from the early part of the nineteenth century.

A more general concept than that of a group is that of a monoid. This is simply a set which is endowed with an associative binary composition and a unit—whereas groups are monoids all of whose elements have inverses relative to the unit. Although the theory of monoids is by no means as rich as that of groups, it has recently been found to have important "external" applications (notably to automata theory). We shall begin our discussion with the simpler and more general notion of a monoid, though our main target is the theory of groups. It is hoped that the preliminary study of monoids will clarify, by putting into a better perspective, some of the results on groups. Moreover, the results on monoids will be useful in the study of rings, which can be regarded as pairs of monoids having the same underlying set and satisfying some additional conditions (e.g., the distributive laws).

A substantial part of this chapter is foundational in nature. The reader will be confronted with a great many new concepts, and it may take some time to absorb them all. The point of view may appear rather abstract to the uninitiated. We have tried to overcome this difficulty by providing many examples and exercises whose purpose is to add concreteness to the theory. The axiomatic method, which we shall use throughout this book and, in particular, in this chapter, is very likely familiar to the reader: for example, in the axiomatic developments of Euclidean geometry and of the real number system. However, there is a striking difference between these earlier axiomatic theories and the ones we shall encounter. Whereas in the earlier theories the defining sets of axioms are categorical in the sense that there is essentially only one system satisfying them—this is far from true in the situations we shall consider. Our axiomatizations are intended to apply simultaneously to a large number of models, and, in fact, we almost never know the full range of their applicability. Nevertheless, it will generally be helpful to keep some examples in mind.

The principal systems we shall consider in this chapter are: monoids, monoids of transformations, groups, and groups of transformations. The relations among this quartet of concepts can be indicated by the following diagram:


This is intended to indicate that the classes of groups and of monoids of transformations are contained in the class of monoids and the intersection of the first two classes is the class of groups of transformations. In addition to these concepts one has the fundamental concept of homomorphism which singles out the type of mappings that are natural to consider for our systems. We shall introduce first the more intuitive notion of an isomorphism.

At the end of the chapter we shall carry the discussion beyond the foundations in deriving the Sylow theorems for finite groups. Further results on finite groups will be given in Chapter 4 when we have need for them in connection with the theory of equations. Still later, in Chapter 6, we shall study the structure of some classical geometric groups (e.g., rotation groups).


We have seen in section 0.2 that composition of maps of sets satisfies the associative law. If [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and βα is the map from S to U defined by (βα)(S) = β(α(s)) then we have γ(βα) = (γβ)α. We recall also that if 1T is the identity map t ->t on T, then [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and β1T = β for every α:S ->T and β: T ->U. Now let us specialize this and consider the set M(S) of transformations (or maps) of S into itself. For example, let S = {1, 2}. Here M(S) consists of the four transformations


where in each case we have indicated immediately below the element appearing in the first row its image under the map. It is easy to check that the following table gives the products in this M(S):


Here, generally, we have put ρσ in the intersection of the row headed by ρ and the column headed by σ (ρ, σ = 1, α, β, γ). More generally, if S = {1, 2, ..., n} then M(S) consists of nn transformations, and for a given n, we can write down a multiplication table like (1) for M(S). Now, for any non-vacuous S, M(S) is an example of a monoid, which is simply a non-vacuous set of elements, together with an associative binary composition and a unit, that is, an element 1 whose product in either order with any element is this element. More formally we give the following

DEFINITION 1.1.A monoid is a triple (M, p, 1) in which M is a non-vacuous set, p is an associative binary composition (or product) in M, and 1 is an element of M such that p( 1, a) = a = p(a, 1) for all a [member of] M.

If we drop the hypothesis that p is associative we obtain a system which is sometimes called a monad. On the other hand, if we drop the hypothesis on 1 and so have just a set together with an associative binary composition, then we obtain a semigroup (M, p). We shall now abbreviate p(a, b), the product under p of a and b, to the customary ab (or a · b). An element 1 of (M, p) such that a1 = a = 1a for all a in M is called a unit in (M, p). If 1' is another such element then 1'1 = 1 and 1'1 = 1', so 1' = 1. Hence if a unit exists it is unique, and so we may speak of the unit of (M, p). It is clear that a monoid can be defined also as a semi-group containing a unit. However, we prefer to stick to the definition which we gave first. Once we have introduced a monoid (M, p, 1), and it is clear what we have, then we can speak more briefly of "the monoid M," though, strictly speaking, this is the underlying set and is just one of the ingredients of (M, p, 1).

Examples of monoids abound in the mathematics that is already familiar to the reader. We give a few in the following list.


1. (N, +,0); N, the set of natural numbers, +, the usual addition in N, and 0 the first element of N.

2. (N, ·, 1). Here · is the usual product and 1 is the natural number 1.

3. (P, ·, 1); P, the set of positive integers, · and 1 are as in (2).

4. (z, +, 0); z, the set of integers, + and 0 are as usual.

5. (z, ·, 1); · and 1 are as usual.

6. Let S be any non-vacuous set, P(S) the set of subsets of S. This gives rise to two monoids (P(S), [union], Θ) and (P(S), [intersection], S).

7. Let α be a particular transformation of S and define αk inductively by α0 = 1, αr = αr - 1α, r > 0. Then αkαl = αk + l (which is easy to see and will be proved in section 1.4). Then <a> = {αk|k [member of] N} together with the usual composition of transformations and α0 = 1 constitute a monoid.

If M is a monoid, a subset N of M is called a submonoid of M if N contains 1 and N is closed under the product in M, that is, n1n2 [member of] N for every ni [member of] N. For instance, example 2, (N, ·, 1), is a submonoid of (z, ·, 1); and 3, (P, ·, 1), is a submonoid of (N, ·, 1). On the other hand, the subset {0} of N consisting of 0 only is closed under multiplication, but this is not a submonoid of 2 since it does not contain 1. If N is a submonoid of M, then N together with the product defined in M restricted to N, and the unit, constitute a monoid. It is clear that a submonoid of a submonoid of M is a submonoid of M. A submonoid of the monoid M(S) of all transformations of the set S will be called a monoid of transformations (of S). Clearly the definition means that a subset N of M(S) is a monoid of transformations if and only if the identity map is contained in N and the composite of any two maps in N belongs to N.

A monoid is said to be finite if it has a finite number of elements. We shall usually call the cardinality of a monoid its order, and we shall denote this as |M|. In investigating a finite monoid it is useful to have a multiplication table for the products in M. As in the special case which we considered above, if M = {al = 1, a2, ..., am} the multiplication table has the form


where aiaj is tabulated in the intersection of the row headed by ai and the column headed by aj.


1. Let S be a set and define a product in S by ab = b. Show that S is a semigroup. Under what condition does S contain a unit?

2. Let M = z × z the set of pairs of integers (xl, x2). Define (x1, x2)(y1, y2) = (x1 + 2x2y2, x1y2 + x2y1), 1 = (1, 0). Show that this defines a monoid. (Observe that the commutative law of multiplication holds.) Show that if (x1, x2) ≠ (0,0) then the cancellation law will hold for (x1, x2), that is, (x1, x2)(y1, y2) = (x1, x2)(z1, z2) [??] (y1, y2) = (z1, z2).

3. A machine accepts eight-letter words (defined to be any sequence of eight letters of the alphabet, possibly meaningless), and prints an eight-letter word consisting of the first five letters of the first word followed by the last three letters of the second word. Show that the set of eight-letter words with this composition is a semigroup. What if the machine prints the last four letters of the first word followed by the first four of the second? Is either of these systems a monoid?

4. Let (M, p, 1) be a monoid and let m [member of] M. Define a new product pm in M by pm(a, b) = amb. Show that this defines a semigroup. Under what condition on m do we have a unit relative to pm?

5. Let S be a semigroup, u an element not in S. Form M = S [union] {u} and extend the product in S to a binary product in M by defining ua = a = au for all a [member of] M. Show that M is a monoid.


An element u of a monoid M is said to be invertible (or a unit) if there exists a v in M such that

(3) uv = 1 = vu.

If v' also satisfies uv' = 1 = v'u then v' = (vu)v' = v(uv') = v. Hence v satisfying (3) is unique. We call this the inverse of u and write v = u-1. It is clear also that u-1 is invertible and (u-1)-1 = u. We now give the following

DEFINITION 1.2.A group G (or (G, p, 1)) is a monoid all of whose elements are invertible.

We shall call a submonoid of a monoid M (in particular, of a group) asubgroup if, regarded as a monoid, it is a group. Since the unit of a submonoid coincides with that of M it is clear that a subset G of M is a subgroup if and only if it has the following closure properties: 1 [member of] G, g1g2 [member of] G for every gi [member of] G, every g [member of] G is invertible, and g-1 [member of] G.

Let U(M) denote the set of invertible elements of the monoid M and let u1u2 [member of] U(M). Then


and, similarly, (u2-1u1-1)(u1u2) = 1. Hence u1u2 [member of] U(M). We saw also that if u [member of] U(M) then u-1 [member of] U(M), and clearly 1 · 1 = 1 shows that 1 [member of] U(M). Thus we see that U(M) is a subgroup of M. We shall call this the group of units or invertible elements of M. For example, if M = (z, ·, 1) then U(M) = {1, -1} and if M = (N, ·, 1) then U(M) = {1}.

We now consider the monoid M(S) of transformations of a non-vacuous set S. What is the associated group of units U(M(S))? We have seen (p. 8) that a transformation is invertible if and only if it is bijective. Hence our group is just the set of bijective transformations of S with the composition as the composite of maps and the unit as the identity map. We shall call U(M(S)) the symmetric group of the set S and denote it as Sym S. In particular, if S = {1, 2, ..., n) then we shall write Sn for Sym S and call this the symmetric group on n letters. We usually call the elements of Sn permutations of {1, 2, ..., n}. We can easily list all of these and determine the order of Sn. Using the notation we introduced in the case n = 2, we can denote a transformation of {1, 2, ..., n} by a symbol


where this means the transformation sending i ->i', 1 ≤ in. In order for α to be injective the second line 1 ', ..., n' must contain no duplicates, that is, no i can appear twice. This will also assure bijectivity since we cannot have an injective map of {1, 2, ..., n} on a proper subset. We can now count the number of elements in Sn by observing that we can take the element 1' in the symbol (4) to be any one of the n numbers 1,2, ..., n. This gives n choices for 1'. Once this has been chosen, to avoid duplication, we must choose 2' among the n - 1 numbers different from 1'. This gives n - 1 choices for 2'. After the partners of 1 and 2 have been chosen, we have n - 2 choices for 3', and so on. Clearly this means we have n! symbols (4) representing the elements of Sn. We have therefore proved


Excerpted from Basic Algebra I by Nathan Jacobson. Copyright © 1985 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

Preface xi

Preface to the First Edition xiii

Introduction: Concepts from set Theory. The Integers 1

0.1 The power set of a set 3

0.2 The Cartesian product set. Maps 4

0.3 Equivalence relations. Factoring a map through an equivalence relation 10

0.4 The natural numbers 15

0.5 The number system Z of integers 19

0.6 Some basic arithmetic facts about Z 22

0.7 A word on cardinal numbers 24

1 Monoids and Groups 26

1.1 Monoids of transformations and abstract monoids 28

1.2 Groups of transformations and abstract groups 31

1.3 Isomorphism. Cayley's theorem 36

1.4 Generalized associativity. Commutativity 39

1.5 Submonoids and subgroups generated by a subset. Cyclic groups 42

1.6 Cycle decomposition of permutations 48

1.7 Orbits. Cosets of a subgroup 51

1.8 Congruences. Quotient monoids and groups 54

1.9 Homomorphisms 58

1.10 Subgroups of a homomorphic image. Two basic isomorphism theorems 64

1.11 Free objects. Generators and relations 67

1.12 Groups acting on sets 71

1.13 Sylow's theorems 79

2 Rings 85

2.1 Definition and elementary properties 86

2.2 Types of rings 90

2.3 Matrix rings 92

2.4 Quaternions 98

2.5 Ideals, quotient rings 101

2.6 Ideals and quotient rings for Z 103

2.7 Homomorphisms of rings. Basic theorems 106

2.8 Anti-isomorphisms 111

2.9 Field of fractions of a commutative domain 115

2.10 Polynomial rings 119

2.11 Some properties of polynomial rings and applications 127

2.12 Polynomial functions 134

2.13 Symmetric polynomials 138

2.14 Factorial monoids and rings 140

2.15 Principal ideal domains and Euclidean domains 147

2.16 Polynomial extensions of factorial domains 151

2.17 "Rngs" (rings withoutunit) 155

3 Modules over a Principal Ideal Domain 157

3.1 Ring of endomorphisms of an abelian group 158

3.2 Left and right modules 163

3.3 Fundamental concepts and results 166

3.4 Free modules and matrices 170

3.5 Direct sums of modules 175

3.6 Finitely generated modules over a p.i.d. Preliminary results 179

3.7 Equivalence of matrices with entries in a p.i.d 181

3.8 Structure theorem for finitely generated modules over a p.i.d 187

3.9 Torsion modules, primary components, invariance theorem 189

3.10 Applications to abelian groups and to linear transformations 194

3.11 The ring of endomorphisms of a finitely generated module over a p.i.d 204

4 Galois Theory of Equations 210

4.1 Preliminary results, some old, some new 213

4.2 Construction with straight-edge and compass 216

4.3 Splitting field of a polynomial 224

4.4 Multiple roots 229

4.5 The Galois group. The fundamental Galois pairing 234

4.6 Some results on finite groups 244

4.7 Galois' criterion for solvability by radicals 251

4.8 The Galois group as permutation group of the roots 256

4.9 The general equation of the nth degree 262

4.10 Equations with rational coefficients and symmetric group as Galois group 267

4.11 Constructible regular n-gons 271

4.12 Transcendence of e and p. The Lindemann-Weierstrass theorem 277

4.13 Finite fields 287

4.14 Special bases for finite dimensional extensions fields 290

4.15 Traces and norms 296

4.16 Mod p reduction 301

5 Real Polynomial Equations and Inequalities 306

5.1 Ordered fields. Real closed fields 307

5.2 Sturm's theorem 311

5.3 Formalized Euclidean algorithm and Sturm's theorem 316

5.4 Elimination procedures. Resultants 322

5.5 Decision method for an algebraic curve 327

5.6 Tarski's theorem 335

6 Metric Vector Spaces and the Classical Groups 342

6.1 Linear functions and bilinear forms 343

6.2 Alternate forms 349

6.3 Quadratic forms and symmetric bilinear forms 354

6.4 Basic concepts of orthogonal geometry 361

6.5 Witt's cancellation theorem 367

6.6 The theorem of Cartan-Dieudonne 371

6.7 Structure of the general linear group GLn(F) 375

6.8 Structure of orthogonal groups 382

6.9 Symplectic geometry. The symplectic group 391

6.10 Orders of orthogonal and symplectic groups over a finite field 398

6.11 Postscript on hermitian forms and unitary geometry 401

7 Algebras over a Field 405

7.1 Definition and examples of associative algebras 406

7.2 Exterior algebras. Application to determinants 411

7.3 Regular matrix representations of associative algebras. Norms and traces 422

7.4 Change of base field. Transitivity of trace and norm 426

7.5 Non-associative algebras. Lie and Jordan algebras 430

7.6 Hurwitz' problem. Composition algebras 438

7.7 Frobenius' and Wedderburn's theorems on associative division algebras 451

8 Lattices and Boolean Algebras 455

8.1 Partially ordered sets and lattices 456

8.2 Distributivity and modularity 461

8.3 The theorem of Jordan-Holder-Dedekind 466

8.4 The lattice of subspaces of a vector space. Fundamental theorem of projective geometry 468

8.5 Boolean algebras 474

8.6 The Mobius function of a partially ordered set 480

Appendix 489

Index 493

Read More Show Less

Customer Reviews

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

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & 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 & 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 & 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 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


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & 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 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)