ReidemeisterSchreier.Discrete.OpenSubgroups.Words

2 sections | 2 files | 3 declarations

Wrapper for the ReidemeisterSchreier.Discrete.OpenSubgroups.Words folder.

Basic

1 files | 1 declarations | 1 Definition

Initial segments of a free-group word are the prefixes used in the Reidemeister--Schreier rewriting.

1 files | 2 declarations | 1 Lemma | 1 Definition

An explicit free-group basis makes the corresponding action groupoid free with controlled generator labels.