AN ADDITIVE PROBLEM IN FINITE FIELDS WITH POWERS OF ELEMENTS OF LARGE MULTIPLICATIVE ORDER
|
|
- Gloria Hubbard
- 5 years ago
- Views:
Transcription
1 AN ADDITIVE PROBLEM IN FINITE FIELDS WITH POWERS OF ELEMENTS OF LARGE MULTIPLICATIVE ORDER JAVIER CILLERUELO AND ANA ZUMALACÁRREGUI Abstract. For a given finite field F q, we study sufficient conditions to guarantee that the set {θ1 x + θ y : 1 x M 1, 1 y M } represents all the nonzero elements of F q. We investigate the same problem for θ1 x θ y and as a consequence we prove that any element in the finite field of q elements has a representation of the form θ x θ y, 1 x, y q 3/4 whenever θ has multiplicative order at least q 3/4. This improves the previous known bound for a question possed by A. Odlyzko. 1. Introduction Let p be a large prime and g a primitive root modulo p. Andrew Odlyzko asked for which values of M the set (1) g x g y (mod p) 1 x, y M, contains every residue class modulo p. He conjectured that one can take M to be as small as p 1/+ɛ, for any fixed ɛ > 0 and p large enough in terms of ɛ. Some results have been obtained in this direction. Rudnik and A. Zaharescu [5], using standard methods of characters sums, proved that one can take M cp 3/4 log p for some c > 0. This range was improved to M cp 3/4 by M. Z. Garaev and K.-L. Kueh [] and independently by S. V. Konyagin [4]. Later, V. C. García [3] showed that c = 5/4 is an admissible constant and the first author [1], using a combinatorial approach, improved the constant to + ε, but for p large enough in terms of ɛ > 0. In this note we exploit properties of Sidon sets, combined with the classic exponential sums techniques, to obtain new results on a generalization of the original problem of Odlyzko. We will no longer study differences of powers of primitive roots in prime fields, but differences of elements of large multiplicative order in arbitrary finite fields F q. We write ord q (θ) for the multiplicative order of θ in F q. Theorem 1. Let θ be an element of F q. If min(ord q (θ), M) q 3/4, then {θ x θ y : 1 x, y M} = F q. 000 Mathematics Subject Classification. 11N69 (11A07 11N5). Key words and phrases. Primitive roots, finite fields, Sidon sets, difference sets. The second author is supported by a FPU grant from Ministerio de Educación, Ciencia y Deporte, Spain. Both authors are supported by grants MTM of MICINN and ICMAT Severo Ochoa project SEV
2 J. CILLERUELO AND A. ZUMALACÁRREGUI Applying the previous result when θ is a primitive root we obtain the announced improvment on the problem of Odlyzko. Corollary 1. Let g be a primitive root of F q. If M q 3/4, then {g x g y : 1 x, y M} = F q. One can generalize Theorem 1, by considering the set of sums of powers of two elements in the field. Theorem. Let θ 1, θ be two elements of F q. If then min(ord q (θ 1 ), M 1 / ) min(ord q (θ ), M / ) q 3/, F q {θ x 1 + θ y : 1 x M 1, 1 y M }, F q {θ x 1 θ y : 1 x M 1, 1 y M }. Let us note that, if we consider the case θ 1 = θ and M 1 = M = M the hypothesis in Theorem, say min(ord q (θ), M) q 3/4, are more restrictive that those in Theorem 1. The loss on the constant / in the hypothesis relies on the fact that the set {θ x 1 θ y : 1 x M 1, 1 y M } is no longer symmetric if θ 1 θ or M 1 M. We observe also that 0 may not belong to these sets. If θ 1, θ has order (q 1)/ and q is prime, the elements θ x 1 + θ y are sum of two squares and 0 is not of this form if q 3 (mod 4).. Preliminaries Let G be an abelian group. We recall that a set A G is a Sidon set if all the non zero differences a a, a, a A are distinct. Given a set B, it is usual to denote by r B B (m) to the number of representations of m G in the form m = b b with b, b B. Thus, Sidon sets are those sets A with r A A (m) 1 for all m 0. There are many interesting examples of Sidon sets, but we are interested in those described in the following Lemma. Lemma 1. Let q be a power of a prime and λ a nonzero element of F q. For any given g 1, g, primitive roots of F q, the sets () (3) A (g 1, g, λ) = {(x, y) : g x 1 g y = λ} A + (g 1, g, λ) = {(x, y) : g x 1 + g y = λ} are Sidon sets in G = Z Z. This is a well known fact, see for example [1], but we include the proof for completeness.
3 AN ADDITIVE PROBLEM IN FINITE FIELDS 3 Proof. We will first show the Sidon condition for A (g 1, g, λ), and the same argument applies to A + (g 1, g, λ). For a fixed m = (m 1, m ) G, m 0, we will show that if there exist a = (x, y), a = (x, y ) A (g 1, g, λ) for which m = a a, then they are uniquely determined by m. Observe that m = a a is equivalent to x = x + m 1 and y = y + m modulo (q 1), which implies that g x 1 g x +m 1 1 (mod q) and g y g y +m (mod q). Combining this observation with the fact that both a and a are in A (g 1, g, λ), we have that (4) g y (g m 1 1 g m ) λ (1 g m 1 1 ). If m 1 0, then y is uniquely determined by equation (4) (and so x, x and y). If m 1 = 0, equation (4) implies that m = 0, which contradicts the assumption m 0. For a real nonzero number x, let us denote by e(x) the complex number e πix. The additive characters ψ in G = Z Z are all of the form ψ r,s (x, y) = e ( ) rx+sy, where 0 r, s q 1 and the character corresponding to r = s = 0 is the principal character. Proposition 1. For any Sidon set A described in Lemma 1 and for any non principal character ψ in G, we have ψ(a) q1/. Proof. We first consider the case () with g 1 = g : A = A (g 1, g 1, λ). Note that for any nontrivial character ψ in G = Z Z we have that (5) ψ(a) = ψ(a a ) = r A A (m)ψ(m) = (r A A (m) 1)ψ(m). a,a A m G m G Since A is a Sidon set, we have that r A A (m) 1 for all m 0 and r A A (0) = A. It follows from (5) that (6) ψ(a) = A 1 ψ(m). m/ A A Thus we need to study the set A A. Observe that the 3(q ) elements of the form (z, 0), (0, z) and (z, z), 1 z q do not belong to A A. Indeed, if (z, 0) = (x + z, y) (x, y) for some (x + z, y), (x, y) A we would have that g x+z g y = g x g y = λ, which is impossible unless z 0 (mod q 1). The same argument applies to the elements of the form (0, z) and (z, z).
4 4 J. CILLERUELO AND A. ZUMALACÁRREGUI Furthermore, since A A = ( A A + 1) = 3(q ), it follows that those are the only elements m A A. Therefore, for a given ψ = ψ r,s, we have m/ A A q ψ(m) = z=1 ( rz ) q e + q 1 z=1 ( sz ) q e + q 1 z=1 ( (r + s)z ) e 3, q 1 since every such sum is either 1 or q, depending on the values r and s. Combining this bound with the expression in (6), we obtain the desired result ψ(a) ( A + ) 1/ = q 1/. The case () for g 1 g can be reduced the previous one. Given (r, s) (0, 0) let t be the integer such that g t 1 = g. We observe that (x, y) A (g 1, g, λ) (x, ty) A (g 1, g 1, λ). Then, for any a = (x, y) A (g 1, g, λ) we have ψ r,s (x, y) = ψ r,st 1(x, ty). Thus max ψ r,s (a) = max ψ r,st 1(a) q 1/. (g 1,g,λ) (g 1,g 1,λ) The case (3) is easier. It is clear that (x, y) A + (g 1, g, λ) (x, y) + (0, (q 1)/) A (g 1, g, λ) and that ψ(a + (0, (q 1)/)) = ψ(a)ψ(0, (q 1/)). Thus max ψ(a) = + (g 1,g,λ) max ψ(a + (0, (q 1)/)) = (g 1,g 1,λ) max ψ(a) q 1/. (g 1,g 1,λ) As usual, for any set B we define B + B = {b + b : b, b B}. Proposition. Let A be any Sidon set described in Lemma 1 and let B any subset of Z Z. If (B + B) A = then B < q 3/ q + q 1/ + 1/. Proof. The number of pairs (b, b ) B B with b + b A is given by ψ b,b B ψ(b + b a) = B A + 1 ψ ψ 0,0 b,b B ψ(b + b a).
5 AN ADDITIVE PROBLEM IN FINITE FIELDS 5 Since (B + B) A = it follows from the previous equation and Proposition 1 that B A = 1 ψ( a) ψ(b + b ) ψ ψ 0,0 b,b B 1 ψ( a) ψ(b) b B This implies that B q1/ = q1/ ψ ψ 0,0 ψ ψ 0,0 ψ(b) b B ( B B ). q1/ A + q = (q 1) q 1/ 1/ q + q < 1/ q3/ q + q 1/ + 1/. The easiest way to check the last inequality is multiplying q + q 1/ times q 3/ q + q 1/ + 1/. 3. Proofs of the results We will prove the theorems by a direct application of Proposition to appropriate sets B Proof of Theorem. Let us assume that there exists a fixed nonzero element λ of F q with no solutions to (7) θ x 1 + θ y = λ in F q with 1 x M 1, 1 y M, where (8) min(ord q (θ 1 ), M 1 / ) min(ord q (θ ), M / ) q 3/. Let us denote by n 1 = (q 1)/ord q (θ 1 ) and let g 1 be a generator of F q satisfying θ 1 = g n 1 1. We define n and g analogously. Consider the Sidon set and the set A = A + (g 1, g, λ) B = {(n 1 x, n y) : 1 x M 1 /, 1 y M / }. It is clear that under the previous assumption above we have that (B + B) A =. Then we apply Proposition to this case taking into account that B = min(ord q (θ 1 ), M 1 / ) min(ord q (θ ), M / ) < q 3/ q + q 1/ + 1/ < q 3/ for q, which contradicts (8). The same argument holds for the set of differences by fixing A = A(g 1, g, λ).
6 6 J. CILLERUELO AND A. ZUMALACÁRREGUI 3.. Proof of Theorem 1. It is clear that the zero element has a representation of the desired form. Let us assume that min(ord q (θ), M) q 3/4 and that there exists a fixed nonzero element λ of F q with no solutions to (9) θ x θ y = λ in F q with 1 x, y M. Let us denote by n = (q 1)/ord q (θ) and let g be a generator of F q satisfying θ = g n. Consider the Sidon set A = A (g, g, λ) and the set B = B 1 B where We claim that B 1 = {(nx, ny) : 1 x, y M/, } B = B 1 + (, ). (10) (B + B) A =. Indeed, any element of B + B is of the form ( ) nx + δ, ny + δ, where δ {0, 1} and 1 x, y M. If one of these elements would belong to A, then nx+δ ny+δ g g = λ. Since g = 1, then either θ x θ y = λ or θ y θ x = λ occur in F q, according to the value of δ. Therefore equation (9) would have a solution. (11) Proposition and (10) imply an upper bound for B : We will get now the lower bound: B < q 3/ q + q 1/ + 1/. (1) B q 3/ q 3/4 + 1/. If M ord q (θ) = > q 3/4, then n { } (nx, ny) : 1 x, y n B1, {( ) } nx +, ny + : 1 x, y n B. Since both sets on the left side are disjoint, we have that q 1 ordq (θ) B n If M < ord q (θ) = n, the sets B 1 and B are disjoint and we have M B =
7 AN ADDITIVE PROBLEM IN FINITE FIELDS 7 In both cases we have that ( min(ordq (θ), M) q 3/4 B 1 ( = q ) 3/4 1/ ) as we wanted to show. Next we observe that if (11) and (1) hold then = q 3/ q 3/4 + 1/ q < q 3/4 + q 1/. This inequality does not hold for q 16 and it proves the theorem for q in this range. When q < 16, we observe that by assumption min(ord q (θ), M) q 3/4 > q/ (since q/ q 3/4 implies q 64). Suppose that λ D D where D = {θ x : 1 x M} and D = min(ord q (θ), M) > q/. Then D (D + λ) = and we have that which is a contradiction. q D (D + λ) = D = min(ord q (θ), M) > q, Acknowledgments. The authors would like to thank the anonymous referee for his suggestions, that improved the quality of the manuscript. References [1] J. Cilleruelo, Combinatorial problems in finite fields and Sidon sets, Combinatorica, 3 n o 5 (01). [] M. Z. Garaev and Ka-Lam Kueh, Distribution of special sequences modulo a large prime, Int. J. Math. Math. Sci., no.50 (003), [3] C. V. García, A note on an additive problem with powers of a primitive root., Bol. Soc. Mat. Mexicana (3) 11 n o 1 (005), 1 4. [4] S. V. Konyagin, Bounds of exponential sums over subgroups and Gauss sums, 4th Intern. Conf. Modern Problems of Number Theory and Its Applications, Moscow Lomonosov State Univ., Moscow, 00, [5] Z. Rudnik and A. Zaharescu, The distribution of spacings between small powers of a primitive root, Israel J. Math., 10 (000), J. Cilleruelo: Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM) and Departamento de Matemáticas, Universidad Autónoma de Madrid, 8049 Madrid, Spain address: franciscojavier.cilleruelo@uam.es A. Zumalacárregui: Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM) and Departamento de Matemáticas, Universidad Autónoma de Madrid, 8049 Madrid, Spain address: ana.zumalacarregui@uam.es
Congruences involving product of intervals and sets with small multiplicative doubling modulo a prime
Congruences involving product of intervals and sets with small multiplicative doubling modulo a prime J. Cilleruelo and M. Z. Garaev Abstract We obtain a sharp upper bound estimate of the form Hp o(1)
More informationOn the Fractional Parts of a n /n
On the Fractional Parts of a n /n Javier Cilleruelo Instituto de Ciencias Matemáticas CSIC-UAM-UC3M-UCM and Universidad Autónoma de Madrid 28049-Madrid, Spain franciscojavier.cilleruelo@uam.es Angel Kumchev
More informationarxiv: v2 [math.nt] 15 May 2013
INFINITE SIDON SEQUENCES JAVIER CILLERUELO arxiv:09036v [mathnt] 5 May 03 Abstract We present a method to construct dense infinite Sidon sequences based on the discrete logarithm We give an explicit construction
More informationarxiv: v2 [math.nt] 13 Dec 2013
THE LEAST COMMON MULTIPLE OF RANDOM SETS OF POSITIVE INTEGERS JAVIER CILLERUELO, JUANJO RUÉ, PAULIUS ŠARKA, AND ANA ZUMALACÁRREGUI arxiv:1112.3013v2 [math.nt] 13 Dec 2013 Abstract. We study the typical
More informationON POLYNOMIAL REPRESENTATION FUNCTIONS FOR MULTILINEAR FORMS. 1. Introduction
ON POLYNOMIAL REPRESENTATION FUNCTIONS FOR MULTILINEAR FORMS JUANJO RUÉ In Memoriam of Yahya Ould Hamidoune. Abstract. Given an infinite sequence of positive integers A, we prove that for every nonnegative
More informationA LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction
A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES Y. O. HAMIDOUNE AND J. RUÉ Abstract. Let A be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained
More informationCHARACTER-FREE APPROACH TO PROGRESSION-FREE SETS
CHARACTR-FR APPROACH TO PROGRSSION-FR STS VSVOLOD F. LV Abstract. We present an elementary combinatorial argument showing that the density of a progression-free set in a finite r-dimensional vector space
More informationRECOGNITION OF BEING FIBRED FOR COMPACT 3-MANIFOLDS
RECOGNITION OF BEING FIBRED FOR COMPACT 3-MANIFOLDS ANDREI JAIKIN-ZAPIRAIN Abstract Let M be a compact orientable 3-manifold We show that if the profinite completion of π 1 (M) is isomorphic to the profinite
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 informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
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 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 informationarxiv: v1 [math.nt] 15 Aug 2017
Sidon sets and statistics of the ElGamal function arxiv:1708.04395v1 [math.nt] 15 Aug 2017 Lucas Boppré Niehues, Joachim von zur Gathen, Lucas Pandolfo Perin, Ana Zumalacárregui October 14, 2018 Abstract
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 informationNEW UPPER BOUNDS FOR FINITE B h. Javier Cilleruelo
NEW UPPER BOUNDS FOR FINITE B h SEQUENCES Javier Cilleruelo Abstract. Let F h N) be the maximum number of elements that can be selected from the set {,..., N} such that all the sums a + + a h, a a h are
More informationWeighted Sequences in Finite Cyclic Groups
Weighted Sequences in Finite Cyclic Groups David J. Grynkiewicz and Jujuan Zhuang December 11, 008 Abstract Let p > 7 be a prime, let G = Z/pZ, and let S 1 = p gi and S = p hi be two sequences with terms
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationFINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures)
FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures) Ana Zumalacárregui a.zumalacarregui@unsw.edu.au November 30, 2015 Contents 1 Operations on sets 1 2 Sum-product theorem
More informationarxiv: v1 [math.na] 9 Feb 2013
STRENGTHENED CAUCHY-SCHWARZ AND HÖLDER INEQUALITIES arxiv:1302.2254v1 [math.na] 9 Feb 2013 J. M. ALDAZ Abstract. We present some identities related to the Cauchy-Schwarz inequality in complex inner product
More informationOn divisibility in definable groups
On divisibility in definable groups Margarita Otero Departamento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid, Spain margarita.otero@uam.es December 10, 2008 Abstract Let M be an o minimal
More informationOn symmetric square values of quadratic polynomials
ACTA ARITHMETICA 149.2 (2011) On symmetric square values of quadratic polynomials by Enrique González-Jiménez (Madrid) and Xavier Xarles (Barcelona) 1. Introduction. In this note we are dealing with the
More informationOn the solvability of groups with four class sizes.
On the solvability of groups with four class sizes. Antonio Beltrán Departamento de Matemáticas, Universidad Jaume I, 12071 Castellón, Spain e-mail: abeltran@mat.uji.es and María José Felipe Instituto
More informationHeights of characters and defect groups
[Page 1] Heights of characters and defect groups Alexander Moretó 1. Introduction An important result in ordinary character theory is the Ito-Michler theorem, which asserts that a prime p does not divide
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 informationA locally convex topology and an inner product 1
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 4 (2016, pp. 3327-3338 Research India Publications http://www.ripublication.com/gjpam.htm A locally convex topology and
More informationRECOGNITION OF BEING FIBERED FOR COMPACT 3-MANIFOLDS
RECOGNITION OF BEING FIBERED FOR COMPACT 3-MANIFOLDS ANDREI JAIKIN-ZAPIRAIN Abstract Let M be a compact orientable 3-manifold We show that if the profinite completion of π 1 (M) is isomorphic to the profinite
More informationOn the elliptic curve analogue of the sum-product problem
Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,
More informationxy xyy 1 = ey 1 = y 1 i.e.
Homework 2 solutions. Problem 4.4. Let g be an element of the group G. Keep g fixed and let x vary through G. Prove that the products gx are all distinct and fill out G. Do the same for the products xg.
More informationSUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P
SUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P TODD COCHRANE AND CHRISTOPHER PINNER Abstract. Let γ(k, p) denote Waring s number (mod p) and δ(k, p) denote the ± Waring s number (mod p). We use
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationA WHITNEY EXTENSION THEOREM FOR CONVEX FUNCTIONS OF CLASS C 1,ω.
A WHITNEY EXTENSION THEOREM FOR CONVEX FUNCTIONS OF CLASS C 1,ω. DANIEL AZAGRA AND CARLOS MUDARRA Abstract. Let C be a compact subset of R n (not necessarily convex), f : C R be a function, and G : C R
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationEuler s, Fermat s and Wilson s Theorems
Euler s, Fermat s and Wilson s Theorems R. C. Daileda February 17, 2018 1 Euler s Theorem Consider the following example. Example 1. Find the remainder when 3 103 is divided by 14. We begin by computing
More informationSum and shifted-product subsets of product-sets over finite rings
Sum and shifted-product subsets of product-sets over finite rings Le Anh Vinh University of Education Vietnam National University, Hanoi vinhla@vnu.edu.vn Submitted: Jan 6, 2012; Accepted: May 25, 2012;
More informationFlorian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México
Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P. 8180, Morelia, Michoacán, México e-mail: fluca@matmor.unam.mx Laszlo Szalay Department of Mathematics and Statistics,
More informationMULTI-GGS-GROUPS HAVE THE CONGRUENCE SUBGROUP PROPERTY
MULTI-GGS-GROUPS HAVE THE CONGRUENCE SUBGROUP PROPERTY ALEJANDRA GARRIDO AND JONE URIA-ALBIZURI Abstract. We generalize the result about the congruence subgroup property for GGS-groups in [AGU] to the
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationA Collection of MTA ELTE GAC manuscripts
A Collection of MTA ELTE GAC manuscripts Katalin Gyarmati, András Sárközy On reducible and primitive subsets of F p, I 014 MTA ELTE Geometric and Algebraic Combinatorics Research Group Hungarian Academy
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationarxiv: v3 [math.nt] 29 Mar 2016
arxiv:1602.06715v3 [math.nt] 29 Mar 2016 STABILITY RESULT FOR SETS WITH 3A Z n 5 VSEVOLOD F. LEV Abstract. As an easy corollary of Kneser s Theorem, if A is a subset of the elementary abelian group Z n
More informationWhy Bohr got interested in his radius and what it has led to
Why Bohr got interested in his radius and what it has led to Kristian Seip Norwegian University of Science and Technology (NTNU) Universidad Autónoma de Madrid, December 11, 2009 Definition of Bohr radius
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationarxiv: v1 [math.co] 13 Sep 2018
SIDON SETS AND 2-CAPS IN F n 3 YIXUAN HUANG, MICHAEL TAIT, AND ROBERT WON arxiv:1809.05117v1 [math.co] 13 Sep 2018 Abstract. For each natural number d, we introduce the concept of a d-cap in F n 3. A subset
More informationAPPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 307 3 APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES E. Bujalance, A.F. Costa, and D. Singerman Universidad
More informationOn the second smallest prime non-residue
On the second smallest prime non-residue Kevin J. McGown 1 Department of Mathematics, University of California, San Diego, 9500 Gilman Drive, La Jolla, CA 92093 Abstract Let χ be a non-principal Dirichlet
More information1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings
More informationTripotents: a class of strongly clean elements in rings
DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
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 informationExpansions of quadratic maps in prime fields
Expansions of quadratic maps in prime fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract Let f(x) = ax 2 +bx+c Z[x] be a quadratic polynomial with
More informationExponential and character sums with Mersenne numbers
Exponential and character sums with Mersenne numbers William D. Banks Dept. of Mathematics, University of Missouri Columbia, MO 652, USA bankswd@missouri.edu John B. Friedlander Dept. of Mathematics, University
More informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
More informationEXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form
EXPLICIT EVALUATIONS OF SOME WEIL SUMS ROBERT S. COULTER 1. Introduction In this article we will explicitly evaluate exponential sums of the form χax p α +1 ) where χ is a non-trivial additive character
More informationON THE ZERO-DIVISOR-CUP-LENGTH OF SPACES OF ORIENTED ISOMETRY CLASSES OF PLANAR POLYGONS. 1. Introduction
ON THE ZERO-DIVISOR-CUP-LENGTH OF SPACES OF ORIENTED ISOMETRY CLASSES OF PLANAR POLYGONS DONALD M. DAVIS Abstract. Using information about the rational cohomology ring of the space M(l 1,..., l n ) of
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationSums of Squares. Bianca Homberg and Minna Liu
Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares
More informationDifference Sets are Not Multiplicatively Closed
DISCRETE ANALYSIS, 2016:17, 21 pp. www.discreteanalysisjournal.com arxiv:1602.02360v4 [math.nt] 3 Oct 2016 Difference Sets are Not Multiplicatively Closed Shkredov, I. D. Received 16 February 2016; Published
More informationMarcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela
#A89 INTEGERS 16 (016) ON SIERPIŃSKI NUMBERS OF THE FORM '(N)/ n Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela mago@usb.ve
More informationProducts of Factorials Modulo p
Products of Factorials Modulo p Florian Luca and Pantelimon Stănică IMATE, UNAM, Ap. Postal 6-3 Xangari, CP. 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx Auburn University Montgomery,
More informationarxiv:math/ v1 [math.nt] 20 Mar 2007
arxiv:math/0703614v1 [math.nt] 20 Mar 2007 and A SLIGHT IMPROVEMENT TO GARAEV S SUM PRODUCT ESTIMATE Nets Hawk Katz and Chun-Yen Shen Indiana University 0 Introduction Let A be a subset of F p, the field
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction
ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible by the form 4M d, where M is a multiple of the product ab and
More informationTHE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p. Mario Huicochea CINNMA, Querétaro, México
#A8 INTEGERS 15A (2015) THE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p Mario Huicochea CINNMA, Querétaro, México dym@cimat.mx Amanda Montejano UNAM Facultad de Ciencias
More informationa mod a 2 mod
Primitive Roots (I) Example: Consider U 32. For any element a U 32, ord 32 a ϕ(32) = 16. But (±a ±16) 2 a 2 (mod 32), so a mod32 1 3 5 7 15 13 11 9 17 19 21 23 31 29 27 25 a 2 mod 32 1 9 25 17 This shows
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationSidon sets and C 4 -saturated graphs
Sidon sets and C 4 -saturated graphs arxiv:1810.056v1 [math.co] 11 Oct 018 David F. Daza Carlos A. Trujillo Universidad del Cauca, A.A. 755, Colombia. davidaza@unicauca.edu.co - trujillo@unicauca.edu.co
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationWilson s Theorem and Fermat s Little Theorem
Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
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 informationThe minimum rank of matrices and the equivalence class graph
Linear Algebra and its Applications 427 (2007) 161 170 wwwelseviercom/locate/laa The minimum rank of matrices and the equivalence class graph Rosário Fernandes, Cecília Perdigão Departamento de Matemática,
More informationA Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers. Key Words: Quadratic Forms, indefinite ternary quadratic.
Bol. Soc. Paran. Mat. (3s.) v. 23 1-2 (2005): 85 92. c SPM ISNN-00378712 A Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers Jean Bureau and Jorge Morales abstract: In this paper
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationMULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1
MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x + PROBLEM ANA CARAIANI Abstract. Recently Lagarias introduced the Wild semigroup, which is intimately connected to the 3x + Conjecture. Applegate and Lagarias
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 informationNOTES ON SIMPLE NUMBER THEORY
NOTES ON SIMPLE NUMBER THEORY DAMIEN PITMAN 1. Definitions & Theorems Definition: We say d divides m iff d is positive integer and m is an integer and there is an integer q such that m = dq. In this case,
More informationSUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM OVER FINITE FIELDS
#A68 INTEGERS 11 (011) SUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM OVER FINITE FIELDS Todd Cochrane 1 Department of Mathematics, Kansas State University, Manhattan, Kansas cochrane@math.ksu.edu James
More informationOn non-antipodal binary completely regular codes
On non-antipodal binary completely regular codes J. Borges, J. Rifà Department of Information and Communications Engineering, Universitat Autònoma de Barcelona, 08193-Bellaterra, Spain. V.A. Zinoviev Institute
More informationPerfect Power Riesel Numbers
Perfect Power Riesel Numbers Carrie Finch a, Lenny Jones b a Mathematics Department, Washington and Lee University, Lexington, VA 24450 b Department of Mathematics, Shippensburg University, Shippensburg,
More informationCHOMP ON NUMERICAL SEMIGROUPS
CHOMP ON NUMERICAL SEMIGROUPS IGNACIO GARCÍA-MARCO AND KOLJA KNAUER ABSTRACT. We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies
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 informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationBOHR CLUSTER POINTS OF SIDON SETS. L. Thomas Ramsey University of Hawaii. July 19, 1994
BOHR CLUSTER POINTS OF SIDON SETS L. Thomas Ramsey University of Hawaii July 19, 1994 Abstract. If there is a Sidon subset of the integers Z which has a member of Z as a cluster point in the Bohr compactification
More informationTHE IMPLICIT FUNCTION THEOREM FOR CONTINUOUS FUNCTIONS. Carlos Biasi Carlos Gutierrez Edivaldo L. dos Santos. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 32, 2008, 177 185 THE IMPLICIT FUNCTION THEOREM FOR CONTINUOUS FUNCTIONS Carlos Biasi Carlos Gutierrez Edivaldo L.
More informationA FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 69 74 A FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2 Yolanda Fuertes and Gabino González-Diez Universidad
More informationarxiv: v1 [math.co] 13 May 2016
GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in
More informationON MONIC BINARY QUADRATIC FORMS
ON MONIC BINARY QUADRATIC FORMS JEROME T. DIMABAYAO*, VADIM PONOMARENKO**, AND ORLAND JAMES Q. TIGAS*** Abstract. We consider the quadratic form x +mxy +ny, where m n is a prime number. Under the assumption
More informationOptimal shape and position of the support for the internal exact control of a string
Optimal shape and position of the support for the internal exact control of a string Francisco Periago Abstract In this paper, we consider the problem of optimizing the shape and position of the support
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE
ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE AMIR AKBARY, DRAGOS GHIOCA, AND QIANG WANG Abstract. We count permutation polynomials of F q which are sums of m + 2 monomials of prescribed degrees. This
More informationMath 110 HW 3 solutions
Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More information32 Divisibility Theory in Integral Domains
3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible
More informationarxiv: v2 [math.nt] 29 Jul 2017
Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation arxiv:1509.07898v2 [math.nt] 29 Jul 2017 Prapanpong Pongsriiam Department of Mathematics, Faculty of Science Silpakorn University
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More informationFIBONACCI DIOPHANTINE TRIPLES. Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary
GLASNIK MATEMATIČKI Vol. 436300, 53 64 FIBONACCI DIOPHANTINE TRIPLES Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary Abstract. In
More informationFinite Field Waring s Problem
Finite Field Waring s Problem 12/8/10 1 Introduction In 1770, Waring asked the following uestion: given d N, can every positive integer can be written as a sum of a bounded number of dth powers of positive
More information