[math-fun] A missing sequence from group theory?