instFiniteIndexGamma

Mathlib.NumberTheory.ModularForms.CongruenceSubgroups

URI: https://scilib.ai/kg/mathlib#CongruenceSubgroup.instFiniteIndexGamma

English

For each N ≠ 0, Gamma(N) has finite index in SL(2, Z).

Русский

Для каждого N ≠ 0 Gamma(N) имеет конечную индексность в SL(2, Z).

LaTeX

$$Gamma(N).FiniteIndex$$

Lean4

instance instFiniteIndexGamma [NeZero N] : (Gamma N).FiniteIndex :=
  Subgroup.finiteIndex_ker _

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru