有限素点）。而通过复域C的模|·|方式定义的素元可看成复域C一个无限子集，被称为无限素元（或无限素点）。因此，一般表示Q的素元集合为{2，3，5，7，...，∞}，在这种情况下|·|是有理域Q的素元（素点）。K的无限素元可有嵌入同态K→C（即非零的环同态，从K到C）。具体来说，可把嵌入分成两个不相交的子集，那些像在R中算一个子集S1，其余的为另一子集S2。S1的每个嵌入σ：K→R，对应唯一一个和通常绝对值一样的绝对赋值;这种方式产生的一个素元的被称为一个实素元（或实素点）。S2的一个嵌入τ：是K→C不包