|
|
1 | (20) |
|
1.1 Presumed Results and Conventions |
|
|
1 | (11) |
|
|
1 | (1) |
|
|
2 | (2) |
|
|
4 | (6) |
|
1.1.4 Notation for Compositions of Mappings |
|
|
10 | (2) |
|
1.2 Binary Operations and Monoids |
|
|
12 | (2) |
|
1.3 Notation for Special Structures |
|
|
14 | (1) |
|
1.4 The Axiom of Choice and Cardinal Numbers |
|
|
15 | (6) |
|
1.4.1 The Axiom of Choice |
|
|
15 | (1) |
|
|
15 | (4) |
|
|
19 | (2) |
|
2 Basic Combinatorial Principles of Algebra |
|
|
21 | (52) |
|
|
21 | (1) |
|
|
22 | (19) |
|
2.2.1 Definition of a Partially Ordered Set |
|
|
22 | (1) |
|
2.2.2 Subposets and Induced Subposets |
|
|
23 | (1) |
|
2.2.3 Dual Posets and Dual Concepts |
|
|
24 | (1) |
|
2.2.4 Maximal and Minimal Elements of Induced Posets |
|
|
24 | (1) |
|
2.2.5 Global Maxima and Minima |
|
|
25 | (1) |
|
2.2.6 Total Orderings and Chains |
|
|
25 | (1) |
|
|
26 | (1) |
|
|
26 | (4) |
|
2.2.9 Order Ideals and Filters |
|
|
30 | (2) |
|
|
32 | (1) |
|
2.2.11 Products of Posets |
|
|
32 | (1) |
|
2.2.12 Morphisms of Posets |
|
|
33 | (1) |
|
|
34 | (3) |
|
|
37 | (1) |
|
2.2.15 Closure Operators and Galois Connections |
|
|
38 | (3) |
|
|
41 | (4) |
|
|
41 | (1) |
|
2.3.2 Algebraic Intervals and the Height Function |
|
|
41 | (1) |
|
2.3.3 The Ascending and Descending Chain Conditions in Arbitrary Posets |
|
|
42 | (3) |
|
2.4 Posets with Meets and/or Joins |
|
|
45 | (4) |
|
|
45 | (2) |
|
2.4.2 Lower Semilattices with the Descending Chain Condition |
|
|
47 | (1) |
|
2.4.3 Lower Semilattices with both Chain Conditions |
|
|
48 | (1) |
|
2.5 The Jordan-Holder Theory |
|
|
49 | (10) |
|
2.5.1 Lower Semi-lattices and Semimodularity |
|
|
50 | (1) |
|
2.5.2 Interval Measures on Posets |
|
|
51 | (1) |
|
2.5.3 The Jordan-Holder Theorem |
|
|
52 | (1) |
|
|
53 | (6) |
|
|
59 | (7) |
|
|
59 | (1) |
|
|
59 | (1) |
|
2.6.3 Extending the Definition to S × P(S) |
|
|
60 | (1) |
|
2.6.4 Independence and Spanning |
|
|
61 | (1) |
|
|
62 | (1) |
|
2.6.6 Other Formulations of Dependence Theory |
|
|
63 | (3) |
|
|
66 | (7) |
|
2.7.1 Exercises for Sect. 2.2 |
|
|
66 | (2) |
|
2.7.2 Exercises for Sects. 2.3 and 2.4 |
|
|
68 | (2) |
|
2.7.3 Exercises for Sect. 2.5 |
|
|
70 | (1) |
|
2.7.4 Exercises for Sect. 2.6 |
|
|
71 | (1) |
|
|
71 | (2) |
|
3 Review of Elementary Group Properties |
|
|
73 | (32) |
|
|
73 | (1) |
|
3.2 Definition and Examples |
|
|
74 | (6) |
|
3.2.1 Orders of Elements and Groups |
|
|
77 | (1) |
|
|
77 | (2) |
|
3.2.3 Cosets, and Lagrange's Theorem in Finite Groups |
|
|
79 | (1) |
|
3.3 Homomorphisms of Groups |
|
|
80 | (9) |
|
3.3.1 Definitions and Basic Properties |
|
|
80 | (1) |
|
3.3.2 Automorphisms as Right Operators |
|
|
81 | (1) |
|
3.3.3 Examples of Homomorphisms |
|
|
82 | (7) |
|
3.4 Factor Groups and the Fundamental Theorems of Homomorphisms |
|
|
89 | (5) |
|
|
89 | (1) |
|
|
89 | (2) |
|
|
91 | (2) |
|
3.4.4 Normalizers and Centralizers |
|
|
93 | (1) |
|
|
94 | (2) |
|
3.6 Other Variations: Semidirect Products and Subdirect Products |
|
|
96 | (5) |
|
3.6.1 Semidirect Products |
|
|
96 | (3) |
|
|
99 | (2) |
|
|
101 | (4) |
|
3.7.1 Exercises for Sects. 3.1--3.3 |
|
|
101 | (1) |
|
3.7.2 Exercises for Sect. 3.4 |
|
|
101 | (1) |
|
3.7.3 Exercises for Sects. 3.5--3.7 |
|
|
102 | (3) |
|
4 Permutation Groups and Group Actions |
|
|
105 | (32) |
|
4.1 Group Actions and Orbits |
|
|
105 | (2) |
|
4.1.1 Examples of Group Actions |
|
|
106 | (1) |
|
|
107 | (9) |
|
|
108 | (1) |
|
4.2.2 Even and Odd Permutations |
|
|
109 | (2) |
|
4.2.3 Transpositions and Cycles: The Theorem of Feit, Lyndon and Scott |
|
|
111 | (2) |
|
4.2.4 Action on Right Cosets |
|
|
113 | (1) |
|
|
114 | (1) |
|
4.2.6 The Fundamental Theorem of Transitive Actions |
|
|
114 | (1) |
|
4.2.7 Normal Subgroups of Transitive Groups |
|
|
115 | (1) |
|
|
116 | (1) |
|
4.3 Applications of Transitive Group Actions |
|
|
116 | (7) |
|
4.3.1 Cardinalities of Conjugacy Classes of Subsets |
|
|
116 | (1) |
|
|
117 | (1) |
|
|
117 | (2) |
|
4.3.4 Fusion and Transfer |
|
|
119 | (2) |
|
4.3.5 Calculations of Group Orders |
|
|
121 | (2) |
|
4.4 Primitive and Multiply Transitive Actions |
|
|
123 | (8) |
|
|
123 | (1) |
|
4.4.2 The Rank of a Group Action |
|
|
124 | (3) |
|
4.4.3 Multiply Transitive Group Actions |
|
|
127 | (3) |
|
4.4.4 Permutation Characters |
|
|
130 | (1) |
|
|
131 | (6) |
|
4.5.1 Exercises for Sects. 4.1--42 |
|
|
131 | (2) |
|
4.5.2 Exercises Involving Sects. 4.3 and 4.4 |
|
|
133 | (4) |
|
5 Normal Structure of Groups |
|
|
137 | (26) |
|
5.1 The Jordan-Holder Theorem for Artinian Groups |
|
|
137 | (3) |
|
|
137 | (3) |
|
|
140 | (2) |
|
5.3 The Derived Series and Solvability |
|
|
142 | (4) |
|
5.4 Central Series and Nilpotent Groups |
|
|
146 | (6) |
|
5.4.1 The Upper and Lower Central Series |
|
|
146 | (3) |
|
5.4.2 Finite Nilpotent Groups |
|
|
149 | (3) |
|
|
152 | (4) |
|
|
156 | (7) |
|
5.6.1 Elementary Exercises |
|
|
156 | (3) |
|
5.6.2 The Baer-Suzuki Theorem |
|
|
159 | (4) |
|
|
163 | (22) |
|
|
163 | (1) |
|
|
164 | (1) |
|
|
164 | (1) |
|
6.2.2 Morphisms of Various Sorts of Graphs |
|
|
164 | (1) |
|
6.2.3 Group Morphisms Induce Morphisms of Cayley Graphs |
|
|
165 | (1) |
|
|
165 | (13) |
|
6.3.1 Construction of Free Groups |
|
|
165 | (6) |
|
6.3.2 The Universal Property |
|
|
171 | (1) |
|
6.3.3 Generators and Relations |
|
|
171 | (7) |
|
6.4 The Brauer-Ree Theorem |
|
|
178 | (2) |
|
|
180 | (2) |
|
6.5.1 Exercises for Sect. 6.3 |
|
|
180 | (2) |
|
6.5.2 Exercises for Sect. 6.4 |
|
|
182 | (1) |
|
6.6 A Word to the Student |
|
|
182 | (3) |
|
6.6.1 The Classification of Finite Simple Groups |
|
|
182 | (1) |
|
|
183 | (2) |
|
7 Elementary Properties of Rings |
|
|
185 | (46) |
|
7.1 Elementary Facts About Rings |
|
|
185 | (4) |
|
|
185 | (1) |
|
|
185 | (3) |
|
|
188 | (1) |
|
|
189 | (9) |
|
7.2.1 Ideals and Factor Rings |
|
|
191 | (1) |
|
7.2.2 The Fundamental Theorems of Ring Homomorphisms |
|
|
192 | (1) |
|
7.2.3 The Poset of Ideals |
|
|
193 | (5) |
|
7.3 Monoid Rings and Polynomial Rings |
|
|
198 | (12) |
|
7.3.1 Some Classic Monoids |
|
|
198 | (1) |
|
7.3.2 General Monoid Rings |
|
|
199 | (3) |
|
|
202 | (1) |
|
|
202 | (1) |
|
|
202 | (6) |
|
7.3.6 Algebraic Varieties: An Application of the Polynomial Rings F[ X] |
|
|
208 | (2) |
|
7.4 Other Examples and Constructions of Rings |
|
|
210 | (12) |
|
|
210 | (8) |
|
|
218 | (4) |
|
|
222 | (9) |
|
7.5.1 Warmup Exercises for Sect. 7.1 |
|
|
222 | (1) |
|
7.5.2 Exercises for Sect. 7.2 |
|
|
223 | (2) |
|
7.5.3 Exercises for Sect. 7.3 |
|
|
225 | (4) |
|
7.5.4 Exercises for Sect. 7.4 |
|
|
229 | (1) |
|
|
230 | (1) |
|
8 Elementary Properties of Modules |
|
|
231 | (48) |
|
|
231 | (15) |
|
|
231 | (1) |
|
8.1.2 The Connection Between R-Modules and Endomorphism Rings of Additive Groups |
|
|
232 | (2) |
|
|
234 | (1) |
|
|
235 | (1) |
|
|
236 | (1) |
|
8.1.6 The Fundamental Homomorphism Theorems for R-Modules |
|
|
237 | (2) |
|
8.1.7 The Jordan-Holder Theorem for R-Modules |
|
|
239 | (2) |
|
8.1.8 Direct Sums and Products of Modules |
|
|
241 | (2) |
|
|
243 | (2) |
|
|
245 | (1) |
|
8.2 Consequences of Chain Conditions on Modules |
|
|
246 | (10) |
|
8.2.1 Noetherian and Artinian Modules |
|
|
246 | (2) |
|
8.2.2 Effects of the Chain Conditions on Endomorphisms |
|
|
248 | (5) |
|
8.2.3 Noetherian Modules and Finite Generation |
|
|
253 | (1) |
|
8.2.4 E. Noether's Theorem |
|
|
253 | (1) |
|
8.2.5 Algebraic Integers and Integral Elements |
|
|
254 | (2) |
|
8.3 The Hilbert Basis Theorem |
|
|
256 | (2) |
|
8.4 Mapping Properties of Modules |
|
|
258 | (13) |
|
8.4.1 The Universal Mapping Properties of the Direct Sum and Direct Product |
|
|
258 | (3) |
|
|
261 | (2) |
|
|
263 | (2) |
|
8.4.4 Projective and Injective Modules |
|
|
265 | (6) |
|
|
271 | (8) |
|
8.5.1 Exercises for Sect. 8.1 |
|
|
271 | (2) |
|
8.5.2 Exercises for Sects. 8.2 and 8.3 |
|
|
273 | (1) |
|
8.5.3 Exercises for Sect. 8.4 |
|
|
274 | (3) |
|
|
277 | (2) |
|
9 The Arithmetic of Integral Domains |
|
|
279 | (54) |
|
|
279 | (1) |
|
9.2 Divisibility and Factorization |
|
|
280 | (5) |
|
|
280 | (3) |
|
9.2.2 Factorization and Irreducible Elements |
|
|
283 | (1) |
|
|
284 | (1) |
|
|
285 | (4) |
|
9.3.1 Examples of Euclidean Domains |
|
|
287 | (2) |
|
|
289 | (3) |
|
9.4.1 Factorization into Prime Elements |
|
|
289 | (3) |
|
9.4.2 Principal Ideal Domains Are Unique Factorization Domains |
|
|
292 | (1) |
|
9.5 If D Is a UFD, Then so Is D[ x] |
|
|
292 | (4) |
|
9.6 Localization in Commutative Rings |
|
|
296 | (4) |
|
9.6.1 Localization by a Multiplicative Set |
|
|
296 | (1) |
|
9.6.2 Special Features of Localization in Domains |
|
|
297 | (1) |
|
9.6.3 A Local Characterization of UFD's |
|
|
298 | (2) |
|
9.6.4 Localization at a Prime Ideal |
|
|
300 | (1) |
|
9.7 Integral Elements in a Domain |
|
|
300 | (2) |
|
|
300 | (2) |
|
9.8 Rings of Integral Elements |
|
|
302 | (3) |
|
9.9 Factorization Theory in Dedekind Domains and the Fundamental Theorem of Algebraic Number Theory |
|
|
305 | (4) |
|
9.10 The Ideal Class Group of a Dedekind Domain |
|
|
309 | (1) |
|
9.11 A Characterization of Dedekind Domains |
|
|
310 | (4) |
|
9.12 When Are Rings of Integers Dedekind? |
|
|
314 | (3) |
|
|
317 | (16) |
|
9.13.1 Exercises for Sects. 9.2, 9.3, 9.4 and 9.5 |
|
|
317 | (3) |
|
9.13.2 Exercises on Localization |
|
|
320 | (1) |
|
9.13.3 Exercises for Sect. 9.9 |
|
|
321 | (1) |
|
9.13.4 Exercises for Sect. 9.10 |
|
|
322 | (1) |
|
9.13.5 Exercises for Sect. 9.11 |
|
|
323 | (1) |
|
9.13.6 Exercises for Sect. 9.12 |
|
|
324 | (1) |
|
Appendix: The Arithmetic of Quadratic Domains |
|
|
325 | (8) |
|
10 Principal Ideal Domains and Their Modules |
|
|
333 | (22) |
|
|
333 | (1) |
|
10.2 Quick Review of PID's |
|
|
334 | (1) |
|
10.3 Free Modules over a PID |
|
|
335 | (1) |
|
|
335 | (3) |
|
10.5 Finitely Generated Modules over a PID |
|
|
338 | (4) |
|
10.6 The Uniqueness of the Invariant Factors |
|
|
342 | (1) |
|
10.7 Applications of the Theorem on PID Modules |
|
|
343 | (8) |
|
10.7.1 Classification of Finite Abelian Groups |
|
|
343 | (1) |
|
10.7.2 The Rational Canonical Form of a Linear Transformation |
|
|
344 | (4) |
|
|
348 | (2) |
|
10.7.4 Information Carried by the Invariant Factors |
|
|
350 | (1) |
|
|
351 | (4) |
|
10.8.1 Miscellaneous Exercises |
|
|
351 | (2) |
|
10.8.2 Structure Theory of Modules over Z and Polynomial Rings |
|
|
353 | (2) |
|
|
355 | (88) |
|
|
355 | (1) |
|
11.2 Elementary Properties of Field Extensions |
|
|
356 | (7) |
|
11.2.1 Algebraic and Transcendental Extensions |
|
|
357 | (1) |
|
11.2.2 Indices Multiply: Ruler and Compass Problems |
|
|
358 | (2) |
|
11.2.3 The Number of Zeros of a Polynomial |
|
|
360 | (3) |
|
11.3 Splitting Fields and Their Automorphisms |
|
|
363 | (7) |
|
11.3.1 Extending Isomorphisms Between Fields |
|
|
363 | (1) |
|
|
364 | (4) |
|
|
368 | (2) |
|
11.4 Some Applications to Finite Fields |
|
|
370 | (4) |
|
11.4.1 Automorphisms of Finite Fields |
|
|
370 | (2) |
|
11.4.2 Polynomial Equations Over Finite Fields: The Chevalley-Warning Theorem |
|
|
372 | (2) |
|
11.5 Separable Elements and Field Extensions |
|
|
374 | (6) |
|
|
374 | (3) |
|
11.5.2 Separable and Inseparable Extensions |
|
|
377 | (3) |
|
|
380 | (7) |
|
11.6.1 Galois Field Extensions |
|
|
380 | (1) |
|
11.6.2 The Dedekind Independence Lemma |
|
|
381 | (3) |
|
11.6.3 Galois Extensions and the Fundamental Theorem of Galois Theory |
|
|
384 | (3) |
|
11.7 Traces and Norms and Their Applications |
|
|
387 | (4) |
|
|
387 | (1) |
|
11.7.2 Elementary Properties of the Trace and Norm |
|
|
388 | (1) |
|
11.7.3 The Trace Map for a Separable Extension Is Not Zero |
|
|
389 | (1) |
|
11.7.4 An Application to Rings of Integral Elements |
|
|
390 | (1) |
|
11.8 The Galois Group of a Polynomial |
|
|
391 | (7) |
|
11.8.1 The Cyclotomic Polynomials |
|
|
391 | (1) |
|
11.8.2 The Galois Group as a Permutation Group |
|
|
392 | (6) |
|
11.9 Solvability of Equations by Radicals |
|
|
398 | (8) |
|
|
398 | (3) |
|
|
401 | (1) |
|
11.9.3 Radical Extensions |
|
|
402 | (1) |
|
11.9.4 Galois' Criterion for Solvability by Radicals |
|
|
403 | (3) |
|
11.10 The Primitive Element Theorem |
|
|
406 | (1) |
|
11.11 Transcendental Extensions |
|
|
407 | (7) |
|
11.11.1 Simple Transcendental Extensions |
|
|
407 | (7) |
|
|
414 | (29) |
|
11.12.1 Exercises for Sect. 11.2 |
|
|
414 | (2) |
|
11.12.2 Exercises for Sect. 11.3 |
|
|
416 | (1) |
|
11.12.3 Exercises for Sect. 11.4 |
|
|
416 | (2) |
|
11.12.4 Exercises for Sect. 11.5 |
|
|
418 | (1) |
|
11.12.5 Exercises for Sect. 11.6 |
|
|
418 | (1) |
|
11.12.6 Exercises for Sect. 11.8 |
|
|
419 | (2) |
|
11.12.7 Exercises for Sects. 11.9 and 11.10 |
|
|
421 | (2) |
|
11.12.8 Exercises for Sect. 11.11 |
|
|
423 | (1) |
|
11.12.9 Exercises Associated with Appendix 1 of Chap. 10 |
|
|
424 | (1) |
|
Appendix 1 Fields with a Valuation |
|
|
424 | (17) |
|
|
441 | (2) |
|
|
443 | (28) |
|
|
443 | (1) |
|
12.2 Complete Reducibility |
|
|
444 | (3) |
|
12.3 Homogeneous Components |
|
|
447 | (2) |
|
12.3.1 The Action of the R-Endomorphism Ring |
|
|
447 | (1) |
|
12.3.2 The Socle of a Module Is a Direct Sum of the Homogeneous Components |
|
|
448 | (1) |
|
|
449 | (6) |
|
|
449 | (1) |
|
12.4.2 The Semiprime Condition |
|
|
450 | (1) |
|
12.4.3 Completely Reducible and Semiprimitive Rings Are Species of Semiprime Rings |
|
|
451 | (1) |
|
12.4.4 Idempotents and Minimal Right Ideals of Semiprime Rings |
|
|
452 | (3) |
|
12.5 Completely Reducible Rings |
|
|
455 | (6) |
|
|
461 | (10) |
|
|
461 | (2) |
|
12.6.2 Warm Up Exercises for Sects. 12.1 and 12.2 |
|
|
463 | (1) |
|
12.6.3 Exercises Concerning the Jacobson Radical |
|
|
464 | (1) |
|
12.6.4 The Jacobson Radical of Artinian Rings |
|
|
465 | (1) |
|
12.6.5 Quasiregularity and the Radical |
|
|
466 | (1) |
|
12.6.6 Exercises Involving Nil One-Sided Ideals in Noetherian Rings |
|
|
467 | (2) |
|
|
469 | (2) |
|
|
471 | (58) |
|
|
471 | (1) |
|
13.2 Categories and Universal Constructions |
|
|
472 | (7) |
|
13.2.1 Examples of Universal Constructions |
|
|
472 | (1) |
|
13.2.2 Definition of a Category |
|
|
473 | (3) |
|
13.2.3 Initial and Terminal Objects, and Universal Mapping Properties |
|
|
476 | (1) |
|
13.2.4 Opposite Categories |
|
|
477 | (1) |
|
|
478 | (1) |
|
13.3 The Tensor Product as an Abelian Group |
|
|
479 | (9) |
|
13.3.1 The Defining Mapping Property |
|
|
479 | (2) |
|
13.3.2 Existence of the Tensor Product |
|
|
481 | (1) |
|
13.3.3 Mapping Properties of the Tensor Product |
|
|
482 | (5) |
|
13.3.4 The Adjointness Relationship of the Horn and Tensor Functors |
|
|
487 | (1) |
|
13.4 The Tensor Product as a Right S-Module |
|
|
488 | (3) |
|
13.5 Multiple Tensor Products and R-Multilinear Maps |
|
|
491 | (2) |
|
|
493 | (3) |
|
13.7 The Tensor Product of R-Algebras |
|
|
496 | (1) |
|
|
497 | (4) |
|
|
501 | (3) |
|
|
501 | (1) |
|
13.9.2 The Tensor Algebra: As a Universal Mapping Property |
|
|
501 | (1) |
|
13.9.3 The Tensor Algebra: The Standard Construction |
|
|
502 | (2) |
|
13.10 The Symmetric and Exterior Algebras |
|
|
504 | (8) |
|
13.10.1 Definitions of the Algebras |
|
|
504 | (2) |
|
13.10.2 Applications of Theorem 13.10.1 |
|
|
506 | (6) |
|
13.11 Basic Multilinear Algebra |
|
|
512 | (2) |
|
|
514 | (1) |
|
|
515 | (14) |
|
13.13.1 Exercises for Sect. 13.2 |
|
|
515 | (1) |
|
13.13.2 Exercises for Sect. 13.3 |
|
|
516 | (1) |
|
13.13.3 Exercises for Sect. 13.3.4 |
|
|
517 | (1) |
|
13.13.4 Exercises for Sect. 13.4 |
|
|
518 | (3) |
|
13.13.5 Exercises for Sects. 13.6 and 13.7 |
|
|
521 | (1) |
|
13.13.6 Exercises for Sect. 13.8 |
|
|
522 | (1) |
|
13.13.7 Exercises for Sect. 13.10 |
|
|
522 | (5) |
|
13.13.8 Exercise for Sect. 13.11 |
|
|
527 | (1) |
|
|
527 | (2) |
Bibliography |
|
529 | (2) |
Index |
|
531 | |