This page contains materials that I've prepared for various courses I've taught. I'm collecting the materials here in the hope that they might be useful for other teachers. Feel free to use them (with proper attribution), and please send me a note indicating that you have done this. Also let me know if you find any mistakes or broken links.
Mathematics 7350, Fall 2013, Computational group theory
Handouts
- The Todd–Coxeter procedure
- Todd–Coxeter example (beamer presentation)
- Computation in permutation groups: Introduction
- Reverse Todd–Coxeter: Example
- The Knuth–Bendix procedure: Example
GAP demos
- Interactive Todd—Coxeter on <a,b,c ; a^{c} = a^{2}, b^{a} = b^{2}, c^{b} = c^{2}>
- Random permutation group
- Sylow subgroups
- The demo related to the reverse Todd–Coxeter example did several coset enumerations using the ITC package. Here are the corresponding GAP files:
- The demo related to the Knuth–Bendix example did two computations using the KBMAG package. Here are the corresponding GAP files:
- As I explain at the end of the handout on the Knuth–Bendix example, the choice of generators in the group G of that example is based on the nilpotent quotient algorithm. The NQ package for GAP produces the maximal nilpotent quotient H of G, as shown here: In order to actually see the definitions of the generators of H, however, you have to run the standalone nq program on the following file:
- The demo on automatic groups did two computations using the KBMAG package. Here are the corresponding GAP files:
- The Neubüser–Sidki group, used to illustrate the nilpotent quotient algorithm.
- The low-index subgroups algorithm:
Mathematics 4530, Fall 2013, Introduction to topology
Mathematics 6310, Fall 2011, Algebra
- The butterfly lemma
- Introduction to category theory
- Solution to Exercise 50 on p. 148
- The Todd–Coxeter procedure
- Computation in permutation groups
- Zorn's lemma
- Ordinal numbers
- The primitive element theorem
Mathematics 3360, Spring 2010, Applicable algebra
Mathematics 4340, Spring 2009, Honors introduction to algebra
- The number of groups of order n (extracted from Besche, Eick, and O'Brien, A millennium project: constructing small groups, International Journal of Algebra and Computation 12 (2002), no. 5, 623–644). The complete article is available online via the Cornell library catalogue. For theoretical results on the number of groups of order n, see Blackburn, Neumann, and Venkataraman, Enumeration of finite groups, Cambridge University Press, 2007.
- Simplicity of the alternating groups
- A nonabelian finite simple group has a proper nonabelian subgroup
- What is a free group?
- What is a group presentation?
- The Todd–Coxeter procedure
- When are all groups of order n cyclic?
- A presentation for the symmetric group
- On the relation bab^{-1} = a^{2}
- Root adjunction
- Zorn's lemma
- The primitive element theorem