Groups Defined by Rewrite Systems

• Introduction
  • Terminology
  • The Category of Rewrite Groups
  • The Construction of a Rewrite Group
• Constructing Confluent Presentations
  • The Knuth-Bendix Procedure
    • RWSGroup(F: parameters): MonFP → MonRWS
    • Example: RWS Group
  • Defining Orderings
    • RWSGroup(F: parameters): MonFP → MonRWS
    • Example: RWSGroup 2
    • Example: RWSGroup 3
  • Setting Limits
    • RWSMonoid(F: parameters): MonFP → MonRWS
    • SetVerbose("KBMAG", v): MonStgElt, RngIntElt
  • Accessing Group Information
    • G . i: GrpRWS, RngIntElt → GrpRWSElt
    • Generators(G): GrpRWS → [GrpRWSElt]
    • NumberOfGenerators(G): GrpRWS → RngIntElt
    • Ngens(G): GrpRWS → RngIntElt
    • Relations(G): GrpRWS → [GrpFPRel]
    • NumberOfRelations(G): GrpRWS → RngIntElt
    • Nrels(G): GrpRWS → RngIntElt
    • Ordering(G): GrpRWS → String
    • Example: Basic Access
• Properties of a Rewrite Group
  • IsConfluent(G): GrpRWS → BoolElt
  • IsFinite(G): GrpRWS → BoolElt, RngIntElt
  • Order(G): GrpRWS → RngIntElt
  • # G: GrpRWS → RngIntElt
  • Example: Is Confluent
  • Example: Order
• Arithmetic with Words
  • Construction of a Word
    • Identity(G): GrpRWS → GrpRWSElt
    • Id(G): GrpRWS → GrpRWSElt
    • G ! 1: GrpRWS, RngIntElt → GrpRWSElt
    • G ! [ i₁, ..., iₛ ]: GrpRWS, [ RngIntElt ] → GrpRWSElt
    • Parent(w): GrpRWSElt → GrpRWS
    • Example: Words
  • Element Operations
    • u * v: GrpRWSElt, GrpRWSElt → GrpRWSElt
    • u / v: GrpRWSElt, GrpRWSElt → GrpRWSElt
    • u ^ n: GrpRWSElt, RngIntElt → GrpRWSElt
    • u ^ v: GrpRWSElt, GrpRWSElt → GrpRWSElt
    • Inverse(w): GrpRWSElt → GrpRWSElt
    • (u, v): GrpRWSElt, GrpRWSElt → GrpRWSElt
    • (u₁, ..., uᵣ): GrpRWSElt, ..., GrpRWSElt → GrpRWSElt
    • u eq v: GrpRWSElt, GrpRWSElt → BoolElt
    • u ne v: GrpRWSElt, GrpRWSElt → BoolElt
    • IsId(w): GrpRWSElt → BoolElt
    • IsIdentity(w): GrpRWSElt → BoolElt
    • # u: GrpRWSElt → RngIntElt
    • ElementToSequence(u): GrpRWSElt → [ RngIntElt ]
    • Eltseq(u): GrpRWSElt → [ RngIntElt ]
    • Example: Arithmetic
• Operations on the Set of Group Elements
  • Random(G, n): GrpRWS, RngIntElt → GrpRWSElt
  • Random(G): GrpRWS → GrpRWSElt
  • Representative(G): GrpRWS → GrpRWSElt
  • Rep(G): GrpRWS → GrpRWSElt
  • Set(G, a, b): GrpRWS, RngIntElt, RngIntElt → SetEnum
  • Set(G): GrpRWS → SetEnum
  • Seq(G, a, b): GrpRWS, RngIntElt, RngIntElt → SeqEnum
  • Seq(G): GrpRWS → SeqEnum
  • Example: Set
• Homomorphisms
  • General Remarks
  • Construction of Homomorphisms
    • hom< R -> G | S >: Struct, Struct → Map
• Conversion to a Finitely Presented Group
  • Example: Conversion