arxiv:math/ v1 [math.gr] 24 Oct 2006

Size: px
Start display at page:

Download "arxiv:math/ v1 [math.gr] 24 Oct 2006"

Transcription

1 arxiv:math/ v1 [math.gr] 24 Oct 2006 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH MELVYN B. NATHANSON Abstract. Methods from additive number theory are applied to construct families of finitely generated linear semigroups with intermediate growth. 1. Growth functions of finitely generated semigroups Let S be a finitely generated semigroup let A be a set of generators for S. Every element x S can be written as a word with letters from the set A, that is, as a finite product of elements of A. The length of x with respect to A, denoted l A (x), is the number of letters in the shortest word that represents x. Note that l A (x) = 1 if only if x A. We shall assume that S contains an identity element 1 that 1 / A. We define l A (1) = 0. Let N = {1,2,3,...} denote the set of positive integers N 0 = N {0} the set of nonnegative integers. For every n N 0, let λ A (n) denote the number of elements of S of length exactly n. We define the growth function γ A (n) of S with respect to A by n γ A (n) = card({x S : l A (x) n}) = λ A (m). The function γ A (n) is an increasing function that counts the number of elements of S of length at most n. If card(a) = k, then, for all nonnegative integers n, γ A (n) λ A (n) k n { n+1 if k = 1 k n+1 1 k 1 if k > 1. The semigroup S has polynomial growth with respect to the generating set A if there exist positive numbers c d such that γ A (n) cn d for all sufficently large n. In this case, logc+dlogn so lim sup n logn <. m=0 Date: July 7, Mathematics Subject Classification. Primary 20M05,20F69,20F65,11B75. Key words phrases. Semigroups, intermediate growth, semigroup growth, group growth, sumsets, Sidon sets, ˆBh -sequences, partition asymptotics, additive number theory. This work was supported in part by grants from the NSA Mathematical Sciences Program the PSC-CUNY Research Award Program. 1

2 2 MELVYN B. NATHANSON If S does not have polynomial growth, then lim sup n logn We say that S has superpolynomial growth if =. lim =. n logn The semigroup S has exponential growth with respect to the generating set A if there exists θ > 1 such that γ A (n) θ n for all sufficently large n. In this case, nlogθ so lim inf n n If S does not have exponential growth, then > 0. lim inf n n We say that the S has subexponential growth if lim = 0. n n The semigroup S has intermediate growth with respect to A if the growth of S is both superpolynomial subexponential. We review some stard facts about growth functions. Let A B be finite generating sets for S, let = 0. c A = max(l A (b) : b B) c B = max(l B (a) : a A). Then γ B (n) γ A (c A n) γ A (n) γ B (c B n). These inequalities imply that the growth function γ A (n) is polynomial, superpolynomial, subexponential, or exponential if only if the growth function γ B (n) is, respectively, polynomial, superpolynomial, subexponential, or exponential. Lemma 1. Let S T be finitely generated semigroups let f : S T be an injective semigroup homomorphism. If A is any finite generating set for S, then there is a finite generating set B for T such that γ (S) A (n) γ(t) B (n) for all n N 0. If the growth of T is polynomial or subexponential, then the growth of S is, respectively, polynomial or subexponential. If the growth of S is superpolynomial or exponential, then the growth of T is, respectively, superpolynomial or exponential. Proof. Let A be a finite generating set for S, let B be any finite generating set for T, let B = B f(a). If l A (s) = m, then s = a 1 a m for some a 1,...,a m A. Since f(s) = f(a 1 ) f(a m ), it follows that l B (f(s)) m. Since f is one-to-one, it follows that γ (S) A (n) γ(t) B (n). This inequality implies the statements about growth rates.

3 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 3 Lemma 2. Let S be a finitely generated subsemigroup of a finitely generated semigroup T. If the growth of T is polynomial or subexponential, then the growth of S is, respectively, polynomial or subexponential. If the growth of S is superpolynomial or exponential, then the growth of T is, respectively, superpolynomial or exponential. Proof. This follows immediately from Lemma 1. Lemma 3. Let S T be finitely generated semigroups let f : S T be a surjective semigroup homomorphism. If A is any finite generating set for S, then B = {f(a) : a A} is a finite generating set for T, γ (S) A (n) γ(t) B (n) for all n N 0. If the growth of S is polynomial or subexponential, then the growth of T is, respectively, polynomial or subexponential. If the growth of T is superpolynomial or exponential, then the growth of S is, respectively, superpolynomial or exponential. Proof. Lety T. Sincef isonto, thereexistsx S suchthatf(x) = y.ifl (S) A (x) = m, then there is a sequence a 1,...,a m A such that y = f(x) = f(a 1 ) f(a m ), so B = {f(a) : a A} is a generating set for T. Conversely, if y T l B (y) = m, then there exist a 1,...,a m A such that y = f(a 1 ) f(a m ). Let x = a 1 a m S. Then f(x) = y l A (x) m. This implies that γ (T) B (n) γ(s) A (n) for all n, the growth conditions follow directly from this inequality. The growth of a finitely generated abelian semigroup S is always polynomial. Indeed, if A is a set of generators for S with card(a) = k, then ( ) n+k 1 λ A (n) n k 1 k 1 ( ) n+k γ A (n) n k. k More precisely, Khovanskii [3, 4], Nathanson [8], Nathanson Ruzsa [10] proved that there is a polynomial f A (x) with integer coefficients such that λ A (n) = f A (n) for all sufficiently large integers n. It follows that there is a polynomial F A (x) with integer coefficients such that γ A (n) = F A (n) for all sufficiently large n. The growth of finitely generated free semigroups of rank at least two is always exponential. If S is the free semigroup generated by a set of k 2 elements, then λ A (n) = k n γ A (n) = (k n+1 1)/(k 1) > k n. By Lemma 2, a semigroup that contains a free subsemigroup on two generators has exponential growth. Semigroups of intermediate growth are more difficult to construct. Beljaev, Sesekin, Trofimov[1] proved that the free semigroup generated by two elements e g with the relations e 2 = e eg i eg j e = eg j eg i e for all nonnegative integers i j is a semigroup of intermediate growth. Okniǹski [11] constructed two examples of linear semigroups, that is, subsemigroups of the multiplicative semigroup M n (Z) of n n matrices. Let S 1 be the subsemigroup of M 2 (Z) generated by the set A = {( ) 1 1, 0 1 ( )}

4 4 MELVYN B. NATHANSON let T 1 be the subsemigroup of M 3 (Z) generated by the set A = , Both S 1 T 1 are homomorphic images of the Beljaev, Sesekin, Trofimov semigroup have intermediate growth. Nathanson [6] gave a simple numbertheoretical proof that S (1) has intermediate growth, Lavrik-Männlin [5] computed the growth function of S (1). Grigorchuk [2] Shneerson [12, 13, 14] have also investigated the growth of semigroups. In this paper we apply ideas from additive number theory to construct families of linear semigroups of intermediate growth that generalize Okniǹski s examples. 2. Partition functions of sets of positive integers Results about the intermediate growth of groups semigroups often use estimates for the asymptotics of partition functions in additive number theory. We review some of these results here. Let A be a set of positive integers let p A (n) denote the number of partitions of n into parts belonging to A. If A = N is the set of all positive integers, then p(n) = p N (n) is the classical partition function. If Ais anonempty finite set ofrelativelyprime positiveintegers card(a) = r, then ( ) 1 n r 1 p A (n) = a A a (r 1)! +O( n r 2) (Nathanson [9] [7, Theorem 15.2]). Let p r (n) denote the number of partitions of n into at most r parts, let ˆp r (n) denote the number of partitions of n into exactly r parts, let ˆq r (n) denote the number of partitions of n into exactly r distinct parts. Since the number of partitions of n into at most r parts is equal to the number of partitions of n into parts belonging to the set A = {1,2,...,r}, it follows that p r (n) = nr 1 r!(r 1)! +O( n r 2) (1) ˆp r (n) = p r (n) p r 1 (n) = nr 1 r!(r 1)! +O( n r 2). We note that p r (n) ˆp r (n) are increasing functions of n, n (2) p(n) = ˆp r (n). r=1 If n = a 1 + +a r is a partition of n into r distinct positive parts a 1 > > a r, then n r(r +1)/2 n r(r 1) 2 = (a 1 (r 1))+(a 2 (r 2))+ +(a 2 1)+a 1 is a partition of n r(r 1)/2 into r parts. This identity establishes a bijection between partitions into exactly r distinct parts partitions into exactly r parts,

5 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 5 so (3) ˆq r (n) = ˆp r (n r(r 1)/2) = nr 1 r!(r 1)! +O( n r 2). The set A has asymptotic density d(a) = α if 1 lim 1 = α. n n If d(a) = α > 0 gcd(a) = 1, then a A a n (4) logp A (n) c 0 αn where π 2 c 0 = 2 6. (An elementary proof of (4) is in Nathanson [7, Theorem 16.1].) In particular, if A = N, then α = 1 the partition function p(n) = p N (n) satisfies the Hardy- Ramanujan asymptotic estimate logp(n) c 0 n. If A is the set of odd positive integers, then α = 1/2 logp A (n) c 0 n/2. Let q(n) denote the number of partitions of n into distinct positive integers. Since the number of partitions of an integer into distinct parts is equal to the number of partitions into odd parts, it follows that logq(n) c 0 n/2. 3. A condition for subexponential growth Lemma 4. Let S be a semigroup generated by a set A = {e,g}, where e is an idempotent. The set S 0 = ese = {exe : x S} is a subsemigroup of S with identity e, is generated by the set {eg k e : k = 0,1,2,3,...}. Define g 0 = 1. Then S = {g i } i=0 g i S 0 g j. i,j=0 Suppose that, for all nonnegative integers i 1,j 1,i 2,j 2, (5) g i1 S 0 g j1 g i2 S 0 g j2 if only if (i 1,j 1 ) = (i 2,j 2 ). For all nonnegative integers i j, let let γ 0 (n) = γ 0,0 (n). Then γ i,j (n) = card{y g i S 0 g j : l A (y) n} γ i,j (n) γ 0 (n i j). Proof. Let x g i S 0 g j. By condition (5), every representation of x as a word in e g must be of the form x = g i y g j for some y S 0. Therefore, l A (x) = min{i+j +l A (y ) : y S 0 x = g i y g j } = i+j +l A (y) for some y S 0. If l A (x) = m, then l A (y) = m i j so γ i,j (n) γ 0 (n i j).

6 6 MELVYN B. NATHANSON Theorem 1. Let S be a semigroup generated by a set A = {e,g}, where e is an idempotent, let S 0 = ese. Suppose that (i) For all nonnegative integers k 1 k 2, eg k1 eg k2 e = eg k2 eg k1 e (ii) For all nonnegative integers i 1,j 1,i 2,j 2, g i1 S 0 g j1 g i2 S 0 g j2 if only if (i 1,j 1 ) = (i 2,j 2 ). Then the semigroup S has subexponential growth. Proof. If e = 1, then S = S 0 = {g i } i=0 condition (ii) is not satisfied. Thus, we can assume that e 1. If 1 S 0, then there exist positive integers k 1,...,k r such that eg k1 eg k2 e eg kr e = 1. Multiplying this identity by e, we obtain e = 1, which is absurd. Therefore, 1 / S 0. Let γ 0 (n) denote the number of elements y S 0 such that l A (y) n. If y S 0 l A (y) = m n, then conditions (i) (ii) imply that either y = e or there exist positive integers r k 1 k r such that y = eg k1 eg k2 e eg kr e l A (y) = k 1 +k 2 + +k r +r+1 = m. Thus, to every y S 0 with l A (y) = m there are associated a positive integer r a partition of m r 1 into exactly r parts, so the number of elements y S 0 of length exactly m is m m λ 0 (m) = γ 0 (m) γ 0 (m 1) ˆp r (m r 1) ˆp r (m) = p(m) by (2). Since 1 / S 0, we have γ 0 (n) = r=1 n λ 0 (m) m=1 r=1 n p(m) np(n). Let γ i,j (n) denote the growth function of the set g i S 0 g j with respect to the generating set A. By Lemma 4, m=1 γ i,j (n) γ 0 (n i j). By condition (ii), if g i = g j, then g i S 0 g i = g j S 0 g j so i = j. Therefore, for every n 0 there is exactly one element in the set {g i } i=0 of length n, n n γ A (n) γ i,j (n)+n+1 i=0 j=0 n i=0 j=0 n γ 0 (n i j)+n+1 (n+1) 2 γ 0 (n)+n+1 2(n+1) 3 p(n). From the asymptotic formula (4) for the partition function, we obtain log2(n+1) 3 +logp(n) n

7 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 7 so lim = 0. n n Thus, the growth function γ A (n) is subexponential. 4. Sequences with many partition products Let W = {w k } k=1 be a sequence of elements in a semigroup (X, ) such that w k1 w k2 = w k2 w k1 forallpositiveintegersk 1,k 2.Toeveryfinitesequenceofpositiveintegersk 1,k 2,...,k r we associate the element w k1 w k2 w kr X. For every integer r 1, let W r (n) denote the subset of X associated to partitions of positive integers not exceeding n into exactly r parts, that is, w W r (n) if only if there is a sequence of positive integers k 1 k 2 k r such that k 1 + k k r n w = w k1 w k2 w kr. We define Φ(r) = liminf n logcard(w r (n)). logn The sequence {w k } k=1 has many partition products in W if lim Φ(r) =. r Here are some examples of sequences with many partition products. Theorem 2. For every positive integer d, let U d be the multiplicative semigroup of all positive integers u such that u 1 (mod d). The sequence has many partition products. W = {dk +1} k=1 Proof. Let r 1 let k 1 k 2 k r be a sequence of positive integers with k 1 + k k r n. Associated to this sequence is the integer (dk 1 + 1)(dk 2 +1) (dk r +1) W r (n). Let K denote the set of positive integers k such that dk + 1 is prime, let K(t) count the number of elements k K with k t. If k 1 k 2 k r j 1 j 2 j r are distinct sequences of elements of K such that k 1 n/r j 1 n/r, then k 1 + k k r n j 1 + j j r n, hence (dk 1 + 1)(dk 2 + 1) (dk r + 1) W r (n) (dj 1 +1)(dj 2 +1) (dj r +1) W r (n). By the fundamental theorem of arithmetic, (dk 1 +1)(dk 2 +1) (dk r +1) (dj 1 +1)(dj 2 +1) (dj r +1), so ( ) K(n/r)+r 1 card(w r (n)) K(n/r)r. r r! Let π(x,d,1) denote the number of prime numbers p x such that p 1 (mod d). Let x = dn r +1. Then dk+1 x is prime if only if k n/r. By the prime number theorem for arithmetic progressions, for sufficiently large n we have K(n/r) = π(x,d,1) x logx n rlogn

8 8 MELVYN B. NATHANSON where the implied constants depend only on d. Therefore, so It follows that card(w r (n)) K(n/r)r r! n r r!r r (logn) r log(card(w r (n))) rlogn log(r!r r ) rloglogn Φ(r) = liminf n log(card(w r (n))) logn lim Φ(r) = r r. the sequence {dk + 1} k=1 has many partition products. This completes the proof. In additive number theory, a sequence {b k } k=k 0 contained in an additive abelian semigroup is called a ˆB r -sequence if sums of r distinct terms of the sequence are distinct, that is, if k 1 < k 2 < < k r j 1 < j 2 < < j r, if b k1 +b k2 + +b kr = b j1 +b j2 + +b jr then k i = j i for i = 1,...,r. The sequence is called a ˆB -sequence if all finite sums of distinct elements of the set are distinct, that is, if k 1 < k 2 < < k r j 1 < j 2 < < j s, if b k1 +b k2 + +b kr = b j1 +b j2 + +b js then r = s k i = j i for i = 1,...,r. If {b k } k=k 0 is a sequence of positive real numberssuchthat l 1 k=k 0 b k < b l foralll > k 0, thenthesequenceisa ˆB -sequence. In particular, a ˆB -sequence is a ˆB r -sequence for all r 1. Lemma 5. Let c,c 1,d, t be positive real numbers with t > 2, let {e k } k=1 be a sequence of real numbers such that e k c 1 k d for all k 1. There is an integer k 0 such that the sequence is a strictly increasing ˆB -sequence. {ct k +e k } k=k 0 Proof. Let b k = ct k +e k for k 1. Since t > 2 e k c 1 k d, there is an integer k 0 such that 0 < b k < b k+1 for all k k 0, also (6) c 1 (t 1)(k +1) d+1 c(d+1)(t 2) < t k for all k > k 0. Let l > k 0. Using (6) the inequality l k=1 k d < (l+1)d+1 d+1

9 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 9 we obtain This completes the proof. l 1 k=k 0 b k = c l 1 k=k 0 t k + < ctl t 1 +c 1 < ct l c 1 l d b l. l 1 k=k 0 e k l 1 k d k=k 0 Theorem 3. Let c,c 1 d, t be positive real numbers with t > 2, let {e k } k=1 be a sequence of real numbers such that e k c 1 k d for all k 1. Let k 0 be a positive integer such that sequence W = {ct k +e k } k=k 0 is a ˆB -sequence. Then W has many partial products. Proof. Let b k = ct k +e k for k 1. By Lemma 5, there is an integer k 0 such that W = {ct k +e k } k=k 0 is a strictly increasing ˆB r -sequence for every positive integer r. To every partition n = k 1 + +k r into exactly r distinct parts k 1 > k 2 > > k r, we associate the real number b k1+k 0 +b k2+k 0 + +b kr+k 0 W r (n+rk 0 ). Since W is a ˆB r -sequence, it follows that different partitions are associated to different real numbers, so, by the partition asymptotic (3), This completes the proof. card(w r (n+rk 0 )) ˆq r (n) n r 1 Φ(r) = liminf n logcard(w r (n)) logn r A condition for superpolynomial growth Theorem 4. Let S be a semigroup generated by a set A = {e,g}, where e is an idempotent. Let S 0 = ese = {exe : x S}. Suppose that, for all nonnegative integers k 1 k 2, eg k1 eg k2 e = eg k2 eg k1 e. Let ϕ be a semigroup homomorphism from S 0 into a semigroup (X, ) such that the sequence W = {ϕ(eg k e)} k=1 has many partition products in X. Then the semigroup S has superpolynomial growth. Proof. Let w k = ϕ(eg k e) for k = 1,2,... Then w k1 w k2 = ϕ(eg k1 e) ϕ(eg k2 e) = ϕ(eg k1 eg k2 e) = ϕ(eg k2 eg k1 e) = ϕ(eg k2 e) ϕ(eg k1 e) = w k2 w k1

10 10 MELVYN B. NATHANSON for all k 1,k 2 N 0. If y = eg k1 eg k2 e eg kr e S 0, then ϕ(y) = ϕ ( eg k1 e ) ϕ ( eg k2 e ) ϕ ( eg kr e ) = w k1 w k2 w kr. Let γ A (n) denote the growth function of S with respect to A, let γ 0 (n) denote the growth function of S 0 with respect to A. Fix a positive integer r. If w W r (n r 1), then there are positive integers k 1,k 2,...,k r such that Let Then w k1 w k2 w kr = w k 1 + +k r n r 1. y = eg k1 eg k2 e eg k h e S 0. ϕ(y) = w k1 w k2 w kr = w l A (y) k 1 +k 2 + +k r +r +1 n. Thus, to every element w W r (n r 1) there is at least one element y S 0 with ϕ(y) = w l A (y) n, so It follows that lim inf n logn liminf n γ 0 (n) card(w r (n r 1)). logγ 0 (n) logn liminf n logcard(w r (n r 1)) logn = Φ(r). Since this inequality is true for all positive integers r Φ(r) tends to infinity, it follows that γ A (n) lim n logn = so the growth function γ A (n) is superpolynomial. 6. The semigroups S (d) Theorem 5. Let d be a positive integer let S (d) be the subsemigroup of M 2 (Z) generated by the matrices ( ) 1 d g = 0 1 ( ) 1 0 e =. 1 0 The semigroup S (d) has intermediate growth. Proof. Multiplying matrices, we obtain eg k e = (dk +1)e eg k1 eg k2 e = (dk 1 +1)(dk 2 +1) = eg k2 eg k1 e for all nonnegative integers k 1,k 2. It follows that S (d) satisfies condition (i) of Theorem 1, S (d) 0 = es (d) e = {(dk +1)e : k = 0,1,2,...} = {ue : u U d }

11 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 11 where U d is the multiplicative semigroup of positive integers that are congruent to 1 modulo d. For all u U d all nonnegative integers i j, ( )( )( ) ( ) 1 di dj di+1 dj +d g i ueg j = u = u 2 ij dj Let u 1,u 2 U d i 1,i 2,j 1,j 2 N 0. Then g i1 u 1 eg j1 = g i2 u 2 eg j2 if only if u 1 = u 2 (i 1,j 1 ) = (i 2,j 2 ). Thus, the semigroup S (d) also satisfies condition (ii) of Theorem 1, so has subexponential growth. The function ϕ : S (d) 0 U d defined by ϕ(ue) = u is a semigroup homomorphism. Let w k = ϕ(eg k e) = ϕ((dk + 1)e) = dk + 1 W = {dk +1} k=1. By Theorem 2, the sequence W has many partition products. By Theorem 4, the semigroup S (d) has superpolynomial growth. This completes the proof. Problem 1. If d divides d, then S (d) is a subsemigroup of S (d ). In particular, for every positive integer d, the semigroup S (d) is a finitely generated subsemigroup of the Okniǹski semigroup S (1). Let S be finitely generated subsemigroup of a finitely generated semigroup S. How are the growth rates of S S related? 7. Subsemigroups of M 3 (R) For k 0 m 1, let F k (x 1,...,x m ) be the symmetric function of degree k in m variables defined by F k (x 1,...,x m ) = x i1 1 xim m. (i 1,...,i m) N m 0 i 1+i 2+ +i m=k Define F k (x 1,...,x m ) = 0 for k < 0. If k 1 m 2, then In particular, F k (x 1,...,x m ) = x 1 F k 1 (x 1,x 2,...,x m )+F k (x 2,...,x m ). (7) F k (x 1,x 2 ) = x 1 F k 1 (x 1,x 2 )+x k 2 (8) F k (x 1,x 2,x 3 ) = x 1 F k 1 (x 1,x 2,x 3 )+F k (x 2,x 3 ). Lemma 6. Consider the upper triangular matrices s v w g = 0 t u 0 0 r e =

12 12 MELVYN B. NATHANSON with coefficients in a ring. For all k 0, define Then u k = uf k 1 (r,t) v k = vf k 1 (s,t) w k = wf k 1 (r,s)+uvf k 2 (r,s,t). (9) e 2 = e s k v k w k (10) g k = 0 t k u k 0 0 r k (11) eg k e = sk 0 w k r k (12) eg k1 eg k2 e = For k 1,k 2 N 0, 0 s k1 w k2 +r k2 w k r k1+k2 sk1+k2 (13) eg k1 eg k2 e = eg k2 eg k1 e if only if (14) s k1 w k2 +r k2 w k1 = s k2 w k1 +r k1 w k2. If r = s = 1, then (13) holds for all k 1,k 2 N 0. Proof. Identity (10) holds for k = 0 k = 1. If the formula is true for some k 1, then (7) (8) imply that g k+1 = sk v k w k 0 t k u k s v w 0 t u 0 0 r k 0 0 r s k+1 s k v +v k t s k w+v k u+w k r = 0 t k+1 t k u+u k r 0 0 r k+1 = sk+1 v k+1 w k+1 0 t k+1 u k r k+1 identity (10) follows by induction on k. Identities(11) (12) follow by matrix multiplication, (13) (14) follow from inspection of (12). This completes the proof. Theorem 6. Let t,u,v,w be real numbers with t > 2. Let T be the subsemigroup of M 3 (R) generated by the matrices e =

13 FAMILIES OF LINEAR SEMIGROUPS WITH INTERMEDIATE GROWTH 13 g = 1 v w 0 t u The semigroup T has intermediate growth. Proof. For every k N, let t k = 1+t+t 2 + +t k 1 = tk 1 t 1 ( w k = uvtk (t 1) 2 + w uv ) k uv t 1 (t 1) 2. By Lemma 6, we have e 2 = e, 1 vt k w k g k = 0 t k ut k eg k e = 1 0 w k eg k1 eg k2 e = eg k2 eg k1 e for k 1,k 2 N 0. Let T 0 = et e. Then T 0 consists of all matrices of the form eg k1 eg k2 e eg kr e = 1 0 w k 1 +w k2 + +w kr where k 1,...,k r is a finite sequence of nonnegative integers. For i,j N 0, the set g i T 0 g j consists of all matrices of the form (15) g i eg k1 eg k2 e eg kr eg j = 1 vt j w i +w j +w k1 +w k2 + +w kr 0 0 ut i Since {t i } i=0 is a strictly increasing sequence of real numbers, formula (15) implies that for all i 1,i 2,j 1,j 2 N 0, g i1 T 0 g j1 g i2 T 0 g j2 if only if (i 1,j 1 ) = (i 2,j 2 ). Thus, the semigroup T satisfies conditions (i) (ii) of Theorem 1 so has subexponential growth. Define the function ϕ : T 0 R by ϕ(eg k e) = w k = ct k +e k where c = uv/(t 1) 2 e k = (w uv/(t 1))k c = O(k). Then ϕ is a homomorphism from T 0 into the additive group of real numbers. By Theorem 3, there is an integer k 0 such that the sequence W = {w k } k=k 0 has many partial products. By Theorem 4, the semigroup T has superpolynomial growth. This completes the proof.

14 14 MELVYN B. NATHANSON Acknowledgements. I wish to thank David Newman, Kevin O Bryant, Lev Shneerson for helpful discussions about this work. References [1] V. V. Beljaev, N. F. Sesekin, V. I. Trofimov, Growth functions of semigroups loops, Ural. Gos. Univ. Mat. Zap. 10 (1977), no. 3 Issled. po Sovremen. Algebre, 3 8, 215. MR MR (58 #933) [2] R. I. Grigorchuk, Semigroups with cancellations of degree growth, Mat. Zametki 43 (1988), no. 3, , 428. MR MR (89f:20065) [3] A. G. Khovanskiĭ, The Newton polytope, the Hilbert polynomial sums of finite sets, Funktsional. Anal. i Prilozhen. 26 (1992), no. 4, 57 63, 96. MR MR (94e:14068) [4], Sums of finite sets, orbits of commutative semigroups Hilbert functions, Funktsional. Anal. i Prilozhen. 29 (1995), no. 2, 36 50, 95. MR MR (96e:20091) [5] A. A. Lavrik-Männlin, On some semigroups of intermediate growth, Internat. J. Algebra Comput. 11 (2001), no. 5, MR MR (2003f:20094) [6] M. B. Nathanson, Number theory semigroups of intermediate growth, Amer. Math. Monthly 106 (1999), no. 7, MR MR [7], Elementary methods in number theory, Graduate Texts in Mathematics, vol. 195, Springer-Verlag, New York, MR MR (2001j:11001) [8], Growth of sumsets in abelian semigroups, Semigroup Forum 61 (2000), no. 1, MR MR (2002c:11129) [9], Partitions with parts in a finite set, Proc. Amer. Math. Soc. 128 (2000), no. 5, MR MR (2000j:11152) [10] M. B. Nathanson I. Z. Ruzsa, Polynomial growth of sumsets in abelian semigroups, J. Théor. Nombres Bordeaux 14 (2002), no. 2, MR MR (2004k:11024) [11] J. Okniński, Semigroups of matrices, Series in Algebra, vol. 6, World Scientific Publishing Co. Inc., River Edge, NJ, MR MR (2001g:20076) [12] L. M. Shneerson, Relatively free semigroups of intermediate growth, J. Algebra 235 (2001), no. 2, MR MR (2002a:20068) [13], On semigroups of intermediate growth, Comm. Algebra 32 (2004), no. 5, MR MR (2005h:20131) [14], Types of growth identities of semigroups, Internat. J. Algebra Comput. 15 (2005), no. 5-6, MR MR (2006j:20086) Lehman College (CUNY),Bronx, New York address: melvyn.nathanson@lehman.cuny.edu

ON A PARTITION PROBLEM OF CANFIELD AND WILF. Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia

ON A PARTITION PROBLEM OF CANFIELD AND WILF. Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia #A11 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A PARTITION PROBLEM OF CANFIELD AND WILF Željka Ljujić Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia z.ljujic20@uniandes.edu.co

More information

arxiv:math/ v1 [math.nt] 6 May 2003

arxiv:math/ v1 [math.nt] 6 May 2003 arxiv:math/0305087v1 [math.nt] 6 May 003 The inverse problem for representation functions of additive bases Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email:

More information

arxiv:math/ v2 [math.nt] 3 Dec 2003

arxiv:math/ v2 [math.nt] 3 Dec 2003 arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,

More information

arxiv:math/ v3 [math.nt] 16 Sep 2007

arxiv:math/ v3 [math.nt] 16 Sep 2007 INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A01 AFFINE INVARIANTS, RELATIVELY PRIME SETS, AND A PHI FUNCTION FOR SUBSETS OF {1,2,,N} arxiv:math/0608150v3 [mathnt] 16 Sep 2007

More information

SETS WITH MORE SUMS THAN DIFFERENCES. Melvyn B. Nathanson 1 Lehman College (CUNY), Bronx, New York

SETS WITH MORE SUMS THAN DIFFERENCES. Melvyn B. Nathanson 1 Lehman College (CUNY), Bronx, New York INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A05 SETS WITH MORE SUMS THAN DIFFERENCES Melvyn B. Nathanson 1 Lehman College (CUNY), Bronx, New York 10468 melvyn.nathanson@lehman.cuny.edu

More information

MELVYN B. NATHANSON. To Ron Graham on his 70th birthday

MELVYN B. NATHANSON. To Ron Graham on his 70th birthday LINEAR QUANTUM ADDITION RULES arxiv:math/0603623v1 [math.nt] 27 Mar 2006 MELVYN B. NATHANSON To Ron Graham on his 70th birthday Abstract. The quantum integer [n] q is the polynomial 1+q+q 2 + +q n 1. Two

More information

LINEAR QUANTUM ADDITION RULES. Melvyn B. Nathanson 1 Department of Mathematics, Lehman College (CUNY), Bronx, New York 10468, USA

LINEAR QUANTUM ADDITION RULES. Melvyn B. Nathanson 1 Department of Mathematics, Lehman College (CUNY), Bronx, New York 10468, USA INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7(2) (2007), #A27 LINEAR QUANTUM ADDITION RULES Melvyn B. Nathanson 1 Department of Mathematics, Lehman College (CUNY), Bronx, New York 10468,

More information

A NEW UPPER BOUND FOR FINITE ADDITIVE BASES

A NEW UPPER BOUND FOR FINITE ADDITIVE BASES A NEW UPPER BOUND FOR FINITE ADDITIVE BASES C SİNAN GÜNTÜRK AND MELVYN B NATHANSON Abstract Let n, k denote the largest integer n for which there exists a set A of k nonnegative integers such that the

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Problems in additive number theory, V: Affinely inequivalent MSTD sets

Problems in additive number theory, V: Affinely inequivalent MSTD sets W N North-Western European Journal of Mathematics E M J Problems in additive number theory, V: Affinely inequivalent MSTD sets Melvyn B Nathanson 1 Received: November 9, 2016/Accepted: June 26, 2017/Online:

More information

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A52 GENERALIZATIONS OF SOME ZERO-SUM THEOREMS Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad

More information

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results

More information

On zero-sum partitions and anti-magic trees

On zero-sum partitions and anti-magic trees Discrete Mathematics 09 (009) 010 014 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/disc On zero-sum partitions and anti-magic trees Gil Kaplan,

More information

arxiv: v1 [math.gm] 12 Feb 2018

arxiv: v1 [math.gm] 12 Feb 2018 1. COMPLETE SETS arxiv:1802.05124v1 [math.gm] 12 Feb 2018 THEOPHILUS AGAMA Abstract. In this paper we introduce the concept of completeness of sets. We study this property on the set of integers. We examine

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector MI Bueno, Department of Mathematics and The College of Creative Studies University of California,

More information

Primitive Ideals of Semigroup Graded Rings

Primitive Ideals of Semigroup Graded Rings Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu

More information

Some constructions of integral graphs

Some constructions of integral graphs Some constructions of integral graphs A. Mohammadian B. Tayfeh-Rezaie School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran ali m@ipm.ir tayfeh-r@ipm.ir

More information

On Systems of Diagonal Forms II

On Systems of Diagonal Forms II On Systems of Diagonal Forms II Michael P Knapp 1 Introduction In a recent paper [8], we considered the system F of homogeneous additive forms F 1 (x) = a 11 x k 1 1 + + a 1s x k 1 s F R (x) = a R1 x k

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.

BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix

More information

Some zero-sum constants with weights

Some zero-sum constants with weights Proc. Indian Acad. Sci. (Math. Sci.) Vol. 118, No. 2, May 2008, pp. 183 188. Printed in India Some zero-sum constants with weights S D ADHIKARI 1, R BALASUBRAMANIAN 2, F PAPPALARDI 3 andprath 2 1 Harish-Chandra

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition

More information

A class of trees and its Wiener index.

A class of trees and its Wiener index. A class of trees and its Wiener index. Stephan G. Wagner Department of Mathematics Graz University of Technology Steyrergasse 3, A-81 Graz, Austria wagner@finanz.math.tu-graz.ac.at Abstract In this paper,

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

EXPLICIT CONSTRUCTIONS OF LARGE FAMILIES OF GENERALIZED MORE SUMS THAN DIFFERENCES SETS

EXPLICIT CONSTRUCTIONS OF LARGE FAMILIES OF GENERALIZED MORE SUMS THAN DIFFERENCES SETS EXPLICIT CONSTRUCTIONS OF LARGE FAMILIES OF GENERALIZED MORE SUMS THAN DIFFERENCES SETS STEVEN J. MILLER, LUC ROBINSON AND SEAN PEGADO ABSTRACT. A More Sums Than Differences (MSTD) set is a set of integers

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

Banach Journal of Mathematical Analysis ISSN: (electronic)

Banach Journal of Mathematical Analysis ISSN: (electronic) Banach J. Math. Anal. 6 (2012), no. 1, 139 146 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) www.emis.de/journals/bjma/ AN EXTENSION OF KY FAN S DOMINANCE THEOREM RAHIM ALIZADEH

More information

arxiv: v3 [math.ac] 29 Aug 2018

arxiv: v3 [math.ac] 29 Aug 2018 ON THE LOCAL K-ELASTICITIES OF PUISEUX MONOIDS MARLY GOTTI arxiv:1712.00837v3 [math.ac] 29 Aug 2018 Abstract. If M is an atomic monoid and x is a nonzero non-unit element of M, then the set of lengths

More information

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements

More information

Proofs of the infinitude of primes

Proofs of the infinitude of primes Proofs of the infinitude of primes Tomohiro Yamada Abstract In this document, I would like to give several proofs that there exist infinitely many primes. 0 Introduction It is well known that the number

More information

Random Bernstein-Markov factors

Random Bernstein-Markov factors Random Bernstein-Markov factors Igor Pritsker and Koushik Ramachandran October 20, 208 Abstract For a polynomial P n of degree n, Bernstein s inequality states that P n n P n for all L p norms on the unit

More information

arxiv: v1 [math.ac] 7 Feb 2009

arxiv: v1 [math.ac] 7 Feb 2009 MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition

More information

Additive Latin Transversals

Additive Latin Transversals Additive Latin Transversals Noga Alon Abstract We prove that for every odd prime p, every k p and every two subsets A = {a 1,..., a k } and B = {b 1,..., b k } of cardinality k each of Z p, there is a

More information

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

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

Intermediate semigroups are groups

Intermediate semigroups are groups Semigroup Forum Version of September 12, 2017 Springer-Verlag New York Inc. Intermediate semigroups are groups Alexandre A. Panin arxiv:math/9903088v3 [math.gr] 4 Dec 1999 Communicated by Mohan Putcha

More information

2 ERDOS AND NATHANSON k > 2. Then there is a partition of the set of positive kth powers In k I n > } = A, u A Z such that Waring's problem holds inde

2 ERDOS AND NATHANSON k > 2. Then there is a partition of the set of positive kth powers In k I n > } = A, u A Z such that Waring's problem holds inde JOURNAL OF NUMBER THEORY 2, - ( 88) Partitions of Bases into Disjoint Unions of Bases* PAUL ERDÓS Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary AND MELVYN B. NATHANSON

More information

Sums of the Thue Morse sequence over arithmetic progressions

Sums of the Thue Morse sequence over arithmetic progressions Sums of the Thue Morse sequence over arithmetic progressions T.W. Cusick 1, P. Stănică 2 1 State University of New York, Department of Mathematics Buffalo, NY 14260; Email: cusick@buffalo.edu 2 Naval Postgraduate

More information

Solution Set for Homework #1

Solution Set for Homework #1 CS 683 Spring 07 Learning, Games, and Electronic Markets Solution Set for Homework #1 1. Suppose x and y are real numbers and x > y. Prove that e x > ex e y x y > e y. Solution: Let f(s = e s. By the mean

More information

ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99

ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99 ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements

More information

HILBERT BASIS OF THE LIPMAN SEMIGROUP

HILBERT BASIS OF THE LIPMAN SEMIGROUP Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL

More information

arxiv:math/ v3 [math.co] 15 Oct 2006

arxiv:math/ v3 [math.co] 15 Oct 2006 arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds

More information

Upper Bounds for Partitions into k-th Powers Elementary Methods

Upper Bounds for Partitions into k-th Powers Elementary Methods Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 9, 433-438 Upper Bounds for Partitions into -th Powers Elementary Methods Rafael Jaimczu División Matemática, Universidad Nacional de Luján Buenos Aires,

More information

ON A FAMILY OF ELLIPTIC CURVES

ON A FAMILY OF ELLIPTIC CURVES UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic

More information

Solving a linear equation in a set of integers II

Solving a linear equation in a set of integers II ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.

More information

On families of anticommuting matrices

On families of anticommuting matrices On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Things to remember: x n a 1. x + a 0. x n + a n-1. P(x) = a n. Therefore, lim g(x) = 1. EXERCISE 3-2

Things to remember: x n a 1. x + a 0. x n + a n-1. P(x) = a n. Therefore, lim g(x) = 1. EXERCISE 3-2 lim f() = lim (0.8-0.08) = 0, " "!10!10 lim f() = lim 0 = 0.!10!10 Therefore, lim f() = 0.!10 lim g() = lim (0.8 - "!10!10 0.042-3) = 1, " lim g() = lim 1 = 1.!10!0 Therefore, lim g() = 1.!10 EXERCISE

More information

ACI-matrices all of whose completions have the same rank

ACI-matrices all of whose completions have the same rank ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

SINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS CONVOLUTION SQUARES ON LOCALLY COMPACT GROUPS

SINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS CONVOLUTION SQUARES ON LOCALLY COMPACT GROUPS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 10, Pages 2865 2869 S 0002-9939(99)04827-3 Article electronically published on April 23, 1999 SINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

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

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n. Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone

More information

PACKING POLYNOMIALS ON SECTORS OF R 2. Caitlin Stanton Department of Mathematics, Stanford University, California

PACKING POLYNOMIALS ON SECTORS OF R 2. Caitlin Stanton Department of Mathematics, Stanford University, California #A67 INTEGERS 14 (014) PACKING POLYNOMIALS ON SECTORS OF R Caitlin Stanton Department of Mathematics, Stanford University, California ckstanton@stanford.edu Received: 10/7/13, Revised: 6/5/14, Accepted:

More information

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups

More information

Bounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers

Bounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers 3 47 6 3 Journal of Integer Seuences, Vol. (7), rticle 7..3 ounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers Roger Woodford Department of Mathematics University

More information

HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS

HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu 210093, The People s Republic of China guoxj@nju.edu.cn The

More information

The Membership Problem for a, b : bab 2 = ab

The Membership Problem for a, b : bab 2 = ab Semigroup Forum OF1 OF8 c 2000 Springer-Verlag New York Inc. DOI: 10.1007/s002330010009 RESEARCH ARTICLE The Membership Problem for a, b : bab 2 = ab D. A. Jackson Communicated by Gerard J. Lallement Throughout,

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on

More information

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that

More information

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some

More information

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x. Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized

More information

GROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define

GROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a

More information

ON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS

ON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul...,..., f... DOI: 10.2478/aicu-2013-0013 ON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS BY MARIUS TĂRNĂUCEANU and

More information

arxiv:math/ v1 [math.gr] 8 May 2006

arxiv:math/ v1 [math.gr] 8 May 2006 AUTOMORPHISMS OF FINITE ABELIAN GROUPS arxiv:math/0605185v1 [math.gr] 8 May 2006 CHRISTOPHER J. HILLAR AND DARREN L. RHEA 1. Introduction In introductory abstract algebra classes, one typically encounters

More information

arxiv: v2 [math.nt] 2 Aug 2017

arxiv: v2 [math.nt] 2 Aug 2017 TRAPEZOIDAL NUMBERS, DIVISOR FUNCTIONS, AND A PARTITION THEOREM OF SYLVESTER arxiv:1601.07058v [math.nt] Aug 017 MELVYN B. NATHANSON To Krishnaswami Alladi on his 60th birthday Abstract. A partition of

More information

r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board

r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board An element of a ring R is called clean if it is the sum of an idempotent and a unit A ring R is called clean if

More information

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA

CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential

More information

Subset sums modulo a prime

Subset sums modulo a prime ACTA ARITHMETICA 131.4 (2008) Subset sums modulo a prime by Hoi H. Nguyen, Endre Szemerédi and Van H. Vu (Piscataway, NJ) 1. Introduction. Let G be an additive group and A be a subset of G. We denote by

More information

QUOTIENTS OF FIBONACCI NUMBERS

QUOTIENTS OF FIBONACCI NUMBERS QUOTIENTS OF FIBONACCI NUMBERS STEPHAN RAMON GARCIA AND FLORIAN LUCA Abstract. There have been many articles in the Monthly on quotient sets over the years. We take a first step here into the p-adic setting,

More information

A CLASS OF SCHUR MULTIPLIERS ON SOME QUASI-BANACH SPACES OF INFINITE MATRICES

A CLASS OF SCHUR MULTIPLIERS ON SOME QUASI-BANACH SPACES OF INFINITE MATRICES A CLASS OF SCHUR MULTIPLIERS ON SOME QUASI-BANACH SPACES OF INFINITE MATRICES NICOLAE POPA Abstract In this paper we characterize the Schur multipliers of scalar type (see definition below) acting on scattered

More information

Examples of self-iterating Lie algebras

Examples of self-iterating Lie algebras Journal of Algebra 302 2006) 881 886 www.elsevier.com/locate/jalgebra Examples of self-iterating Lie algebras V.M. Petrogradsky Faculty of Mathematics, Ulyanovsk State University, Lev Tolstoy 42, Ulyanovsk,

More information

J. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE

J. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE J. Combin. Theory Ser. A 116(2009), no. 8, 1374 1381. A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE Hao Pan and Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Marianne Johnson (University of Manchester) Joint work with Laure Daviaud and Mark Kambites AAA94 + NSAC 2017, 17th June

More information

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for

More information

Quantum integers and cyclotomy

Quantum integers and cyclotomy Journal of Number Theory 109 (2004) 120 135 www.elsevier.com/locate/jnt Quantum integers and cyclotomy Alexander Borisov a, Melvyn B. Nathanson b,, Yang Wang c a Department of Mathematics, Pennsylvania

More information

Unique Difference Bases of Z

Unique Difference Bases of Z 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 14 (011), Article 11.1.8 Unique Difference Bases of Z Chi-Wu Tang, Min Tang, 1 and Lei Wu Department of Mathematics Anhui Normal University Wuhu 41000 P.

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Eigenvalues of Random Matrices over Finite Fields

Eigenvalues of Random Matrices over Finite Fields Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract

More information

CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES

CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices

More information

Homework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December

Homework for MATH 4603 (Advanced Calculus I) Fall Homework 13: Due on Tuesday 15 December. Homework 12: Due on Tuesday 8 December Homework for MATH 4603 (Advanced Calculus I) Fall 2015 Homework 13: Due on Tuesday 15 December 49. Let D R, f : D R and S D. Let a S (acc S). Assume that f is differentiable at a. Let g := f S. Show that

More information

FINITE REGULARITY AND KOSZUL ALGEBRAS

FINITE REGULARITY AND KOSZUL ALGEBRAS FINITE REGULARITY AND KOSZUL ALGEBRAS LUCHEZAR L. AVRAMOV AND IRENA PEEVA ABSTRACT: We determine the positively graded commutative algebras over which the residue field modulo the homogeneous maximal ideal

More information

Yunhi Cho and Young-One Kim

Yunhi Cho and Young-One Kim Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong

More information

Analytic Number Theory Solutions

Analytic Number Theory Solutions Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.

More information

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

More information

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/

More information

SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)

SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 47 2017), 161-168 SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ωq) AND νq) S.N. Fathima and Utpal Pore Received October 1, 2017) Abstract.

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

MACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES

MACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES MACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES RI-XIANG CHEN DEPARTMENT OF MATHEMATICS, CORNELL UNIVERSITY, ITHACA, NY 14853 1. Introduction Throughout this paper S stands for the polynomial ring

More information

Approximation by polynomials with bounded coefficients

Approximation by polynomials with bounded coefficients Journal of Number Theory 27 (2007) 03 7 www.elsevier.com/locate/jnt Approximation by polynomials with bounded coefficients Toufik Zaimi Département de mathématiques, Centre universitaire Larbi Ben M hidi,

More information

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups

More information

FINITE ABELIAN GROUPS Amin Witno

FINITE ABELIAN GROUPS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 7 FINITE ABELIAN GROUPS Amin Witno Abstract We detail the proof of the fundamental theorem of finite abelian groups, which states that every

More information

A proof of Freiman s Theorem, continued. An analogue of Freiman s Theorem in a bounded torsion group

A proof of Freiman s Theorem, continued. An analogue of Freiman s Theorem in a bounded torsion group A proof of Freiman s Theorem, continued Brad Hannigan-Daley University of Waterloo Freiman s Theorem Recall that a d-dimensional generalized arithmetic progression (GAP) in an abelian group G is a subset

More information

THE STRUCTURE OF A RING OF FORMAL SERIES AMS Subject Classification : 13J05, 13J10.

THE STRUCTURE OF A RING OF FORMAL SERIES AMS Subject Classification : 13J05, 13J10. THE STRUCTURE OF A RING OF FORMAL SERIES GHIOCEL GROZA 1, AZEEM HAIDER 2 AND S. M. ALI KHAN 3 If K is a field, by means of a sequence S of elements of K is defined a K-algebra K S [[X]] of formal series

More information