Finite extensions of finite groups