假设D类是一个具有恒等式和商域的积分域K(K)。的每个元素K(K)是多项式的根(f)在里面D类[X(X)]这样(f)生成D类当且仅当如果的积分闭包D类是一个Prüfer域。
©版权所有1975《太平洋期刊》数学。保留所有权利。