常的绝对值函数|·|，映射有理域Q→实域R的，令绝对值函数|·|: 定义称为p-adic绝对赋值，p∈Z中的素数。由奥斯特洛夫斯基的定理，所有p-adic绝对赋值对Q是等价类,p-adic绝对赋值可看成类似通常素数。更普遍的，代数数域K的绝对赋值称为一个素点。K中素元分两类：像p-adic绝对赋值|·|这种等价类是有限的，被称为有限素元（有限素点）。而通过复域C的模|·|方式定义的素元可看成复域C一个无限子集，被称为无限素元（或无限素点）。因此，一般表示Q的素元集合为{2，3，5，7，...，∞}，在这种情