arxiv: v1 [math.gm] 2 Jun 2018

Transcription

1 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS GENERATED BY TWO ELEMENTS C.P. ANIL KUMAR arxiv: v [math.gm] 2 Jun 208 Abstract. For two natural numbers < p < p 2, with α = logp logp 2 irrational, we describe, in main Theorem 3.3 and in Note 3.5, the factorization of two adjacent numbern the multiplicatively closed subset S = {p i ip j 2 i,j N {0}} using primary and secondary convergents of α. This suggests general Question.2 for more than two generators which is still open.. Introduction Continued fractions have been studied extensively in the theory of diophantine approximation. More so as a tool to prove resultn this theory, for example, Hurwitz s theorem. A basic introduction to the theory of continued fractions given in [], [2]. A proof of Hurwitz s theorem is also mentioned in chapter 7 of [2]. One interesting question which this article concerns also uses the theory of continued fractions as a tool to prove the result. The question is stated follows. Question.. Let S = { = a 0 < a < a 2 <... <} N be a multiplicatively closed set generated by two natural numbers p < p 2 such that logp logp 2 irrational. Let a k = p i pj 2 S for some k > 0. What are the factorizations of the adjacent numbers a k,a k+ in terms of p,p 2,i,j? We answer this Question. using the simple continued fraction expansion of logp logp 2 and its primary and secondary convergents. The following question for more than two generators is still open. Question.2. Let S = { = a 0 < a < a 2 <... <} N be a finitely generated multiplicatively closed infinite set generated by positive integers d,d 2,...,d n for n > 2. Let a k = d i d i d in n. How do we construct explicit factorization of the elements a k,a k+ S in terms of the positive integers d j,i j, j n?. 2. Types of Fractions and Convergents associated to an Irrational in [0, ] In this section we define various types of fractions and convergents associated to an irrational α [0,]. 200 Mathematics Subject Classification. Primary: A55, Secondary: K60. Key words and phrases. Multiplicatively Closed Sets, Continued Fractions, Primary and Secondary Convergents.

2 2 C.P. ANIL KUMAR 2.. Primary and Secondary Convergents. Definition 2. Primary and Secondary Convergents. Let α [0, ] be an irrational. Suppose {a 0 = 0,a,a 2,a 3...,} be the sequence denoting the continued fraction expansion of α, i.e., α = a 0 +. a + a 2 + a Let h 0 = 0,k 0 =. Define h i = a 0 + k i a +.,gcdh i,k i = for i N...+ a i Then an element in the sequence { h i k i : i N {0}} is called a primary convergent. The first few primary convergents with relatively prime numerators and denominators are given by 0, a, a 2 +a a 2, +a 2 a 3 a 3 +a +a a 2 a 3, a 2 +a 4 +a 2 a 3 a 4 +a 3 a 4 +a a 2 +a a 4 +a a 2 a 3 a 4,... By induction, we can show, with these expressions for h i k i, that h i k i+ k i h i+ = ±,i N {0} as polynomials. Also we have as polynomials, h i+2 = a i+2 h i+ +h i,k i+2 = a i+2 k i+ +k i. So we actually have polynomial expressions for h i,k i in terms of variables a i : i N {0} arising from continued fraction of the irrational α. For any irrational α the convergents satisfy h 2j < h 2j+2 < α < h 2l+ < h 2l,j N {0},l N. k 2j k 2j+2 k 2l+ k 2l Now we define the finite monotonic sequences of new intermediate fractions with relatively prime numerators and denominators given by and h 2j k 2j < h 2j +th 2j+ k 2j +tk 2j+ < h 2j+2 k 2j+2,0 < t < a 2j+2,t,j N {0} h 2l+ k 2l+ < h 2l +th 2l k 2l +tk 2l < h 2l k 2l,0 < t < a 2l+,t,l N. These new intermediate fractions are called secondary convergents Upper and Lower Fractions. Here we define two sequences of fractions called upper and lower fractions associated to an irrational α [0,]. Definition 2.2 Upper and and Lower Fractions. Let 0 < α <. For n N, let n n fn =,gn =. α α Then the sequences {fn : n N},{gn : n N} are called upper and lower sequences of α respectively. We have gnα < n < fnα,fn gn =,n N. Since 0 < α < for any n N, we also observe that fnα = n, gnα = n.

3 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS 3 A fraction in the sequence { n fn : n N} is called a lower fraction associated to α and a fraction in the sequence { n gn : n N} is called an upper fraction associated to α. We need not in general have gcdn,fn = or gcdn,gn =. However we definitely have n fn < α < n gn. Note 2.3. An element in the upper sequence gives a lower fraction and an element in the lower sequence gives an upper fraction associated to α The Upper and Lower Sequences f and g. Here in this section we prove Theorems concerning the values of the upper and lower sequences. Theorem 2.4. Let α [0,] be an irrational with continued fraction expansion {a 0 = 0,a,a 2,...}. Let {fn : n N},{gn : n N} be the upper and lower sequences of α. Let h 0 = 0,k 0 =. For i N, let h i,k i be the numerator and denominator of i th primary convergent which are relatively prime. Then we have fh 2j +th 2j+ = k 2j +tk 2j+, gh 2j +th 2j+ = k 2j +tk 2j+,0 < t a 2j+2,j N {0},t N gh 2l +th 2l = k 2l +tk 2l, fh 2l +th 2l = k 2l +tk 2l +,0 t a 2l+,t N {0},l N. Proof. To prove the theorem it suffices to prove the following inequalities. k 2j +tk 2j+ α < h 2j +th 2j+ < k 2j +tk 2j+ α,0 < t a 2j+2,j N {0},t N k 2l +tk 2l α < h 2l +th 2l < k 2l +tk 2l +α,0 t a 2l+,t,l N. This we prove by induction on j, l simultaneously as follows. We observe that We also have for So We have Hence We also have h 0 = k 0 = 0,k α < h k 0 +tk α < h 0 +th for all t > 0. 0 t a 2, h 0 +th k 0 +tk h 2 k 2 < α h 0 +th < k 0 +tk α. k 0 +tk α < h 0 +th < k 0 +tk α,0 < t a 2. h 2 < k 2 α and a + < α h < k +α. for all t 0,h +th 2 < k +tk 2 +α. for 0 t a 3,α < h 3 h +th 2 k +tk 2 α < h +th 2. k 3 k +tk 2 So k +tk 2 α < h +th 2 < k +tk 2 +α,0 t a 3. This proves the initial step of the induction for j = 0,l =. Now assume that the inequalities follow for j = r,l = r + for some r N. We prove for j = r +,l = r +2. We have which together imply k 2r+3 α < h 2r+3 and for j = r,t = a 2r+2,k 2r+2 α < h 2r+2 k 2r+2 +tk 2r+3 α < h 2r+2 +th 2r+3 for t 0.

4 4 C.P. ANIL KUMAR We also have for So We have 0 t a 2r+4, h 2r+2 +th 2r+3 k 2r+2 +tk 2r+3 h 2r+4 k 2r+4 < α h 2r+2 +th 2r+3 < k 2r+2 +tk 2r+3 α. which together impy We also have for So k 2r+2 +tk 2r+3 α < h 2r+2 +th 2r+3 < k 2r+2 +tk 2r+3 α. h 2r+4 < k 2r+4 α and for l = r +,t = a 2r+3,h 2r+3 < k 2r+3 +α h 2r+3 +th 2r+4 < k 2r+3 +tk 2r+4 +α for all t 0. 0 t a 2r+5,α < h 2r+5 k 2r+5 h 2r+3 +th 2r+4 k 2r+3 +tk 2r+4 k 2r+3 +tk 2r+4 α < h 2r+3 +th 2r+4. k 2r+3 +tk 2r+4 α < h 2r+3 +th 2r+4 < k 2r+3 +tk 2r+4 +α,0 t a 2r+5. This proves the induction step for j = r+,l = r +2. Hence the theorem follows and the values of the sequences f,g at the values of n being the numerator of any primary or secondary convergent are known. Note 2.5. Now we make an important observation about the monotonic nature of the ceil or rounding up fractional parts h k α. The numerators of the secondary and primary convergents associated to the lower sequence g satisfy the following monotonicity. h < h +h 2 <... < h +a 3 h 2 = h 3 < h 3 +h 4 <... < h 3 +a 5 h 4 = h 5 <... The sequence of differences given by h 2,h 2,...,h 2,h 4,h 4,...,h 4,... where h 2i appears a 2i+ times for i. This sequence is non-decreasing and diverges to infinity. Now we apply g to the above sequence to obtain the denominators of the secondary and primary convergents associated to the lower sequence g which also satisfy the following monotonicity. k < k +k 2 <... < k +a 3 k 2 = k 3 < k 3 +k 4 <... < k 3 +a 5 k 4 = k 5 <... The sequence of differences given by k 2,k 2,...,k 2,k 4,k 4,...,k 4,... where k 2i appears a 2i+ times for i. This sequence is non-decreasing and diverges to infinity. The ceil fractional parts satisfy h k α > h +h 2 k +k 2 α >... > h 3 k 3 α > h 3 +h 4 k 3 +k 4 α >... > h 5 k 5 α >... Similarly we make an observation on the monotonic nature of the floor or usual fractional parts k α h. The numerators of the secondary and primary convergents associated to the upper sequence f satisfy the following monotonicity. h 0 < h 0 +h <... < h 0 +a 2 h = h 2 < h 2 +h 3 <... < h 2 +a 4 h 3 = h 4 <... The sequence of differences given by h,h,...,h,h 3,h 3,...,h 3,... where h 2i appears a 2i times for i. This sequence is non-decreasing and diverges to infinity. Now we apply f to the above sequence to obtain the denominators of the secondary

5 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS 5 and primary convergents associated to the upper sequence f which also satisfy the following monotonicity. k 0 +k <... < k 0 +a 2 k = k 2 < k 2 +k 3 <... < k 2 +a 4 k 3 = k 4 <... The sequence of differences after including k 0 in the beginning is given by k,k,...,k,k 3,k 3,...,k 3,... where k 2i appears a 2i times for i. This sequence is non-decreasing and diverges to infinity. The floor fractional parts satisfy k 0 α > k 0 +k α h 0 +h >... > k 2 α h 2 > k 2 +k 3 α h 2 +h 3 >... > k 4 α h 4 >... Now we prove an useful lemma regarding fractions. Lemma 2.6. Let a b > p q > c d 0 be three fractions such that ad bc =. Then we have Proof. We have bd > a b p q = aq bp q > maxb,d. bq. If aq bp = then q > d. If aq bp > and q d a contradiction. Hence q > d. We also have bd > p q c d = pd cq dq. then aq bp bq aq bp bd > bd If pd cq = then q > b. If pd cq > and q b then pd cq Hence q > b. So the lemma follows. We prove the second theorem. dq pd cq bd > bd a contradiction. Theorem 2.7. Let α [0,] be an irrational. Let {fn : n N},{gn : n N} be the upper and lower sequences of α. Consider the two sequences of lower and upper fractions of primary and secondary convergents respectively. { p q <... < p i { r s >... > r i } <... i N = { h0 < h 0 +h <... < h 2 < h 2 +h 3 <... < h 4 < h } 4 +h 5 <.... k 0 k 0 +k k 2 k 2 +k 3 k 4 k 4 +k 5 } >... i N = { h > h +h 2 >... > h 3 > h 3 +h 4 >... > h 5 > h } 5 +h 6 >.... k k +k 2 k 3 k 3 +k 4 k 5 k 5 +k 6 Given a lower fraction n fn / {p j q j j N} there exists a lower fraction p i such that n > p i,fn > fp i =,fnα n > α p i. Given an upper fraction n gn / {r j s j j N} there exists an upper fraction r i such that n > r i,gn > gr i =,n gnα > r i α. Proof. Both the sequences f,g are monotonically increasing and h i 0 a. Hence k i h i+ k i+ = i+ k i k i+ lim i p i = lim i h i k i = lim i r i = α. Now 0 < n fn < α. So there exists two consecutive lower fractions p i, p i such that p i < n fn < p i < α.

6 6 C.P. ANIL KUMAR Using Lemma 2.6 we conclude that fn > max, = > since p i p i =. By monotonicity of f we conclude that n > maxp i,p i = p i > p i. Now we have fnα n = fnα n fn > fnα p i > α p i = α p i. Now we prove the other case. Suppose n r i = h k and we have gn > h k = k > α. Since n >,gn > k. Choose n gnα = gn n gn α > gnh k α > k h k α = h k α. Suppose h k > n gn > α. Then there exists two consecutive upper fractions r i that r i > n gn > r i > α., r i such Again using Lemma 2.6 we conclude that gn > max, = > since r i r i =. By monotonicity of g we conclude that n > maxr i,r i = r i > r i. Now we have n gnα = gn n gn α > gnr i α > r i α = r i α. This proves the theorem. Note 2.8. In Theorem 2.7 if n fn = p i then there exists a positive integer k such that n = kp i,fn = k. So if k > the we have n > p i,fn >,fnα n > α p i. The other case is similar. So we conclude that minimal fractional parts occur exactly at the numerators and denominators of primary and secondary convergents using Note 2.5 in the sequence which is the statement of Theorem The main theorem We begin this section with a theorem which is an observation on the rounding up or ceil fractional parts of the lower sequence and the usual fractional parts of the upper sequence. Theorem 3.. Let α [0,] be an irrational. Let f,g be the upper and lower sequences associated to α. Let z 0 = α and for n N let z n = n + fnα,y n = n gnα. Let z n0 = z 0 = α,y m = y = gα. Define two subsequences z nj,y mj with the property that z nj < z nj = min{z 0,z,...,z nj } for j N, Then the sequence y mj < y mj = min{y,y 2,...,y mj } for < j N. {n 0 < n <... < n j <... j N {0}} = {h 0 < h 0 +h <... < h 0 +a 2 h = h 2 < h 2 +h 3 <... < h 2 +a 4 h 3 = h 4 < h 4 +h 5 <...} and the sequence {m < m 2 <... < m j <... j N} = {h < h +h 2 <... < h +a 3 h 2 = h 3 < h 3 +h 4 <... < h 3 +a 5 h 4 = h 5 < h 5 +h 6 <...}. Proof. This theorem follows by applying Theorem 2.7 and Note 2.5 which together imply that the lesser fractional partn the sequence occur exactly at numerators of primary and secondary convergents of the lower and upper fractions for the upper and lower sequences respectively.

7 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS 7 Definition 3.2 Non-negative Integer Co-ordinates of an Element. Let 0 < p < p 2 be two positive integers such that logp logp 2 irrational. Let S = {p i pj 2 i,j N {0}} be the multiplicatively closed set generated by p,p 2. Then any integer n S can be uniquely expressible as n = p i pj 2. We associate the non-negative integer co-ordinate,j to n. So in particular there is a bijection co-ordinatisation map of S with the grid N {0} N {0}. Main Theorem 3.3 gives the decomposition of the factorization grids N {0} N {0} and N {0} N {0} into rectangles which are related by local translations to give the factorization of the number and its next number. Now we state the main theorem. Theorem 3.3. Let < p < p 2 be two positive integers such that α = logp logp 2 irrational. Let S = {p i pj 2 i,j N {0}} be the multiplicatively closed set generated by p,p 2. Let {0,a,a 2,...,} be the continued fraction of α. Let h 0 = 0,k 0 = and let { h i k i i N,gcdh i,k i = } be the sequence of primary convergents of α. Consider the integer grid rectangles A t i Bt i Ct i Dt i for i of dimensions h 2i k 2i with co-ordinates given by A t i = k 2i +tk 2i,0,B t i = k 2i +t+k 2i,0, C t i = k 2i +t+k 2i,h 2i,D t i = k 2i +tk 2i,h 2i,0 t < a 2i+. The corresponding translated rectangles translation applied to each point denoted by Ãt B i i t C i t D i t of next numbern the multiplicatively closed set are given by à t i = 0,h 2i +th 2i, Bt i = k 2i,h 2i +th 2i, C t i = k 2i,h 2i +t+h 2i, D t i = 0,h 2i +t+h 2i,0 t < a 2i+ again of the same dimensions h 2i k 2i with translation given by Ãt i B t i C t i D t i = At i Bt i Ct i Dt i + k 2i tk 2i,h 2i +th 2i Now consider the integer grid rectangles P i tqt i Rt i St i for i 0 of dimensions h 2i+ k 2i+ with co-ordinates given by Pi t = 0,h 2i +th 2i+,Q t i = k 2i+,h 2i +th 2i+ R t i = k 2i+,h 2i +t+h 2i+,S t i = 0,h 2i +t+h 2i+,0 t < a 2i+2. The corresponding translated rectangles translation applied to each point denoted by P i t Q t R i i t S i t of next numbern the multiplicatively closed set are given by P i t = k 2i +tk 2i+,0, Q t i = k 2i +t+k 2i+,0 R i t = k 2i +t+k 2i+,h 2i+,Si t = k 2i +tk 2i+,h 2i+,0 t < a 2i+2 again of the same dimensions h 2i+ k 2i+ with translation given by P i t Q t R i i t S i t = Pt i Qt i Rt i St i + k 2i +tk 2i+, h 2i th 2i+ Also we have the grid N {0} N {0} = A t ibic t id t i t P iq t t iris t i t 0 t<a 2i+ i 0 0 t<a 2i+2 i and the grid of next numbers hence origin deleted as next number cannot be origin N {0} N {0} \{0,0} = Ãt B i i t C i t D i t P t Q i t R i t S i i t 0 t<a 2i+ 0 t<a 2i+2 i i 0

8 8 C.P. ANIL KUMAR Proof. Consider a point k 2i +tk 2i +r,s A t i Bt i Ct i Dt i and its next number r,h 2i +th 2i +s Ãt B i i t C i t D i t for any 0 t < a 2i+,0 r < k 2i,0 s < h 2i. Now suppose there exists an integer p b pa 2 such that p k 2i +tk 2i +r p s 2 < pb pa 2 < pr ph 2i +th 2i +s 2. Then we arrive at a contradiction as follows. First we have k2i +tk 2i +r α+s < bα+a < rα+h 2i +th 2i +s < k 2i +tk 2i +r + α+s. If b = r then there exist two integers a s,h 2i +th 2i in between k2i +tk 2i α, k2i +tk 2i + α which is a contradiction. If b < r then we must have a > s so that a s > 0. Hence k2i +tk 2i +r b α < a s < h 2i +th 2i +r bα < k 2i +tk 2i +r b+ α. So let 0 < z < α be the positive rounding up ceil fractional part such that k2i +tk 2i +r b α+z = a s. Now suppose k 2i + tk 2i + r b < k 2i + t + k 2i. Then the fractional part z has to satisfy z h 2i +th 2i k 2i +tk 2i α because minimal fractional parts occur exactly at the numerators and denominators of primary and secondary convergents. On the other hand z = a s k 2i +tk 2i +r b α < h 2i +th 2i +r bα k 2i +tk 2i +r b α which is a contradiction. So we have = h 2i +th 2i k 2i +tk 2i α k 2i +tk 2i +r b k 2i +t+k 2i r b k 2i r k 2i +b r k 2i which is again a contradiction to 0 r k 2i. Now consider the case b > r so that b r > 0. We have k2i +tk 2i α+s a < b rα < h2i +th 2i +s a < k 2i +tk 2i +α+s a. Let 0 < y < α be the rounding up ceil fractional part such that b rα+y = h 2i +th 2i +s a. Now suppose h 2i +th 2i +s a < h 2i +t +h 2i. Then the fractional part y has to satisfy y h 2i +th 2i k 2i +tk 2i α because minimal fractional parts occur exactly at the numerators and denominators of primary and secondary convergents. On the other hand y = h 2i +th 2i +s a b rα < h 2i +th 2i +s a k 2i +tk 2i α+s a which is a contradiction. So we have = h 2i +th 2i k 2i +tk 2i α h 2i +th 2i +s a h 2i +t+h 2i s a h 2i s h 2i +a s h 2i

9 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS 9 which is again a contradiction to 0 s h 2i. This proves that the next number of p k 2i +tk 2i +r p s 2 is pr ph 2i +th 2i +s 2 for 0 t < a 2i+,0 r < k 2i,0 s < h 2i. Now we consider the second set of rectangles. Consider a point and its next number for any r,h 2i +th 2i+ +s P t iq t ir t is t i r +k 2i +tk 2i+,s P t i Q t i R t i S t i 0 t < a 2i+2,0 r < k 2i+,0 s < h 2i+. Now suppose there exists an integer p b pa 2 such that p r p h 2i+th 2i+ +s 2 < p b p a 2 < p r+k 2i+tk 2i+ p s 2. Then we arrive at a contradiction as follown a similar manner. First we have k2i +tk 2i+ +r α+s < rα+h 2i +th 2i+ +s < bα+a < k 2i +tk 2i+ +r α+s which implies k2i +tk 2i+ +r b α < h 2i +th 2i+ +r bα < a s < k 2i +tk 2i+ +r b α. If a = s then we observe that k 2i +tk 2i+ +r b α α and k 2i +tk 2i+ +r b α α which is a contradiction. If a > s so that a s > 0 then let 0 < x < α be the positive fractional part such that a s+x = k 2i +tk 2i+ +r b α. Now suppose k 2i +tk 2i+ +r b < k 2i +t+k 2i+. Then the fractional part x has to satisfy x k 2i +tk 2i+ α h 2i +th 2i+ because minimal fractional parts occur exactly at the numerators and denominators of primary and secondary convergents. On the other hand x = k 2i +tk 2i+ +r b α a s < k 2i +tk 2i+ +r b α h 2i +th 2i+ +r bα = k 2i +tk 2i+ α h 2i +th 2i+ which is a contradiction. So we have k2i +tk 2i+ +r b k 2i +t+k 2i+ r b k 2i+ r k 2i+ +b r k 2i+ which is a contradiction to 0 r k 2i+. Now suppose a < s so that s a > 0. Then we have k2i +tk 2i+ α+s a < h 2i +th 2i+ +s a < b rα < k 2i +tk 2i+ α+s a. So b r > 0 and let 0 < u < α be the positive fractional part such that h 2i +th 2i+ +s a+u = b rα. Now suppose h 2i +th 2i+ +s a < h 2i +t +h 2i+. Then the fractional part u has to satisfy u k 2i +tk 2i+ α h 2i +th 2i+ because minimal fractional parts occur exactly at the numerators and denominators of primary and secondary convergents. On the other hand u = b rα h 2i +th 2i+ +s a < k 2i +tk 2i+ α+s a h2i +th 2i+ +s a = k 2i +tk 2i+ α h 2i +th 2i+

10 0 C.P. ANIL KUMAR which is a contradiction. So we have h 2i +th 2i+ +s a > h 2i +t+h 2i+ s a h 2i+ s h 2i+ +a s h 2i+ which is again a contradiction to 0 s h 2i+. This proves that the next number of p r ph 2i+th 2i+ +s 2 is p r+k 2i+tk 2i+ p s 2 for 0 t < a 2i+2,0 r < k 2i+,0 s < h 2i+. Now we prove that the rectangles cover the grid N {0} N {0}. For this we need to prove that given x,y N {0} N {0} either there exists j 0 such that h 2j +th 2j+ y < h 2j +t+h 2j+,0 x < k 2j+ for some 0 t < a 2j+2 or there exist such that k 2i + tk 2i x < k 2i + t+k 2i,0 y < h 2i for some 0 t < a 2i+ Now there always exist j 0,0 t < a 2j+2 such that h 2j +th 2j+ y < h 2j +t+h 2j+. If 0 x < k 2j+ then we are done. Otherwise x k 2j+. Hence there exist j +,0 t < a 2i+ such that Now we have k 2i + tk 2i x < k 2i + t+k 2i. 0 h 2j +th 2j+ y < h 2j +t+h 2j+ h 2j+2 h 2i 0 y < h 2i. So the rectangles cover the grid. The rest of the proof for the grid with origin deleted is similar. This completes the proof of Theorem 3.3. We mention the following corollary of Theorem 3.3 with a very brief proof at is straight forward. Corollary 3.4. Let S be a multiplicatively closed set with two generators < p < p 2 such that logp logp 2 irrational. Then there exists arbitrarily large gap integer intervals of S with end pointn S. Proof. To obtain arbitrarily large gap intervals, we apply Theorem 3.3 for the largest values of r {k 2i,k 2i+ },s {h 2i,h 2i+ } which tend to infinity a tends to infinity. We end this section with the following note. Note 3.5. In Theorem 3.3 the factorization of the previous number is also similarly obtained because previous number of the next number of a number is the given number. The answer to Question. can be obtained by suitably expressing i, j. For the next number express a k = i,j N {0} N {0} as k 2l +tk 2l +r,s with 0 t < a 2l+,0 r < k 2l,0 s < h 2l or as r,h 2l +th 2l+ +s with 0 t < a 2l+2,0 r < k 2l+,0 s < h 2l+. We get the next number a k+ using Theorem 3.3. For the previous number express a k = i,j N {0} N {0}\{0,0} as r,h 2l +th 2l +s with 0 t < a 2l+,0 r < k 2l,0 s < h 2l or as r+k 2l +tk 2l+,s with 0 t < a 2l+2,0 r < k 2l+,0 s < h 2l+. We get the previous number a k again using Theorem 3.3 in the reverse manner.

11 ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS References [] S. Barnard, J.M. Child, Higher Algebra, Macmillan and Co. [2] I. Niven, H.S. Zuckerman, H.L. Montgomery, An introduction to theory of numbers, Wiley Fifth Edition, ISBN-3: No. 04, Bldg. 23, Lakshmi Paradise, 5th Main, th Cross, LN Puram, Bengaluru address: