|
1 Language of Mathematics 1 (Logic) |
|
|
1 | (12) |
|
1.1 Statements, Prepositional Connectives |
|
|
1 | (2) |
|
1.2 Statement Formula and Truth Functional Rules |
|
|
3 | (4) |
|
|
7 | (1) |
|
1.4 Tautology and Logical Equivalences |
|
|
8 | (1) |
|
1.5 Theory of Logical Inference |
|
|
9 | (4) |
|
2 Language of Mathematics 2 (Set Theory) |
|
|
13 | (42) |
|
2.1 Set, Zermelo--Fraenkel Axiomatic System |
|
|
13 | (9) |
|
2.2 Cartesian Product and Relations |
|
|
22 | (4) |
|
|
26 | (3) |
|
|
29 | (9) |
|
|
38 | (5) |
|
|
43 | (5) |
|
|
48 | (7) |
|
|
55 | (38) |
|
|
55 | (4) |
|
|
59 | (3) |
|
|
62 | (9) |
|
3.4 Greatest Common Divisor, Least Common Multiple |
|
|
71 | (8) |
|
3.5 Linear Congruence, Residue Classes |
|
|
79 | (7) |
|
|
86 | (2) |
|
|
88 | (3) |
|
|
91 | (2) |
|
|
93 | (52) |
|
4.1 Definition and Examples |
|
|
94 | (12) |
|
|
106 | (7) |
|
4.3 Homomorphisms and Isomorphisms |
|
|
113 | (9) |
|
|
122 | (12) |
|
|
134 | (11) |
|
|
145 | (34) |
|
5.1 Coset Decomposition, Lagrange Theorem |
|
|
145 | (10) |
|
5.2 Product of Groups and Quotient Groups |
|
|
155 | (18) |
|
5.3 Fundamental Theorem of Homomorphism |
|
|
173 | (6) |
|
6 Permutation Groups and Classical Groups |
|
|
179 | (40) |
|
|
179 | (8) |
|
6.2 Alternating Maps and Alternating Groups |
|
|
187 | (12) |
|
6.3 General Linear Groups |
|
|
199 | (10) |
|
|
209 | (10) |
|
7 Elementary Theory of Rings and Fields |
|
|
219 | (50) |
|
7.1 Definition and Examples |
|
|
219 | (2) |
|
|
221 | (3) |
|
7.3 Integral Domain, Division Ring, and Fields |
|
|
224 | (9) |
|
7.4 Homomorphisms and Isomorphisms |
|
|
233 | (5) |
|
7.5 Subrings, Ideals, and Isomorphism Theorems |
|
|
238 | (12) |
|
|
250 | (11) |
|
7.7 Polynomial Ring in Several Variable |
|
|
261 | (8) |
|
|
269 | (42) |
|
|
269 | (10) |
|
8.2 Higher Degree Congruences |
|
|
279 | (10) |
|
8.3 Quadratic Residues and Quadratic Reciprocity |
|
|
289 | (22) |
|
9 Structure Theory of Groups |
|
|
311 | (42) |
|
9.1 Group Actions, Permutation Representations |
|
|
311 | (10) |
|
|
321 | (14) |
|
9.3 Finite Abelian Groups |
|
|
335 | (3) |
|
9.4 Normal Series and Composition Series |
|
|
338 | (15) |
|
10 Structure Theory Continued |
|
|
353 | (34) |
|
10.1 Decompositions of Groups |
|
|
353 | (5) |
|
|
358 | (7) |
|
|
365 | (12) |
|
10.4 Free Groups and Presentations of Groups |
|
|
377 | (10) |
|
|
387 | (34) |
|
|
387 | (6) |
|
11.2 Principal Ideal Domains |
|
|
393 | (6) |
|
|
399 | (5) |
|
11.4 Chinese Remainder Theorem in Rings |
|
|
404 | (2) |
|
11.5 Unique Factorization Domain (U.F.D.) |
|
|
406 | (15) |
Appendix |
|
421 | (8) |
Index |
|
429 | |