）在O素理想的概念的一个重要的推广是理想论，也叫赋值论，这两种方法之间的关系如下：运算为通常的绝对值函数|·|，映射有理域Q→实域R的，令绝对值函数|·|: 定义称为p-adic绝对赋值，p∈Z中的素数。由奥斯特洛夫斯基的定理，所有p-adic绝对赋值对Q是等价类,p-adic绝对赋值可看成类似通常素数。更普遍的，代数数域K的绝对赋值称为一个素点。K中素元分两类：像p-adic绝对赋值|·|这种等价类是有限的，被称为有限素元（有限素点）。而通过复域C的模|·|方式定义的素元可看成复域C一个无限子集，