Gamma

Mathlib.NumberTheory.ModularForms.CongruenceSubgroups

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

← MathLib Explorer

English

Define the full level-N congruence subgroup as the kernel of the reduction map SLMOD(N).

Русский

Определим полную конгруентную подгруппу уровня N как ядро отображения SLMOD(N).

LaTeX

$$Gamma(N) = ker SLMOD(N)$$

Lean4

/-- The full level `N` congruence subgroup of `SL(2, ℤ)` of matrices that reduce to the identity
modulo `N`. -/
def Gamma : Subgroup SL(2, ℤ) :=
  SLMOD(N).ker

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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