Gamma_normal

Mathlib.NumberTheory.ModularForms.CongruenceSubgroups

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

English

For each N, Gamma(N) is a normal subgroup of SL(2, Z).

Русский

Для каждого N конгруентная подгруппа Gamma(N) является нормальной подгруппой SL(2, Z).

LaTeX

$$Gamma(N) ⫽ SL(2, Z) is Normal$$

Lean4

theorem Gamma_normal : Subgroup.Normal (Gamma N) :=
  SLMOD(N).normal_ker

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

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

Разделы

Аффилиация

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