Foreword: MASS at Perm State University |
|
xi | |
Preface |
|
xiii | |
Guide for instructors |
|
xvii | |
|
Chapter 1 Elements of group theory |
|
|
1 | (68) |
|
Lecture 1 First examples of groups |
|
|
1 | (10) |
|
|
1 | (2) |
|
b Monoids, semigroups, and groups |
|
|
3 | (5) |
|
c Examples from numbers and multiplication tables |
|
|
8 | (3) |
|
Lecture 2 More examples and definitions |
|
|
11 | (9) |
|
|
11 | (2) |
|
|
13 | (2) |
|
|
15 | (3) |
|
d Homomorphisms and isomorphisms |
|
|
18 | (2) |
|
Lecture 3 First attempts at classification |
|
|
20 | (11) |
|
|
20 | (2) |
|
|
22 | (3) |
|
|
25 | (4) |
|
|
29 | (2) |
|
Lecture 4 Non-abelian groups and factor groups |
|
|
31 | (15) |
|
a The first non-abelian group and permutation groups |
|
|
31 | (3) |
|
b Representations and group actions |
|
|
34 | (4) |
|
c Automorphisms: Inner and outer |
|
|
38 | (4) |
|
d Cosets and factor groups |
|
|
42 | (4) |
|
Lecture 5 Groups of small order |
|
|
46 | (11) |
|
a Structure of finite groups of various orders |
|
|
46 | (4) |
|
b Back to permutation groups |
|
|
50 | (4) |
|
c Parity and the alternating group |
|
|
54 | (3) |
|
Lecture 6 Solvable and nilpotent groups |
|
|
57 | (12) |
|
a Commutators: Perfect, simple, and solvable groups |
|
|
57 | (3) |
|
b Solvable and simple groups among permutation groups |
|
|
60 | (5) |
|
c Solvability of groups and algebraic equations |
|
|
65 | (1) |
|
|
65 | (4) |
|
Chapter 2 Symmetry in the Euclidean world: Groups of isometries of planar and spatial objects |
|
|
69 | (86) |
|
Lecture 7 Isometries of R2 and R3 |
|
|
69 | (13) |
|
a Groups related to geometric objects |
|
|
9 | (63) |
|
b Symmetries of bodies in R2 |
|
|
72 | (5) |
|
c Symmetries of bodies in R3 |
|
|
77 | (5) |
|
Lecture 8 Classifying isometries of R2 |
|
|
82 | (9) |
|
a Isometries of the plane |
|
|
82 | (1) |
|
b Even and odd isometries |
|
|
83 | (2) |
|
c Isometries are determined by three points |
|
|
85 | (2) |
|
d Isometries are products of reflections |
|
|
87 | (3) |
|
|
90 | (1) |
|
Lecture 9 The isometry group as a semidirect product |
|
|
91 | (9) |
|
a The group structure of Isom(R2) |
|
|
91 | (3) |
|
b Isom+(R2) and its subgroups and Gp+ And T |
|
|
94 | (2) |
|
c Internal and external semidirect products |
|
|
96 | (2) |
|
d Examples and properties of semidirect products |
|
|
98 | (2) |
|
Lecture 10 Discrete isometry groups in R2 |
|
|
100 | (14) |
|
|
100 | (5) |
|
b Discrete symmetry groups |
|
|
105 | (7) |
|
c Quotient spaces by free and discrete actions |
|
|
112 | (2) |
|
Lecture 11 Isometries of R3 with fixed points |
|
|
114 | (7) |
|
a Classifying isometries of R3 |
|
|
114 | (3) |
|
b Isometries of the sphere |
|
|
117 | (1) |
|
|
118 | (2) |
|
d The structure of O(3) and odd isometries |
|
|
120 | (1) |
|
Lecture 12 Finite isometry groups in R3 |
|
|
121 | (12) |
|
|
121 | (5) |
|
b Combinatorial possibilities |
|
|
126 | (3) |
|
c A unique group for each combinatorial type |
|
|
129 | (4) |
|
Lecture 13 The rest of the story in R3 |
|
|
133 | (10) |
|
|
133 | (6) |
|
b Completion of classification of isometries of R3 |
|
|
139 | (4) |
|
Lecture 14 A more algebraic approach |
|
|
143 | (12) |
|
a From synthetic to algebraic: Scalar products |
|
|
143 | (5) |
|
|
148 | (2) |
|
|
150 | (5) |
|
Chapter 3 Groups of matrices: Linear algebra and symmetry in various geometries |
|
|
155 | (78) |
|
Lecture 15 Euclidean isometries and linear algebra |
|
|
155 | (10) |
|
a Orthogonal matrices and isometries of Rn |
|
|
155 | (3) |
|
b Eigenvalues, eigenvectors, and diagonalizable matrices |
|
|
158 | (3) |
|
c Complexification, complex eigenvectors, and rotations |
|
|
161 | (2) |
|
d Differing multiplicities and Jordan blocks |
|
|
163 | (2) |
|
Lecture 16 Complex matrices and linear representations |
|
|
165 | (11) |
|
a Hermitian product and unitary matrices |
|
|
165 | (5) |
|
|
170 | (3) |
|
|
173 | (1) |
|
d Linear representations of isometries and more |
|
|
174 | (2) |
|
Lecture 17 Other geometries |
|
|
176 | (11) |
|
|
176 | (5) |
|
|
181 | (4) |
|
|
185 | (2) |
|
Lecture 18 Affine and projective transformations |
|
|
187 | (10) |
|
a Review of various geometries |
|
|
187 | (3) |
|
|
190 | (5) |
|
|
195 | (2) |
|
Lecture 19 Transformations of the Riemann sphere |
|
|
197 | (7) |
|
a Characterizing fractional linear transformations |
|
|
197 | (2) |
|
b Products of circle inversions |
|
|
199 | (3) |
|
c Conformal transformations |
|
|
202 | (1) |
|
d Real coefficients and hyperbolic geometry |
|
|
203 | (1) |
|
Lecture 20 A metric on the hyperbolic plane |
|
|
204 | (8) |
|
|
204 | (1) |
|
|
205 | (4) |
|
c Isometries of the hyperbolic plane |
|
|
209 | (3) |
|
Lecture 21 Solvable and nilpotent linear groups |
|
|
212 | (9) |
|
|
212 | (2) |
|
b Upper-triangular and unipotent groups |
|
|
214 | (2) |
|
|
216 | (2) |
|
d The unipotent group is nilpotent |
|
|
218 | (3) |
|
Lecture 22 A little Lie theory |
|
|
221 | (12) |
|
|
221 | (3) |
|
|
224 | (3) |
|
|
227 | (2) |
|
|
229 | (4) |
|
Chapter 4 Fundamental group: A different kind of group associated to geometric objects |
|
|
233 | (36) |
|
Lecture 23 Homotopies, paths, and π1 |
|
|
233 | (13) |
|
a Isometries vs. homeomorphisms |
|
|
233 | (2) |
|
|
235 | (3) |
|
|
238 | (3) |
|
|
241 | (5) |
|
|
246 | (1) |
|
Lecture 24 Computation of π1 for some examples |
|
|
246 | (10) |
|
a Homotopy equivalence and contractible spaces |
|
|
246 | (5) |
|
b The fundamental group of the circle |
|
|
251 | (2) |
|
|
253 | (2) |
|
d Abelian fundamental groups |
|
|
255 | (1) |
|
Lecture 25 Fundamental group of a bouquet of circles |
|
|
256 | (13) |
|
a Covering of bouquets of circles |
|
|
256 | (8) |
|
b Standard paths and elements of the free group |
|
|
264 | (5) |
|
Chapter 5 From groups to geometric objects and back |
|
|
269 | (68) |
|
Lecture 26 The Cayley graph of a group |
|
|
269 | (11) |
|
a Finitely generated groups |
|
|
269 | (4) |
|
b Finitely presented groups |
|
|
273 | (6) |
|
|
279 | (1) |
|
Lecture 27 Subgroups of free groups via covering spaces |
|
|
280 | (10) |
|
a Homotopy types of graphs |
|
|
280 | (3) |
|
b Covering maps and spaces |
|
|
283 | (3) |
|
c Deck transformations and group actions |
|
|
286 | (3) |
|
d Subgroups of free groups are free |
|
|
289 | (1) |
|
Lecture 28 Polygonal complexes from finite presentations |
|
|
290 | (12) |
|
|
290 | (6) |
|
b The fundamental group of a polygonal complex |
|
|
296 | (6) |
|
Lecture 29 Isometric actions on H2 |
|
|
302 | (9) |
|
a Hyperbolic translations and fundamental domains |
|
|
302 | (5) |
|
b Existence of free subgroups |
|
|
307 | (4) |
|
Lecture 30 Factor spaces defined by symmetry groups |
|
|
311 | (16) |
|
a Surfaces as factor spaces |
|
|
311 | (4) |
|
b Modular group and modular surface |
|
|
315 | (5) |
|
|
320 | (2) |
|
d Free subgroups in Fuchsian groups |
|
|
322 | (3) |
|
e The Heisenberg group and nilmanifolds |
|
|
325 | (2) |
|
Lecture 31 More about SL(n, Z) |
|
|
327 | (10) |
|
a Generators of SL(2, Z) by algebraic method |
|
|
327 | (2) |
|
|
329 | (2) |
|
c The structure of SL(n, Z) |
|
|
331 | (2) |
|
d Generators and generating relations for SL(n, Z) |
|
|
333 | (4) |
|
Chapter 6 Groups at large scale |
|
|
337 | (58) |
|
Lecture 32 Introduction to large scale properties |
|
|
337 | (11) |
|
|
338 | (2) |
|
|
340 | (5) |
|
c Preservation of growth rate |
|
|
345 | (3) |
|
Lecture 33 Polynomial and exponential growth |
|
|
348 | (8) |
|
a Dichotomy for linear orbits |
|
|
348 | (1) |
|
|
349 | (2) |
|
c Growth rates in nilpotent groups |
|
|
351 | (3) |
|
|
354 | (2) |
|
Lecture 34 Gromov's Theorem |
|
|
356 | (10) |
|
|
356 | (3) |
|
b Large scale limit of two examples |
|
|
359 | (5) |
|
c General construction of a limiting space |
|
|
364 | (2) |
|
Lecture 35 Grigorchuk's group of intermediate growth |
|
|
366 | (10) |
|
a Automorphisms of binary trees |
|
|
366 | (3) |
|
|
369 | (3) |
|
|
372 | (4) |
|
Lecture 36 Coarse geometry and quasi-isometries |
|
|
376 | (9) |
|
|
376 | (4) |
|
b Groups as geometric objects |
|
|
380 | (2) |
|
c Finitely presented groups |
|
|
382 | (3) |
|
Lecture 37 Amenable and hyperbolic groups |
|
|
385 | (10) |
|
|
385 | (2) |
|
b Conditions for amenability and non-amenability |
|
|
387 | (3) |
|
|
390 | (3) |
|
|
393 | (1) |
|
|
393 | (2) |
Hints to selected exercises |
|
395 | (6) |
Suggestions for projects and further reading |
|
401 | (8) |
Bibliography |
|
409 | (4) |
Index |
|
413 | |