CMSC 36500: Algorithms in Finite Groups

Autumn 2014


What's new | Course description | Course info | Text | Grading, tests | Exercises | instructor's classes

What is new?

PRESS "REFRESH" to find out!

Eight problem sets have been posted. Solve these problems and discover which of them, if any, you find challenging. Tell the instructor (by email or in person). This will help in designing the course.

Please also study the 2011 problem set which includes definitions.

Course description

Below is the description of an earlier course by the same title. This time the agenda will be somewhat different; an updated description will follow.


Can you prove that a random permutation of $n$ elements has on average $\sim \ln n$ cycles?

Can you prove that Petersen's graph has 120 automorphisms, as does the dodecahedron? Can you show that these two groups are not isomorphic but have a lot in common?

If two graphs are not isomorphic, is there a short proof of this fact?

How long does it take to get from the generators to the farthest corners of a finite group of order $n$? Can you get there in $O(\log^2 n)$ steps?

Can we decide quickly if a randomly assembled (generalized) Rubik's cube is feasible?

We study the asymptotic complexity of questions like these, especially in the contexts of permutation groups and matrix groups over finite fields. Along the way we need to learn about the structure of primitive permutation groups, about methods to estimate their orders, about statistical properties of finite simple groups. We shall also learn about combinatorial properties of vertex-transitive graphs and random walks on such graphs.

The methods range from elementary combinatorial and probabilistic ideas and elementary group theory to applications of simply stated consequences of the classification of finite simple groups and occasionally, detailed information about finite simple groups.

In this class we prove (fun) theorems. This is not an "applied math" course; emphasis is on mathematical elegance. "Efficient" usually means "polynomial time." There will be no programming assignments.

Prerequisites. Linear algebra, finite fields, introductory group theory. No advance knowledge of graph theory or algorithms is required.

Go to top


Course information

Instructor: László Babai     Ryerson 164     e-mail: laci(at)cs(dot)nameofuniversity(dot)edu.

Office hours: by appointment (please send e-mail)

Classes: TuTh 1:30 - 2:50, Ry-276

LAST CLASS: Thursday, December 4. Attendace expected.

Go to top


Text

Your primary text will be your course notes, so please make sure you don't miss classes. If you do, you should copy somebody's class notes and discuss the class with them.

You can find asymptotic notation, the graph theoretic terminology, and the basics of discrete probability to be used in class in the Instructor's Discrete Mathematics Lecture Notes (PDF)

Printed text:

John D. Dixon and Brian Mortimer: "Permutation Groups." Published by Springer, ISBN 0-387-94599-7


Recommended references:

Joseph Rotman: "An Introduction to the Theory of Groups." Published by Springer, ISBN 0-387-94285-8

Ákos Seress: "Permutation Group Algorithms." Cambridge University Press, ISBN 0 521 66103

Go to top


Grading

If a quality grade is desired, please let the instructor know asap.

Exercises

Problem set #1: Sep 30
Problem set #2: Oct 2
Problem set #3: Oct 7
Problem set #4: Oct 9
Problem set #5: Oct 14 insufficiently proofread by instructor
Problem set #6: Oct 16
Problem set #7: Oct 21
Problem set #8: Oct 23
insufficiently proofread by instructor
Instructor's notes: Primitive coherent configurations


Go to top

Instructor's courses

Instructor's home page

Return to the Department of Computer Science home page

Go to top