FenchelNielsenZomorrodian.Discrete.Arithmetic

3 sections | 3 files | 16 declarations

This module develops Fenchel--Nielsen--Zomorrodian presentation reductions, period relations, reindexings, and quotient maps.

FamilyLcm

1 files | 14 declarations | 5 Theorem | 8 Definition | 1 Abbreviation

The least common multiple of the periods other than the distinguished one.

1 files | 1 declarations | 1 Theorem

If a finite set of periods contains an equal pair in the required position, then twice the lcm is bounded by the product.

1 files | 1 declarations | 1 Theorem

A period family is not pairwise coprime exactly when some prime divides two distinct periods.