Table of Contents
The Sylow Theorems are fundamental to the study of finite groups. We build up to their proof by (1) studying group actions, (2) focusing on existence, and finally (3) studying conjugation of Sylow subgroups.
The FTFGMPID is one heck of an over powered theorem. It pretty quickly gives you the classification of finitely generated abelian groups, the Jordan normal form, etc.