Sections

• Power-conjugate Presentations
• Definition of Soluble Groups using Power-conjugate Presentations
• Subgroups, Quotient Groups and Extensions
• Conversion between Categories
• Access Functions for PC-Groups
• Set-Theoretic Operations in a Group
• Coset Spaces
• The Subgroup Structure
• General Group Properties
• Hall pi-Subgroups and Sylow Systems
• Normal Structure and Characteristic Subgroups
• Conjugacy
• Automorphisms and Isomorphisms
• Representation Theory
• Conditioned Presentations
• Power Groups
• Generating p-groups
• Optimizing Magma Code