Pātuhitia tēnei: Theory of finite groups