A finiteness theorem for a class of exponential congruences (Q4243702)

Let \(K\) be an algebraic number field and \(Z_K\) its ring of integers. For given nonzero elements \(\alpha_1, \ldots, \alpha_k\) and \(\beta\) belonging to \(Z_K\), \(\beta\) not a unit, the author considers the set of all \(k\)-tuples \((a_1, \ldots,a_k)\) in \({\mathbb{N}}^k\) for which \[ \sum_{i=1}^k \alpha_i\beta^{a_i} \quad \text{divides}\quad \sum_{i=1}^k \alpha_i z^{a_i}\quad \text{for any } z \in Z_K. \] He proves under some reasonable assumptions that the set of solutions is finite.