FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction

6 sections | 6 files | 148 declarations

Wrapper for the FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction folder.

ActualTransport

1 files | 10 declarations | 4 Theorem | 6 Definition

The first-reduction index set has at least three elements in the canonical finite quotient data.

1 files | 8 declarations | 3 Theorem | 5 Definition

The finite-index equivalence reindexes the original first-reduction source periods as the canonical source periods.

1 files | 32 declarations | 23 Theorem | 8 Definition | 1 Abbreviation

Generator images for the first-reduction canonical source quotient.

1 files | 12 declarations | 10 Theorem | 2 Definition

A three-factor product equal to \(1\) remains equal to \(1\) after cyclic rotation.

1 files | 32 declarations | 20 Theorem | 11 Definition | 1 Abbreviation

The first-reduction source signature has the displayed periods, index set, and total relation.

1 files | 54 declarations | 39 Theorem | 14 Definition | 1 Abbreviation

The Schreier relator set for the canonical first-reduction kernel presentation.