Namespace ModularGroup 5 theorems
- Trace-±2 elements of SL₂(ℤ) are ±δ T^hδ⁻¹
ModularGroup.exists_eq_conj_T_zpow_of_trace_sq_eq_four0 below · cited by 22 · depth 13 - PSL₂(ℤ) is the free product C₂ * C₃
ModularGroup.exists_mulEquiv_freeProduct_quotient_center0 below · cited by 7 · depth 13 - Even functions on SL₂(ℤ) as coboundaries on Serre's tree
ModularGroup.exists_apply_eq_sub_of_apply_neg_eq2 below · cited by 2 · depth 22 - Box-or-cusp cover for finite-index subgroups of SL₂(ℤ)
ModularGroup.exists_finset_box_or_cusp1 below · cited by 3 · depth 23 - Finitely many translates of a truncated fundamental domain are bounded
ModularGroup.exists_bounds_smul_of_mem_fd_of_im_le0 below · cited by 1 · depth 24