The project aims to deliver sufficient mathematical background to understand a partial proof, due to Ernst Kummer, of Fermat’s last theorem for a specific class of primes called regular primes. In doing so, we also develop ...