arxiv:math/ v1 [math.gr] 24 Oct 2006
|
|
- Alaina Nichols
- 5 years ago
- Views:
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
#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 informationarxiv: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 informationarxiv: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 informationarxiv: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 informationSETS 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 informationMELVYN 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 informationLINEAR 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 informationA 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 informationCourse 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 informationProblems 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 informationGENERALIZATIONS 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 informationCOUNTING 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 informationOn 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 informationarxiv: 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 informationNotes 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 informationGroups 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 informationMaximum 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 informationPrimitive 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 informationSome 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 informationOn 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 informationChapter 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 informationBRUNO 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 informationSome 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 informationCONGRUENCES 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 informationA 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 informationMath 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 informationEXPLICIT 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 informationChapter 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 informationBanach 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 informationarxiv: 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 informationA 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 informationProofs 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 informationRandom 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 informationarxiv: 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 informationCONGRUENCES 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 informationAdditive 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 informationPUTNAM 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 informationIntermediate 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 information2 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 informationSums 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 informationSolution 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 informationANSWER 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 informationHILBERT 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 informationarxiv: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 informationUpper 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 informationON 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 informationSolving 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 informationOn 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 informationMath 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 informationThings 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 informationACI-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 informationNOTES 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 informationSINGULAR 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 informationP -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 informationFORMAL 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 informationA 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 informationPACKING 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 informationCourse 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 informationBounds 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 informationHIGHER 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 informationThe 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 informationDepartment 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 informationLecture 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 informationON 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 informationTHE 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 informationColloq. 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 informationGROWTH 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 informationON 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 informationarxiv: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 informationarxiv: 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 informationr-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 informationCHARACTERIZING 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 informationSubset 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 informationQUOTIENTS 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 informationA 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 informationExamples 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 informationJ. 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 informationHow 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 informationIdentities 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 informationCriteria 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 informationQuantum 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 informationUnique 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 information0 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 informationLogical 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 informationEigenvalues 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 informationCHARACTERISTIC 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 informationHomework 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 informationFINITE 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 informationYunhi 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 informationAnalytic 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 informationMINIMAL 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 informationZhi-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 informationSOME 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 informationMathematics 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 informationMACAULAY 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 informationApproximation 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 informationCourse 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 informationFINITE 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 informationA 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 informationTHE 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