The course will introduce students to the four main areas of Computational Group Theory: permutation groups, soluble and p-groups, matrix groups and finitely presented groups. The course will cover typical problems and standard algorithms, along with the analysis of these algorithms and their practical use on a computer.
In the practical sessions there will be some emphasis on using the computer algebra system GAP, a world wide open source project established in 1988. After this course the participants will have a good understanding of what computers can and cannot do with groups and will be able to use GAP to answer their own group theoretic questions. The course aims to appeal to a broad spectrum of students from areas such as Algebra, Topology, Combinatorics and Graph Theory.