No label defined (Q3979092)

The paper studies multiplicative and additive independence relations for the roots of polynomials over fields. In the multiplicative case holds: Let \(p\) be an odd prime number, \(K\) a field, \(f(x)\in K[x]\) an irreducible polynomial \(\neq x^p+a_0\) of degree \(p\) over \(K\) without multiple roots, and \(x_1,x_2,\dots,x_n\in\overline K\) its roots. Furthermore, let the degree of the extension \(K(\zeta_m): K\) be different from \(p\) for all positive integers \(m\), where \(\zeta_m\) denotes a primitive \(m\)-th root of unity. Then the product \(\prod_{i=1}^p x_i^{k_i}\in K\) for arbitrary integers \(k_1,k_2,\dots,k_p\) if and only if \(k_1=k_2=\dots=k_p\). In the additive case the authors prove: Let \(p\) be an odd prime, \(K\) a field with \(\operatorname{char}(K)\neq p\), \(f(x)\in K[x]\) an irreducible polynomials of degree \(p\) over \(K\) without multiple roots, and \(x_1,x_2,\dots,x_p\in\overline K\) its roots. Furthermore, assume that \((K(\zeta_p):K) = p-1\), where \(\zeta_p\) denotes a primitive \(p\)-th root of unity. Then the sum \(\sum_{i=1}^p k_i x_i\in K\) for arbitrary \(k_1,k_2,\dots,k_p\in K\) if and only if \(k_1=k_2=\dots=k_p\). [For the entire collection see Zbl 0731.00007.]