Introduction

Since every finite p-group is soluble, we can represent these groups with power-commutator presentations and apply any of the soluble group functions described in Chapter FINITE SOLUBLE GROUPS. Thus, p-groups in Magma{} can be defined using the PolycyclicGroup-constructor or any of the construction functions described for pc-groups. In particular, p-groups are often created using pQuotient.

Here we discuss features which are specific to p-groups. These include several standard subgroup constructions, GeneratepGroups, IsIsomorphic and AutomorphismGroup.