The following pages link to Using group actions and representations to solve the extensible automorphisms problem: