Модулярная функция — мероморфная функция, определённая на верхней комплексной полуплоскости (то есть на множестве ), являющаяся инвариантной относительно превращений модулярной группы или некоторой её подгруппы и удовлетворяющая условиям голоморфности в параболических точках. Модулярные функции и обобщающие их модулярные формы широко используются в теории чисел, а также в алгебраической топологии и теории струн.
принадлежащей модулярной группе .
Модулярной формой веса для группы называется голоморфная функция , удовлетворяющая условию:
Пусть — верхняя комплексная полуплоскость: . Группа матриц для натурального числа определяется как: