On the factorization of two adjacent numbers in multiplicatively closed sets generated by two elements (Q780619)

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. Let \[ \alpha=a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+ \cfrac{1}{a_3+\genfrac{}{}{0pt}{0}{}{\ddots }}}}, \quad a_0=0, \] be a simple continued fraction expansion of \(\alpha\). Let \(h_0=0,k_0=1\). Define \[ h_0=0,k_0=1, \; \frac{{h_i}}{k_i}=a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+ \genfrac{}{}{0pt}{0}{}{\ddots +\cfrac{1}{a_i}}}}, \quad \gcd(h_i,k_i)=1\; for \; i \in \mathbb{N}. \] An element in the sequence \(\big\{\frac{h_i}{k_i}\, : \, i\in \mathbb{N}\cup \{0\} \big\} \) is called a primary convergent. The finite monotonic sequences of intermediate fractions with relatively prime numerators and denominators given by \[ \frac{h_{2j}}{k_{2j}} < \frac{h_{2j}+t h_{2j+1}}{k_{2j}+t k_{2j+1}}< \frac{ h_{2j+2}}{k_{2j+2}}, \quad 0<t< a_{2j+2}, \; t,j \in \mathbb{N}\cup \{0\} \] and \[ \frac{h_{2l+1}}{k_{2l+1}} < \frac{h_{2l-1}+t h_{2l}}{k_{2l-1}+t k_{2l}}< \frac{ h_{2l-1}}{k_{2l-1}}, \quad 0<t< a_{2l+1}, \; t,j \in \mathbb{N} \] are called secondary convergents. Let two adjacent numbers be in the multiplicatively closed subset \(S=\{p_1^ip_2^j \mid i,j \in \mathbb{N}\cup \{0\} \}\). The factorization of these numbers using primary and secondary convergents of \(\alpha\) is describing in the main theorem of the article.