Growth in groups: autumn/winter 2024

This course aims to prove the product theorem, a combinatorial result about product growth in linear groups over finite fields (the original articles are here and here). The lecture notes can be found here and the course description here.

In addition, Yael Dillies, a PhD student in Stockholm, is formalising the proofs in the notes using the proof assistant Lean. Here is a link to the project.