Introduction |
|
ix | |
Before we Begin |
|
xiii | |
|
|
1 | (150) |
|
|
3 | (19) |
|
1.1 The Well-Ordering Principle and Induction |
|
|
3 | (3) |
|
1.2 `Division with Remainder' in Z |
|
|
6 | (1) |
|
1.3 Greatest Common Divisors |
|
|
7 | (5) |
|
1.4 The Fundamental Theorem of Arithmetic |
|
|
12 | (10) |
|
|
20 | (2) |
|
|
22 | (19) |
|
2.1 Equivalence Relations and Quotients |
|
|
22 | (1) |
|
|
23 | (3) |
|
|
26 | (3) |
|
2.4 Properties of the Operations +, · on Z/nZ |
|
|
29 | (5) |
|
2.5 Fermat's Little Theorem, and the RSA Encryption System |
|
|
34 | (7) |
|
|
39 | (2) |
|
|
41 | (18) |
|
3.1 Definition and Examples |
|
|
41 | (6) |
|
|
47 | (4) |
|
3.3 Special Types of Rings |
|
|
51 | (8) |
|
|
57 | (2) |
|
|
59 | (18) |
|
|
59 | (2) |
|
|
61 | (3) |
|
|
64 | (5) |
|
4.4 Isomorphisms of Rings |
|
|
69 | (8) |
|
|
75 | (2) |
|
5 Canonical Decomposition, Quotients, and Isomorphism Theorems |
|
|
77 | (29) |
|
5.1 Rings: Canonical Decomposition, I |
|
|
77 | (2) |
|
|
79 | (4) |
|
|
83 | (6) |
|
5.4 Rings: Canonical Decomposition, II |
|
|
89 | (2) |
|
5.5 The First Isomorphism Theorem |
|
|
91 | (2) |
|
5.6 The Chinese Remainder Theorem |
|
|
93 | (7) |
|
5.7 The Third Isomorphism Theorem |
|
|
100 | (6) |
|
|
103 | (3) |
|
|
106 | (23) |
|
6.1 Prime and Maximal Ideals |
|
|
106 | (4) |
|
6.2 Primes and Irreducibles |
|
|
110 | (2) |
|
6.3 Euclidean Domains and PIDs |
|
|
112 | (5) |
|
|
117 | (3) |
|
6.5 The Field of Fractions of an Integral Domain |
|
|
120 | (9) |
|
|
126 | (3) |
|
7 Polynomial Rings and Factorization |
|
|
129 | (22) |
|
7.1 Fermat's Last Theorem for Polynomials |
|
|
129 | (2) |
|
7.2 The Polynomial Ring with Coefficients in a Field |
|
|
131 | (5) |
|
7.3 Irreducibility in Polynomial Rings |
|
|
136 | (3) |
|
7.4 Irreducibility in Q[ x] and Z[ x] |
|
|
139 | (4) |
|
7.5 Irreducibility Tests in Z[ x] |
|
|
143 | (8) |
|
|
148 | (3) |
|
|
151 | (76) |
|
8 Modules and Abelian Groups |
|
|
153 | (21) |
|
8.1 Vector Spaces and Ideals, Revisited |
|
|
153 | (5) |
|
8.2 The Category of R-Modules |
|
|
158 | (3) |
|
8.3 Submodules, Direct Sums |
|
|
161 | (3) |
|
8.4 Canonical Decomposition and Quotients |
|
|
164 | (4) |
|
|
168 | (6) |
|
|
171 | (3) |
|
9 Modules over Integral Domains |
|
|
174 | (28) |
|
|
174 | (7) |
|
9.2 Modules from Matrices |
|
|
181 | (6) |
|
9.3 Finitely Generated vs. Finitely Presented |
|
|
187 | (3) |
|
9.4 Vector Spaces are Free Modules |
|
|
190 | (3) |
|
9.5 Finitely Generated Modules over Euclidean Domains |
|
|
193 | (4) |
|
9.6 Linear Transformations and Modules over k[ t] |
|
|
197 | (5) |
|
|
199 | (3) |
|
|
202 | (25) |
|
10.1 The Category of Abelian Groups |
|
|
202 | (5) |
|
10.2 Cyclic Groups, and Orders of Elements |
|
|
207 | (5) |
|
10.3 The Classification Theorem |
|
|
212 | (5) |
|
10.4 Fermat's Theorem on Sums of Squares |
|
|
217 | (10) |
|
|
223 | (4) |
|
|
227 | (66) |
|
11 Groups---Preliminaries |
|
|
229 | (38) |
|
11.1 Groups and their Category |
|
|
229 | (6) |
|
11.2 Why Groups? Actions of a Group |
|
|
235 | (6) |
|
11.3 Cyclic, Dihedral, Symmetric, Free Groups |
|
|
241 | (12) |
|
11.4 Canonical Decomposition, Normality, and Quotients |
|
|
253 | (7) |
|
11.5 Isomorphism Theorems |
|
|
260 | (7) |
|
|
264 | (3) |
|
12 Basic Results on Finite Groups |
|
|
267 | (26) |
|
12.1 The Index of a Subgroup, and Lagrange's Theorem |
|
|
267 | (2) |
|
12.2 Stabilizers and the Class Equation |
|
|
269 | (5) |
|
12.3 Classification and Simplicity |
|
|
274 | (2) |
|
12.4 Sylow's Theorems: Statements, Applications |
|
|
276 | (4) |
|
12.5 Sylow's Theorems: Proofs |
|
|
280 | (2) |
|
|
282 | (4) |
|
|
286 | (7) |
|
|
289 | (4) |
|
|
293 | (84) |
|
|
295 | (22) |
|
13.1 Fields and Homomorphisms of Fields |
|
|
295 | (4) |
|
13.2 Finite Extensions and the Degree of an Extension |
|
|
299 | (2) |
|
|
301 | (6) |
|
13.4 Algebraic Extensions |
|
|
307 | (2) |
|
13.5 Application: `Geometric Impossibilities' |
|
|
309 | (8) |
|
|
314 | (3) |
|
14 Normal and Separable Extensions, and Splitting Fields |
|
|
317 | (23) |
|
14.1 Simple Extensions, Again |
|
|
317 | (3) |
|
|
320 | (6) |
|
|
326 | (2) |
|
14.4 Separable Extensions; and Simple Extensions Once Again |
|
|
328 | (5) |
|
14.5 Application: Finite Fields |
|
|
333 | (7) |
|
|
337 | (3) |
|
|
340 | (37) |
|
15.1 Galois Groups and Galois Extensions |
|
|
340 | (5) |
|
15.2 Characterization of Galois Extensions |
|
|
345 | (5) |
|
15.3 The Fundamental Theorem of Galois Theory |
|
|
350 | (7) |
|
15.4 Galois Groups of Polynomials |
|
|
357 | (4) |
|
15.5 Solving Polynomial Equations by Radicals |
|
|
361 | (9) |
|
|
370 | (7) |
|
|
373 | (4) |
Appendix A Background |
|
377 | (25) |
Appendix B Solutions to Selected Exercises |
|
402 | (59) |
Index of Definitions |
|
461 | (2) |
Index of Theorems |
|
463 | (2) |
Subject Index |
|
465 | |