On the gaps in multiplicatively closed sets generated by at most two elements (Q2422802)

Let \(p_1\) and \(p_2, 1<p_1 <p_2,\) be natural numbers and \(\alpha=\log p_ 1/\log p_ 2\) be irrational number. The stabilization sequence of an irrational is defined. The following theorem is the main result of the article. Theorem. Let \(p_1,p_2\) be two positive integers, which are not log-rational to each other with \(p_1< p_2 \). Let \(\alpha=\log (p_1)/\log(p_2) \) be the associated irrational less than one. Let \(\{s_i: i \in \mathbb{N} \}\) be the stabilization sequence of \(\alpha\). Let \(t_i=\lfloor s_i \alpha \rfloor \). Then (1) The set of integers \[ \Big\{p_2^{t_{i+1}-1},p_2^{t_{i+1}-1}+1,\dots,p_1^{s_i}p_2^{t_{i+1}-t_i-1} \Big\} \] contains no element in the multiplicatively closed set generated by the positive integers \( p_1, p_2\) apart from the end values. (2) The limit of the gaps \( (p_1^{s_1}p_2^{t_{i+1}-t_i-1}-p_2^{t_{i+1}-1})\) tends to infinity as \(i \to \infty \). An example illustrating the ideas used to prove theorem given.