论文标题
POHST不平等的详细证明
A Detailed Proof of Pohst's Inequality
论文作者
论文摘要
1977年，Pohst猜想了$ n $变量的某些不平等现象，并提供了$ n \ leq 10 $的计算机辅助证明。我们使用组合参数为所有$ n $提供证明。这种不平等会从完全实际数字字段的判别方面为监管机构提供更好的约束。
In 1977 Pohst conjectured a certain inequality for $n$ variables and give a computer-assisted proof for $n\leq 10$. We give a proof for all $n$ using a combinatorial argument. This inequality yields a better bound for the regulator in terms of the discriminant for totally real number fields.
