在某个代数扩域的整数环（假设是U.F.D）取出一个素数P，则存在唯一一个有理整数环中的素数p以P为因子。那么这两个数之间的关系如何呢？p的大小能否由P的大小限制？
当然P的大小不能直接定义成数值，或许可以按照定义向量范数的方式定义，比如a+bi在Z[i]中的大小定义成max{a,b}(绝对值)
有没有高端玩家解惑？