20D10 20E28 20E32 20E34 Hall subgroup \(\pi\)-length,nilpotent \(\pi\)-length \(\pi\)-solvable group \(p\) -length \(p\)-rank bicyclic group derived length derived subgroup finite group metacyclic group nilpotent lengths nilpotent subgroup normal subgroup rank