| List of Figures |
|
ix | |
| List of Tables |
|
xi | |
| Preface |
|
xiii | |
| Acknowledgments |
|
xv | |
| About the Author |
|
xvii | |
| Symbol Description |
|
xix | |
| Mathematica® vs. GAP |
|
xxiii | |
| 1 Understanding the Group Concept |
|
1 | |
|
1.1 Introduction to Groups |
|
|
1 | |
|
|
|
5 | |
|
|
|
10 | |
|
1.4 The Definition of a Group |
|
|
15 | |
|
|
|
21 | |
| 2 The Structure within a Group |
|
27 | |
|
|
|
27 | |
|
2.2 Defining Finite Groups in Mathematica and GAP |
|
|
31 | |
|
|
|
38 | |
|
|
|
48 | |
| 3 Patterns within the Cosets of Groups |
|
53 | |
|
3.1 Left and Right Cosets |
|
|
53 | |
|
3.2 How to Write a Secret Message |
|
|
58 | |
|
|
|
66 | |
|
|
|
71 | |
|
|
|
74 | |
| 4 Mappings between Groups |
|
79 | |
|
|
|
79 | |
|
|
|
86 | |
|
4.3 The Three Isomorphism Theorems |
|
|
93 | |
|
|
|
103 | |
| 5 Permutation Groups |
|
107 | |
|
|
|
107 | |
|
|
|
111 | |
|
|
|
121 | |
|
5.4 Numbering the Permutations |
|
|
127 | |
|
|
|
130 | |
| 6 Building Larger Groups from Smaller Groups |
|
135 | |
|
|
|
135 | |
|
6.2 The Fundamental Theorem of Finite Abelian Groups |
|
|
141 | |
|
|
|
151 | |
|
|
|
161 | |
|
|
|
171 | |
| 7 The Search for Normal Subgroups |
|
175 | |
|
7.1 The Center of a Group |
|
|
175 | |
|
7.2 The Normalizer and Normal Closure Subgroups |
|
|
179 | |
|
7.3 Conjugacy Classes and Simple Groups |
|
|
183 | |
|
7.4 The Class Equation and Sylow's Theorems |
|
|
190 | |
|
|
|
203 | |
| 8 Solvable and Insoluble Groups |
|
209 | |
|
8.1 Subnormal Series and the Jordan-Holder Theorem |
|
|
209 | |
|
|
|
217 | |
|
|
|
224 | |
|
8.4 Solving the PyraminxTm |
|
|
232 | |
|
|
|
239 | |
| 9 Introduction to Rings |
|
245 | |
|
9.1 Groups with an Additional Operation |
|
|
245 | |
|
9.2 The Definition of a Ring |
|
|
252 | |
|
9.3 Entering Finite Rings into GAP and Mathematica |
|
|
256 | |
|
9.4 Some Properties of Rings |
|
|
264 | |
|
|
|
269 | |
| 10 The Structure within Rings |
|
273 | |
|
|
|
273 | |
|
10.2 Quotient Rings and Ideals |
|
|
277 | |
|
|
|
284 | |
|
10.4 Homomorphisms and Kernels |
|
|
292 | |
|
|
|
302 | |
| 11 Integral Domains and Fields |
|
309 | |
|
|
|
309 | |
|
11.2 The Field of Quotients |
|
|
318 | |
|
|
|
324 | |
|
11.4 Ordered Commutative Rings |
|
|
338 | |
|
|
|
345 | |
| 12 Unique Factorization |
|
351 | |
|
12.1 Factorization of Polynomials |
|
|
351 | |
|
12.2 Unique Factorization Domains |
|
|
362 | |
|
12.3 Principal Ideal Domains |
|
|
373 | |
|
|
|
379 | |
|
|
|
385 | |
| 13 Finite Division Rings |
|
391 | |
|
13.1 Entering Finite Fields in Mathematica or GAP |
|
|
391 | |
|
13.2 Properties of Finite Fields |
|
|
396 | |
|
13.3 Cyclotomic Polynomials |
|
|
405 | |
|
|
|
417 | |
|
|
|
423 | |
| 14 The Theory of Fields |
|
429 | |
|
|
|
429 | |
|
|
|
436 | |
|
|
|
444 | |
|
|
|
455 | |
| 15 Galois Theory |
|
459 | |
|
15.1 The Galois Group of an Extension Field |
|
|
459 | |
|
15.2 The Galois Group of a Polynomial in Q |
|
|
468 | |
|
15.3 The Fundamental Theorem of Galois Theory |
|
|
479 | |
|
15.4 Solutions of Polynomial Equations Using Radicals |
|
|
486 | |
|
|
|
491 | |
| Answers to Odd-Numbered Problems |
|
497 | |
| Bibliography |
|
517 | |
| Index |
|
519 | |