Let G be a finite group. A maximal subgroup H of a group G is a proper subgroup, such that no proper subgroup K of G strictly contains H. If N and G are groups, an extensionof N by G is a group M such that N⊴M and ...