ormula_1 及相应的群 formula_2。这可以视作模形式的一种多变元推广。当 formula_3 时，我们回到模形式的定义。
定义.对于 formula_4 次全实域 formula_1、formula_6 为其中的代数整数环、 formula_7 为相应的实嵌入映射。由此得到嵌入映射设 formula_9 为上半平面，透过上述嵌入，formula_10（指 formula_11 中行列式为正的元素）作用于 formula_12 上。对 formula_13，定义