ReidemeisterSchreier.FreeGroup

2 sections | 2 files | 39 declarations

This module formalizes free-group tools used in Reidemeister--Schreier rewriting.

Automorphisms

1 files | 8 declarations | 5 Theorem | 3 Definition

This module develops Reidemeister--Schreier rewriting, Schreier generators, finite quotient transversals, and presentation transformations.

This module develops Reidemeister--Schreier rewriting, Schreier generators, finite quotient transversals, and presentation transformations.