FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne

8 sections | 8 files | 156 declarations

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

KernelEquivalence

1 files | 9 declarations | 9 Definition
Schreier relator data for the original first-reduction period-one presentation.

LowCardDihedral

1 files | 25 declarations | 14 Theorem | 10 Definition | 1 Abbreviation
In the low-cardinality tail case, the transported tail-period index set has cardinality two.

QuotientAndBasis

1 files | 29 declarations | 19 Theorem | 10 Definition
The original first-reduction canonical periods agree with the target period data.

RelatorProofs

1 files | 65 declarations | 65 Theorem
The first-power kernel relator of the original period-one reduction lies in the normal closure of the source relators.

SourceMaps

1 files | 8 declarations | 8 Definition
The tail-block word used for the one-head period-one target source map.

SourceSubgroup

1 files | 10 declarations | 10 Theorem
If the second-stage cleanup period data is not strict, one of the relevant periods is one.

TargetMaps

1 files | 4 declarations | 4 Definition
Generator images for the map from the one-head period-one target presentation to the Schreier presentation.

TargetSignatures

1 files | 6 declarations | 1 Theorem | 4 Definition | 1 Abbreviation
The target signature obtained by replicating the tail in the double-period-one case.