Introduction to Fp-Groups# Introduction Overview Definitions and Notation Construction of FP-Groups Relations Quotient Group Constructors Example: Symmetric1 Example: Symmetric2 FP-Group constructor Example: Tetrahedral Example: Modular Example: Coxeter Presentation Operations Example: Simplify1 Operations on Words Presentations for Popular Groups Example: Abelian Example: Symetric Constructions for FP-Groups Example: Product F Ps Example: FP Group Properties of an FP-group Example: Perfect Example: Automatic Subgroups Subgroup Constructor Example: Subgroups1 Coset Enumeration Example: Cosets Coset Action Example: G23 Enumeration of FI-Subgroups Example: Lix1 Example: Lix2 Operations for FI-Subgroups Example: Subgroups1 Properties of Subgroups Example: Subgroup Preds Presentations for Subgroups Example: Rewrite Example: Rewrite2 Finite FP-Groups Example: Order Group Example: C Graph Homomorphisms of FP-Groups Homomorphism Constructor Example: Homomorphism Searching for Homomorphisms Example: Homomorphisms1 Searching for Isomorphisms Example: Search For Iso1 Example: Search For Iso2 Quotient Groups Abelian Quotient Example: F27 Example: Modular Abelian Quotient \(p\)-Quotient Example: p Quotient1 Example: p Quotient2 Example: p Quotient3 Nilpotent Quotient Example: Nilpotent Quotient0 Example: Nilpotent Quotient1 Example: Nilpotent Quotient2 Soluble Quotient Example: Soluble Quotient1 Example: Soluble Quotient2 Simple Group Quotients Example: Simple Quotients \({\rm L}_2\)-Quotients Example: L2Quotient Example: L2Quotient Infinite Example: L2Quotient Get Matrices
