Strassen 正定性定理的一个推广

Strassen 正定性定理（Positivstellensatz）是一个强大但鲜为人知的定理，适用于满足类似阿基米德性的有界性条件的预序交换半环。它用涉及大幂次的条件刻画了由所有到 $\mathbb{R}_+$ 的单调同态所诱导的松弛预序。在此，我们推广并加强了 Strassen 的结果。作为推广，我们将有界性条件替换为多项式增长条件；作为加强，我们在推广的设定下证明了同态诱导预序的另外两个等价刻画。