Preface |
|
xiii | |
|
Chapter 1 A Potpourri of Preliminary Topics |
|
|
1 | (34) |
|
1.1 What Are Definitions, Axioms, and Proofs? |
|
|
1 | (1) |
|
1.2 Mathematical Credos to Live By! |
|
|
2 | (1) |
|
1.3 A Smidgeon of Mathematical Logic and Some Proof Techniques |
|
|
3 | (6) |
|
1.4 A Smidgeon of Set Theory |
|
|
9 | (3) |
|
|
12 | (1) |
|
1.6 Equivalence Relations |
|
|
13 | (3) |
|
1.7 Mathematical Induction |
|
|
16 | (1) |
|
1.8 A Smidgeon of Number Theory |
|
|
17 | (4) |
|
1.9 A Smidgeon of Combinatorics |
|
|
21 | (14) |
|
|
26 | (9) |
|
Chapter 2 Groups --- Part 1 |
|
|
35 | (28) |
|
2.1 Introduction to Groups |
|
|
35 | (4) |
|
|
39 | (2) |
|
2.3 Interesting Examples of Groups |
|
|
41 | (2) |
|
|
43 | (3) |
|
2.5 Subgroups, Cosets, and Lagrange's Theorem |
|
|
46 | (5) |
|
|
51 | (12) |
|
|
53 | (10) |
|
Chapter 3 Rings --- Part 1 |
|
|
63 | (28) |
|
3.1 Introduction to Rings |
|
|
63 | (1) |
|
3.2 Abstract Rings and Ring Homomorphisms |
|
|
63 | (2) |
|
3.3 Interesting Examples of Rings |
|
|
65 | (4) |
|
3.4 Some Important Special Types of Rings |
|
|
69 | (1) |
|
3.5 Unit Groups and Product Rings |
|
|
70 | (2) |
|
3.6 Ideals and Quotient Rings |
|
|
72 | (5) |
|
3.7 Prime Ideals and Maximal Ideals |
|
|
77 | (14) |
|
|
79 | (12) |
|
Chapter 4 Vector Spaces --- Part 1 |
|
|
91 | (14) |
|
4.1 Introduction to Vector Spaces |
|
|
91 | (1) |
|
4.2 Vector Spaces and Linear Transformations |
|
|
92 | (2) |
|
4.3 Interesting Examples of Vector Spaces |
|
|
94 | (1) |
|
|
95 | (10) |
|
|
100 | (5) |
|
Chapter 5 Fields ---Part 1 |
|
|
105 | (22) |
|
5.1 Introduction to Fields |
|
|
105 | (1) |
|
5.2 Abstract Fields and Homomorphisms |
|
|
106 | (1) |
|
5.3 Interesting Examples of Fields |
|
|
107 | (1) |
|
5.4 Subfields and Extension Fields |
|
|
108 | (2) |
|
|
110 | (2) |
|
5.6 Building Extension Fields |
|
|
112 | (5) |
|
|
117 | (10) |
|
|
120 | (7) |
|
Chapter 6 Groups --- Part 2 |
|
|
127 | (30) |
|
6.1 Normal Subgroups and Quotient Groups |
|
|
127 | (6) |
|
6.2 Groups Acting on Sets |
|
|
133 | (3) |
|
6.3 The Orbit-Stabilizer Counting Theorem |
|
|
136 | (4) |
|
|
140 | (5) |
|
|
145 | (3) |
|
6.6 Double Cosets and Sylow's Theorem |
|
|
148 | (9) |
|
|
151 | (6) |
|
Chapter 7 Rings --- Part 2 |
|
|
157 | (30) |
|
7.1 Irreducible Elements and Unique Factorization Domains |
|
|
157 | (2) |
|
7.2 Euclidean Domains and Principal Ideal Domains |
|
|
159 | (5) |
|
7.3 Factorization in Principal Ideal Domains |
|
|
164 | (3) |
|
7.4 The Chinese Remainder Theorem |
|
|
167 | (5) |
|
|
172 | (4) |
|
7.6 Multivariate and Symmetric Polynomials |
|
|
176 | (11) |
|
|
180 | (7) |
|
Chapter 8 Fields --- Part 2 |
|
|
187 | (34) |
|
8.1 Algebraic Numbers and Transcendental Numbers |
|
|
187 | (3) |
|
8.2 Polynomial Roots and Multiplicative Subgroups |
|
|
190 | (4) |
|
8.3 Splitting Fields, Separability, and Irreducibility |
|
|
194 | (6) |
|
8.4 Finite Fields Revisited |
|
|
200 | (1) |
|
8.5 Gauss's Lemma and Eisenstein's Irreducibility Criterion |
|
|
201 | (6) |
|
8.6 Ruler and Compass Constructions |
|
|
207 | (14) |
|
|
214 | (7) |
|
Chapter 9 Galois Theory: Fields + Groups |
|
|
221 | (74) |
|
9.1 What Is Galois Theory? |
|
|
221 | (1) |
|
9.2 A Quick Review of Polynomials and Field Extensions |
|
|
222 | (1) |
|
9.3 Fields of Algebraic Numbers |
|
|
223 | (3) |
|
9.4 Algebraically Closed Fields |
|
|
226 | (1) |
|
9.5 Automorphisms of Fields |
|
|
227 | (2) |
|
9.6 Splitting Fields --- Part 1 |
|
|
229 | (6) |
|
9.7 Splitting Fields --- Part 2 |
|
|
235 | (4) |
|
9.8 The Primitive Element Theorem |
|
|
239 | (3) |
|
|
242 | (5) |
|
9.10 The Fundamental Theorem of Galois Theory |
|
|
247 | (3) |
|
9.11 Application: The Fundamental Theorem of Algebra |
|
|
250 | (4) |
|
9.12 Galois Theory of Finite Fields |
|
|
254 | (3) |
|
9.13 A Plethora of Galois Equivalences |
|
|
257 | (7) |
|
9.14 Cyclotomic Fields and Kummer Fields |
|
|
264 | (5) |
|
9.15 Application: Insolubility of Polynomial Equations by Radicals |
|
|
269 | (12) |
|
9.16 Linear Independence of Field Automorphisms |
|
|
281 | (14) |
|
|
285 | (10) |
|
Chapter 10 Vector Spaces --- Part 2 |
|
|
295 | (32) |
|
10.1 Vector Space Homomorphisms (aka Linear Transformations) |
|
|
295 | (1) |
|
10.2 Endomorphisms and Automorphisms |
|
|
296 | (2) |
|
10.3 Linear Transformations and Matrices |
|
|
298 | (5) |
|
10.4 Subspaces and Quotient Spaces |
|
|
303 | (3) |
|
10.5 Eigenvalues and Eigenvectors |
|
|
306 | (3) |
|
|
309 | (6) |
|
10.7 Determinants, Eigenvalues, and Characteristic Polynomials |
|
|
315 | (3) |
|
10.8 Inifinite-Dimensional Vector Spaces |
|
|
318 | (9) |
|
|
320 | (7) |
|
Chapter 11 Modules --- Part 1: Rings + Vector-Like Spaces |
|
|
327 | (44) |
|
|
327 | (1) |
|
|
328 | (2) |
|
11.3 Submodules and Quotient Modules |
|
|
330 | (2) |
|
11.4 Free Modules and Finitely Generated Modules |
|
|
332 | (2) |
|
11.5 Homomorphisms. Endomorphisms. Matrices |
|
|
334 | (3) |
|
11.6 Noetherian Rings and Modules |
|
|
337 | (6) |
|
11.7 Matrices with Entries in a Euclidean Domain |
|
|
343 | (3) |
|
11.8 Finitely Generated Modules over Euclidean Domains |
|
|
346 | (7) |
|
11.9 Applications of the Structure Theorem |
|
|
353 | (18) |
|
|
357 | (14) |
|
Chapter 12 Groups --- Part 3 |
|
|
371 | (26) |
|
|
371 | (8) |
|
|
379 | (1) |
|
|
380 | (6) |
|
|
386 | (2) |
|
|
388 | (1) |
|
12.6 Semidirect Products of Groups |
|
|
389 | (3) |
|
12.7 The Structure of Finite Abelian Groups |
|
|
392 | (5) |
|
|
393 | (4) |
|
Chapter 13 Modules --- Part 2: Multilinear Algebra |
|
|
397 | (16) |
|
13.1 Multilinear Maps and Multilinear Forms |
|
|
397 | (2) |
|
13.2 Symmetric and Alternating Forms |
|
|
399 | (2) |
|
13.3 Alternating Forms on Free Modules |
|
|
401 | (4) |
|
|
405 | (8) |
|
|
409 | (4) |
|
Chapter 14 Additional Topics in Brief |
|
|
413 | (110) |
|
14.1 Sets Countable and Uncountable |
|
|
413 | (4) |
|
|
417 | (5) |
|
14.3 Tensor Products and Multilinear Algebra |
|
|
422 | (4) |
|
|
426 | (9) |
|
|
435 | (8) |
|
|
443 | (5) |
|
14.7 Representation Theory |
|
|
448 | (9) |
|
|
457 | (7) |
|
14.9 Algebraic Number Theory |
|
|
464 | (6) |
|
|
470 | (7) |
|
|
477 | (12) |
|
14.12 Non-Commutative Rings |
|
|
489 | (7) |
|
14.13 Mathematical Cryptography |
|
|
496 | (27) |
|
|
504 | (19) |
Sample Syllabi |
|
523 | (4) |
List of Notation |
|
527 | (6) |
List of Figures |
|
533 | (4) |
Index |
|
537 | |