_aux_Mathlib_NumberTheory_ModularForms_ArithmeticSubgroups___macroRules_MatrixGroups_term𝒮ℒ_1

English

Images in GL(2,ℝ) of finite-index subgroups of SL(2,ℤ) are arithmetic.

Русский

Изображения конечного индекса подгрупп SL(2,ℤ) в GL(2,ℝ) являются арифметическими.

LaTeX

$$IsArithmetic (Subgroup.map GL) of SL(2,ℤ) image$$

Lean4

@[scoped macro MatrixGroups.term𝒮ℒ]
public meta def _aux_Mathlib_NumberTheory_ModularForms_ArithmeticSubgroups___macroRules_MatrixGroups_term𝒮ℒ_1 :
    Macro✝ := fun
  | `(𝒮ℒ) => ``(MonoidHom.range (mapGL ℝ : SL(2, ℤ) →* GL (Fin 2) ℝ))
  | _ => no_error_if_unused% throw✝ Lean.Macro.Exception.unsupportedSyntax✝

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