MTH4141 - Computational group theory - 2019

6 points, SCA Band 2, 0.125 EFTSL

Undergraduate, Postgraduate - Unit

Refer to the specific census and withdrawal dates for the semester(s) in which this unit is offered.

Faculty

Science

Organisational Unit

School of Mathematical Sciences

Chief examiner(s)

Dr Heiko Dietrich

Coordinator(s)

Dr Heiko Dietrich

Unit guides

Offered

Clayton

  • First semester 2019 (On-campus)

Prerequisites

Enrolment in the Master of Mathematics

MTH2121 or MTH3121

Prohibitions

MTH5141

Notes

This unit is offered in alternate years commencing S1, 2019

Synopsis

Groups are abstract mathematical objects capturing the concept of symmetry, and therefore are ubiquitous in many mathematical disciplines and other fields of science, such as physics, chemistry, and computer science. This unit is an introductory course on group theory and computational methods, using the computer algebra system GAP (www.gap-system.org). This unit will cover a selection of topics from the following list. Abstract Groups: knowing the basic definitions and standard results; Group Actions: orbits, stabilisers, and the orbit-stabiliser theorem; Group Presentations: free groups, abelian invariants, Todd-Coxeter algorithm; Permutation Groups: stabiliser chains, bases and strong generating sets, membership test; Nilpotency and Solvability: knowing the basic definitions and properties. Polycyclic Groups: polycyclic series and generating sets, polycyclic presentations; GAP: learn how to use the computer algebra system GAP to compute with groups.

Outcomes

On completion of this unit students will be able to:

  1. Formulate complex problems using appropriate terminology in algebra;
  2. Demonstrate a profound understanding of abstract concepts in group theory;
  3. Appreciate the nature of algebraic proofs, be able to use a variety of proof-techniques unique to working with groups;
  4. Apply a variety of expert algorithms for different algebraic objects, in particular, groups;
  5. Use the computer algebra system GAP to compute with groups and related structures.

Assessment

Examination (3 hours): 60% (Hurdle)

Continuous assessment: 40%

Hurdle requirement: To pass this unit a student must achieve at least 50% overall and at least 40% for the end-of-semester exam.

Workload requirements

3 hours of lectures and 1h of tutorial per week.

8 hours independent study per week.

See also Unit timetable information

This unit applies to the following area(s) of study

Master of Mathematics