第一乘法器定理

设 为平面阿贝尔 差集， 为 的任意除数。则 是 的数值乘法器，其中乘法器定义为群 的自同构 ，它将 映射到其自身的平移 ，对于某个 。如果 形式为 ，对于与 的阶互质的 ，则 称为数值乘法器。