FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators

5 sections | 5 files | 58 declarations

Wrapper for the FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators folder.

SourceCore

1 files | 36 declarations | 32 Theorem | 3 Definition | 1 Abbreviation

The second-reduction second-edge forward word associated with an index.

1 files | 2 declarations | 2 Theorem

The named second-reduction relator follows from the source presentation relators and therefore lies in their normal closure.

1 files | 5 declarations | 4 Theorem | 1 Definition

The named second-reduction relator follows from the source presentation relators and therefore lies in their normal closure.

1 files | 2 declarations | 1 Theorem | 1 Definition

The total source case for the second-branch canonical relator family.

1 files | 13 declarations | 9 Theorem | 4 Definition

The target-to-Schreier transport homomorphism sends the positive distinguished generator to its prescribed Schreier word.