number system）。若范数是整数值的，则可以在G上定义计数函数formula_13和formula_14，其中formula_14是P中范数为n的元素的个数，formula_13是G中范数为n的元素的个数。令formula_17为对应的形式幂级数。可得基本恒等式formula_18G的收敛半径定义为幂级数A(x)的收敛半径。基本恒等式还有另一种形式formula_19
方法与技巧.算术函数与ζ函数的用处十分广泛。可以将传统的解析数论中算术函数与ζ函数