mula_107的模形式只有一个（至多差一个常数倍），遂得到约翰·米尔诺发现：formula_109对这两个格的商空间给出两个16维环面，彼此不相等距同构，但它们的拉普拉斯算子有相同的特征值（计入重数）。
戴德金η函数.戴德金η函数定义为模判别式formula_111是权formula_112的模形式。拉马努金有一个着名的猜想：在formula_113的傅立叶展开式中，对任一素数formula_65，formula_115的系数的绝对值恆formula_116。此猜想最后由德