IMC 2008 · Problem 5

Day 115th IMC · Blagoevgrad, Bulgaria

Statement

Does there exist a finite group GG with a normal subgroup HH such that AutH>AutG|\operatorname{Aut} H| > |\operatorname{Aut} G|?

Official solution

Hidden so you can work on the problem first.