The goal is to produce a set of IBL notes that works from the definition of a group to Sylow's Theorem. The primary point of view will be that of permutation groups with the abstract definition of a group being preceded by exploring concrete examples of automorphism groups.