arxiv: v1 [math.gm] 2 Jun 2018

Similar documents
Chapter XI Novanion rings

Fundamentals of Pure Mathematics - Problem Sheet

The primitive root theorem

CONTINUED FRACTIONS, PELL S EQUATION, AND TRANSCENDENTAL NUMBERS

Section 11.1 Sequences

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

Jumping Sequences. Steve Butler Department of Mathematics University of California, Los Angeles Los Angeles, CA

1. (a) q = 4, r = 1. (b) q = 0, r = 0. (c) q = 5, r = (a) q = 9, r = 3. (b) q = 15, r = 17. (c) q = 117, r = 11.

Elementary linear algebra

A Gel fond type criterion in degree two

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 21 26

Part IA Numbers and Sets

Full file at

SIMULTANEOUS PELL EQUATIONS. Let R and S be positive integers with R < S. We shall call the simultaneous Diophantine equations

Infinite Continued Fractions

Summary Slides for MATH 342 June 25, 2018

5 Set Operations, Functions, and Counting

MATH 117 LECTURE NOTES

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias

Canadian Open Mathematics Challenge

On the Largest Integer that is not a Sum of Distinct Positive nth Powers

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

55 Separable Extensions

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

An Exploration of the Arithmetic Derivative

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Progressions of squares

The theory of continued fractions and the approximations of irrational numbers

Pigeonhole Principle and Ramsey Theory

Notes on Continued Fractions for Math 4400

IMO Training Camp Mock Olympiad #2 Solutions

ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER

CHAPTER 8: EXPLORING R

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

ON THE LINEAR INDEPENDENCE OF THE SET OF DIRICHLET EXPONENTS

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be

SUMS PROBLEM COMPETITION, 2000

Math 40510, Algebraic Geometry

2015 IMO Shortlist. a k+1 a 2 k. (s r n)x r x s, 1 r<s 2n

RMT 2013 Power Round Solutions February 2, 2013

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction

A RIEMANN-ROCH THEOREM FOR EDGE-WEIGHTED GRAPHS

Math 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby

Continued fractions for complex numbers and values of binary quadratic forms

Approximation exponents for algebraic functions in positive characteristic

MATH 145 Algebra, Solutions to Assignment 4

1 Homework. Recommended Reading:

4.4 Noetherian Rings

THE HILBERT FUNCTION OF A REDUCED X-ALGEBRA

MAT115A-21 COMPLETE LECTURE NOTES

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

Lecture 16 Symbolic dynamics.

arxiv: v1 [math.nt] 10 Dec 2009

CHAPTER 6. Limits of Functions. 1. Basic Definitions

Algorithms: Background

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Disjoint paths in tournaments

Chapter 2: Matrix Algebra

Constructions with ruler and compass.

William Stallings Copyright 2010

MATH98 Intermediate Algebra Practice Test Form A

Rings, Modules, and Linear Algebra. Sean Sather-Wagstaff

NOTES ON DIOPHANTINE APPROXIMATION

Chapter 5: The Integers

Applications. More Counting Problems. Complexity of Algorithms

Classnotes - MA Series and Matrices

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Math 120 HW 9 Solutions

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

Graphing Square Roots - Class Work Graph the following equations by hand. State the domain and range of each using interval notation.

An Exploration of the Arithmetic Derivative

Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017

New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

~,. :'lr. H ~ j. l' ", ...,~l. 0 '" ~ bl '!; 1'1. :<! f'~.., I,," r: t,... r':l G. t r,. 1'1 [<, ."" f'" 1n. t.1 ~- n I'>' 1:1 , I. <1 ~'..

Algebraic Number Theory

Open Problems with Factorials

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

Chapter 8. P-adic numbers. 8.1 Absolute values

SQUARE ROOTS OF 2x2 MATRICES 1. Sam Northshield SUNY-Plattsburgh

Lines in higgledy-piggledy arrangement

TEST CODE: MMA (Objective type) 2015 SYLLABUS

arxiv: v1 [math.ds] 1 Oct 2014

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

ACS MATHEMATICS GRADE 10 WARM UP EXERCISES FOR IB HIGHER LEVEL MATHEMATICS

1 i<j k (g ih j g j h i ) 0.

A Questionable Distance-Regular Graph

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

Formal Groups. Niki Myrto Mavraki

arxiv: v1 [math.co] 8 Feb 2014

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

On (δ, χ)-bounded families of graphs

P i [B k ] = lim. n=1 p(n) ii <. n=1. V i :=

Transcription:

ON THE FACTORIZATION OF TWO ADJACENT NUMBERS IN MULTIPLICATIVELY CLOSED SETS GENERATED BY TWO ELEMENTS C.P. ANIL KUMAR arxiv:806.03344v [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 2 2...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 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 3 +... 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. 2.2. 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.

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 α. 2.3. The Upper and Lower Sequences f and g. Here in this section we prove Theorems 2.4 2.7 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 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

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 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 3.. 3. 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.

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 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

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+

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.

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: 978-047625469. No. 04, Bldg. 23, Lakshmi Paradise, 5th Main, th Cross, LN Puram, Bengaluru-56002 E-mail address: akcp728@gmail.com