详述。
广义定义.令formula_49为正整数，相应的formula_50定义为令formula_10为正整数，权为formula_10的formula_49级（或级群为formula_50）模形式定义为一个上半平面上的全纯函数formula_56，对任何及任何属于上半平面的formula_7，有而且formula_56在尖点全纯。所谓尖点，是formula_61在formula_50作用下的轨道。例如当formula_63时，formula_64代表了唯一的尖点。模