| |
| |
| Preface | |
| |
| |
| |
| Integers and Equivalence Relations | |
| |
| |
| |
| Preliminaries | |
| |
| |
| Properties of Integers | |
| |
| |
| Modular Arithmetic | |
| |
| |
| Mathematical Induction | |
| |
| |
| Equivalence Relations | |
| |
| |
| Functions (Mappings) | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| |
| Groups | |
| |
| |
| |
| Introduction to Groups | |
| |
| |
| Symmetries of a Square | |
| |
| |
| The Dihedral Groups | |
| |
| |
| Exercises | |
| |
| |
| Biography of Niels Abel | |
| |
| |
| |
| Groups | |
| |
| |
| Definition and Examples of Groups | |
| |
| |
| Elementary Properties of Groups | |
| |
| |
| Historical Note | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| |
| Finite Groups; Subgroups | |
| |
| |
| Terminology and Notation | |
| |
| |
| Subgroup Tests | |
| |
| |
| Examples of Subgroups | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| |
| Cyclic Groups | |
| |
| |
| Properties of Cyclic Groups | |
| |
| |
| Classification of Subgroups of Cyclic Groups | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of J. J. Sylvester | |
| |
| |
| Supplementary Exercises for Chapters 1-4 | |
| |
| |
| |
| Permutation Groups | |
| |
| |
| Definition and Notation | |
| |
| |
| Cycle Notation | |
| |
| |
| Properties of Permutations | |
| |
| |
| A Check-Digit Scheme Based on D[subscript 5] | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Augustin Cauchy | |
| |
| |
| |
| Isomorphisms | |
| |
| |
| Motivation | |
| |
| |
| Definition and Examples | |
| |
| |
| Cayley's Theorem | |
| |
| |
| Properties of Isomorphisms | |
| |
| |
| Automorphisms | |
| |
| |
| Exercises | |
| |
| |
| Biography of Arthur Cayley | |
| |
| |
| |
| Cosets and Lagrange's Theorem | |
| |
| |
| Properties of Cosets | |
| |
| |
| Lagrange's Theorem and Consequences | |
| |
| |
| An Application of Cosets to Permutation Groups | |
| |
| |
| The Rotation Group of a Cube and a Soccer Ball | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Joseph Lagrange | |
| |
| |
| |
| External Direct Products | |
| |
| |
| Definition and Examples | |
| |
| |
| Properties of External Direct Products | |
| |
| |
| The Group of Units Modulo n as an External Direct Product | |
| |
| |
| Applications | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Leonard Adleman | |
| |
| |
| Supplementary Exercises for Chapters 5-8 | |
| |
| |
| |
| Normal Subgroups and Factor Groups | |
| |
| |
| Normal Subgroups | |
| |
| |
| Factor Groups | |
| |
| |
| Applications of Factor Groups | |
| |
| |
| Internal Direct Products | |
| |
| |
| Exercises | |
| |
| |
| Biography of Evariste Galois | |
| |
| |
| |
| Group Homomorphisms | |
| |
| |
| Definition and Examples | |
| |
| |
| Properties of Homomorphisms | |
| |
| |
| The First Isomorphism Theorem | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Camille Jordan | |
| |
| |
| |
| Fundamental Theorem of Finite Abelian Groups | |
| |
| |
| The Fundamental Theorem | |
| |
| |
| The Isomorphism Classes of Abelian Groups | |
| |
| |
| Proof of the Fundamental Theorem | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Supplementary Exercises for Chapters 9-11 | |
| |
| |
| |
| Rings | |
| |
| |
| |
| Introduction to Rings | |
| |
| |
| Motivation and Definition | |
| |
| |
| Examples of Rings | |
| |
| |
| Properties of Rings | |
| |
| |
| Subrings | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of I. N. Herstein | |
| |
| |
| |
| Integral Domains | |
| |
| |
| Definition and Examples | |
| |
| |
| Fields | |
| |
| |
| Characteristic of a Ring | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Nathan Jacobson | |
| |
| |
| |
| Ideals and Factor Rings | |
| |
| |
| Ideals | |
| |
| |
| Factor Rings | |
| |
| |
| Prime Ideals and Maximal Ideals | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Richard Dedekind | |
| |
| |
| Biography of Emmy Noether | |
| |
| |
| Supplementary Exercises for Chapters 12-14 | |
| |
| |
| |
| Ring Homomorphisms | |
| |
| |
| Definition and Examples | |
| |
| |
| Properties of Ring Homomorphisms | |
| |
| |
| The Field of Quotients | |
| |
| |
| Exercises | |
| |
| |
| |
| Polynomial Rings | |
| |
| |
| Notation and Terminology | |
| |
| |
| The Division Algorithm and Consequences | |
| |
| |
| Exercises | |
| |
| |
| Biography of Saunders Mac Lane | |
| |
| |
| |
| Factorization of Polynomials | |
| |
| |
| Reducibility Tests | |
| |
| |
| Irreducibility Tests | |
| |
| |
| Unique Factorization in Z[x] | |
| |
| |
| Weird Dice: An Application of Unique Factorization | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| |
| Divisibility in Integral Domains | |
| |
| |
| Irreducibles, Primes | |
| |
| |
| Historical Discussion of Fermat's Last Theorem | |
| |
| |
| Unique Factorization Domains | |
| |
| |
| Euclidean Domains | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Sophie Germain | |
| |
| |
| Biography of Andrew Wiles | |
| |
| |
| Supplementary Exercises for Chapters 15-18 | |
| |
| |
| |
| Fields | |
| |
| |
| |
| Vector Spaces | |
| |
| |
| Definition and Examples | |
| |
| |
| Subspaces | |
| |
| |
| Linear Independence | |
| |
| |
| Exercises | |
| |
| |
| Biography of Emil Artin | |
| |
| |
| Biography of Olga Taussky-Todd | |
| |
| |
| |
| Extension Fields | |
| |
| |
| The Fundamental Theorem of Field Theory | |
| |
| |
| Splitting Fields | |
| |
| |
| Zeros of an Irreducible Polynomial | |
| |
| |
| Exercises | |
| |
| |
| Biography of Leopold Kronecker | |
| |
| |
| |
| Algebraic Extensions | |
| |
| |
| Characterization of Extensions | |
| |
| |
| Finite Extensions | |
| |
| |
| Properties of Algebraic Extensions | |
| |
| |
| Exercises | |
| |
| |
| Biography of Irving Kaplansky | |
| |
| |
| |
| Finite Fields | |
| |
| |
| Classification of Finite Fields | |
| |
| |
| Structure of Finite Fields | |
| |
| |
| Subfields of a Finite Field | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of L. E. Dickson | |
| |
| |
| |
| Geometric Constructions | |
| |
| |
| Historical Discussion of Geometric Constructions | |
| |
| |
| Constructible Numbers | |
| |
| |
| Angle-Trisectors and Circle-Squarers | |
| |
| |
| Exercises | |
| |
| |
| Supplementary Exercises for Chapters 19-23 | |
| |
| |
| |
| Special Topics | |
| |
| |
| |
| Sylow Theorems | |
| |
| |
| Conjugacy Classes | |
| |
| |
| The Class Equation | |
| |
| |
| The Probability That Two Elements Commute | |
| |
| |
| The Sylow Theorems | |
| |
| |
| Applications of Sylow Theorems | |
| |
| |
| Exercises | |
| |
| |
| Biography of Ludwig Sylow | |
| |
| |
| |
| Finite Simple Groups | |
| |
| |
| Historical Background | |
| |
| |
| Nonsimplicity Tests | |
| |
| |
| The Simplicity of A[subscript 5] | |
| |
| |
| The Fields Medal | |
| |
| |
| The Cole Prize | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercises | |
| |
| |
| Biography of Michael Aschbacher | |
| |
| |
| Biography of Daniel Gorenstein | |
| |
| |
| Biography of John Thompson | |
| |
| |
| |
| Generators and Relations | |
| |
| |
| Motivation | |
| |
| |
| Definitions and Notation | |
| |
| |
| Free Group | |
| |
| |
| Generators and Relations | |
| |
| |
| Classification of Groups of Order Up to 15 | |
| |
| |
| Characterization of Dihedral Groups | |
| |
| |
| Realizing the Dihedral Groups with Mirrors | |
| |
| |
| Exercises | |
| |
| |
| Biography of Marshall Hall, Jr. | |
| |
| |
| |
| Symmetry Groups | |
| |
| |
| Isometries | |
| |
| |
| Classification of Finite Plane Symmetry Groups | |
| |
| |
| Classification of Finite Groups of Rotations in R[superscript 3] | |
| |
| |
| Exercises | |
| |
| |
| |
| Frieze Groups and Crystallographic Groups | |
| |
| |
| The Frieze Groups | |
| |
| |
| The Crystallographic Groups | |
| |
| |
| Identification of Plane Periodic Patterns | |
| |
| |
| Exercises | |
| |
| |
| Biography of M. C. Escher | |
| |
| |
| Biography of George Polya | |
| |
| |
| Biography of John H. Conway | |
| |
| |
| |
| Symmetry and Counting | |
| |
| |
| Motivation | |
| |
| |
| Burnside's Theorem | |
| |
| |
| Applications | |
| |
| |
| Group Action | |
| |
| |
| Exercises | |
| |
| |
| Biography of William Burnside | |
| |
| |
| |
| Cayley Digraphs of Groups | |
| |
| |
| Motivation | |
| |
| |
| The Cayley Digraph of a Group | |
| |
| |
| Hamiltonian Circuits and Paths | |
| |
| |
| Some Applications | |
| |
| |
| Exercises | |
| |
| |
| Biography of William Rowan Hamilton | |
| |
| |
| Biography of Paul Erdos | |
| |
| |
| |
| Introduction to Algebraic Coding Theory | |
| |
| |
| Motivation | |
| |
| |
| Linear Codes | |
| |
| |
| Parity-Check Matrix Decoding | |
| |
| |
| Coset Decoding | |
| |
| |
| Historical Note: Reed-Solomon Codes | |
| |
| |
| Exercises | |
| |
| |
| Biography of Richard W. Hamming | |
| |
| |
| Biography of Jessie MacWilliams | |
| |
| |
| Biography of Vera Pless | |
| |
| |
| |
| An Introduction to Galois Theory | |
| |
| |
| Fundamental Theorem of Galois Theory | |
| |
| |
| Solvability of Polynomials by Radicals | |
| |
| |
| Insolvability of a Quintic | |
| |
| |
| Exercises | |
| |
| |
| Biography of Philip Hall | |
| |
| |
| |
| Cyclotomic Extensions | |
| |
| |
| Motivation | |
| |
| |
| Cyclotomic Polynomials | |
| |
| |
| The Constructible Regular n-gons | |
| |
| |
| Exercises | |
| |
| |
| Computer Exercise | |
| |
| |
| Biography of Carl Friedrich Gauss | |
| |
| |
| Biography of Manjul Bhargava | |
| |
| |
| Supplementary Exercises for Chapters 24-33 | |
| |
| |
| Selected Answers | |
| |
| |
| Text Credits | |
| |
| |
| Photo Credits | |
| |
| |
| Index of Mathematicians | |
| |
| |
| Index of Terms | |