arxiv: v1 [math.co] 10 Jan 2019
|
|
- Buck Clark
- 5 years ago
- Views:
Transcription
1 THE LARGEST ()-SUM-FREE SETS IN COMPACT ABELIAN GROUPS arxiv: v [math.co] 0 Jan 209 NOAH KRAVITZ Abstract. A subset A of a finite abelian group is called ()-sum-free if ka la =. In thie paper, we extend this concept to compact abelian groups and study the question of how large a measurable ()-sum-free set can be. For integers k < l and a compact abelian group G, let λ (G) = sup{µ(a) : ka la = } be the maximum possible size of a ()-sum-free subset of G. We prove that if G = I M is the direct product of the identity component of G and a finite group, then max { λ (M),λ (I) } λ (G) max { λ (M), }. Moreover, the upper bound is an equality if G admits a surjective measurable homomorphism onto the circle group T. Finally, we discuss how this problem motivates a new framework for studying (k, l)-sum-free sets in finite groups.. Introduction The Minkowski sum of two subsets A,B of an additive abelian group G is A+B = {a+b : a A,b B}. When G is finite, a natural question is how large a subset A G can be sum-free, i.e., can satisfy (A+A) A =. In other words, A is sum-free if x+y = z has no solutions for x,y,z A. Early progress on this question for cyclic groups appears in the work of Diananda and Yap [4] and Wallis, Street, and Wallis [0]. In 2005, Green and Ruzsa [6] completely solved this problem for abelian groups. Let λ,2 (G) denote the maximum density of a sum-free subset of G. Theorem. (Green and Ruzsa 2005). For any finite abelian group G with exponent exp(g), we have { d λ,2 (G) = max }. d exp(g) 3 d In particular, 2 7 λ,2(g) 2, both bounds of which are sharp. Other statistics on sum-free sets have been the object of considerable study (see, e.g., [5, 9] and the references therein). 200 Mathematics Subject Classification. B3, 22A05. Key words and phrases. Sum-free set, compact abelian group, Kneser s Theorem, additive combinatorics.
2 2 This problem has more recently been generalized to (k, l)-sum-free sets. For a positive integer k, let ka = A+ +A denote the k-fold Minkowski sum of A }{{} k with itself (NOT the k-fold dilation of A). Then, for a finite abelian group G, let A λ (G) = max G : ka la = denote the maximum density of a ()-sum-free subset of G. Trivially, λ (G) = 0 when k = l, so by convention we take k < l. Most work has focused on (k, l)-sum-free sets in cyclic groups; the general abelian case remains far from understood. Important results are due to Bier and Chin [3] and Hamidoune and Plagne [7], whose approaches relied on Vosper s Theorem and Kneser s Theorem. In 208, Bajnok and Matzke [2] found a general expression for λ (Z n ) by analyzing ()-sum-free arithmetic progressions. Theorem.2 (Bajnok and Matzke 208). For any integers k < l and n, we have { d δd +r d λ (Z n ) = max }, d n d where δ d = gcd(d,l k) and r d is the remainder of k d δd modulo δ d. For further background, see the excellent exposition in []. One might wonder about the analogousproblem on the circle group T = R/Z (with the Eucliean topology) and the d-dimensional torus T d. In this paper, we generalize the study of (k, l)-sum-free sets to compact abelian groups. For a compact abelian group G, let µ be the probability Haar measure (normalized so that µ(g) = ). We then define λ (G) = sup{µ(a) : ka la = }, where the supremum runs over all measurable subsets A G. Note that when G is finite, this definition coincides with the definition above. The main result of this paper is the following set of bounds on λ (G) for compact abelian groups with a finite number of connected components. We write such a group as G = I M, where I is the identity component of G and M is finite. Theorem.3 (Main Theorem). For any integers k < l and any compact abelian group G = I M, we have max{λ (M),λ (I)} λ (G) max λ (M),. In particular, if G admits a surjective measurable homomorphism onto T (with the Euclidean topology), then λ (G) = max λ (M), is an equality. A few remarks:
3 3 () When G is connected, M is the trivial group (with λ (M) = 0) and λ (I) λ (G). In particular, λ (T d ) = answers our original question about the d-dimensional torus. (2) Note that any positive-dimensional { compact } abelian Lie group G has I = T d, so that λ (G) = max λ (M),. (3) It is easy to see that the upper bound is not tight in general for finite groups. For instance, λ,2 (Z 7 ) = 2 7 (using Theorem.2) is smaller than 3. In Section 2, we prove the Main Theorem. We will make use of the following deep classical result of Kneser [8]. Here, µ denotes the inner Haar probability measure. (Even on T, the Minkowski sum of two measurable sets need not be measurable.) Theorem.4 (Kneser 956). Let G be a compact abelian group with Haar probability measure µ, and let A and B be nonempty measurable subsets of G. Then µ (A+B) min{µ(a)+µ(b),}, unless the stabilizer H = Stab(A+B) is an open subgroup of G, in which case µ (A+B) µ(a)+µ(b) µ(h). In Section 3, we discuss some consequences of our results and possible future lines of inquiry. In particular, the compact case inspires a curious new framework for investigating (k, l)-sum-free sets in the finite context. 2. proofs We begin by recording a few general observations. Lemma 2.. Let A and B be (not necessarily measurable) subsets of a compact abelian group G, with µ (A)+µ (B) >. Then A+B = G. Proof. ThereexistclosedsubsetsA Aand B B satisfyingµ(a )+µ(b ) >. Assume (for the sake of contradiction) that there exists some g G\(A+B). Then g / A + B, so A and {g} B are disjoint. But µ(a ) + µ({g} B ) = µ(a )+µ(b ) yields a contradiction. Lemma 2.2. Let G = I M be a compact abelian group. Then any open subgroup H of G is of the form H = I N, where N is a subgroup of M. Proof. The set U = I H is open in I (in the subgroup topology) and nonempty (since it contains the identity of G). Then U and its cosets are an open partition of I. Since I is connected, U = I. Finally, noting that H/I is a subgroup of G/I = M completes the proof. Lemma 2.3. Let A be a nonempty measurable subset of a compact abelian group G. Then for any integers i < j, we have Stab(iA) Stab(jA) as an inclusion of subgroups. Proof. For any h Stab(iA), we have {h}+ja = ({h}+ia) +(j i)a = ia+ (j i)a = ja, so h Stab(jA). We now prove the upper bound of the Main Theorem.
4 4 Theorem 2.4. For any integers k < l and any compact abelian group G = I M, we have λ (G) max λ (M),. Proof. Assume (for the sake of contradiction) that there exists a (k, l)-sum-free set A G of measure strictly greater than both λ (M) and. Consider H = Stab(lA), and recall from Lemma 2.3 that Stab(kA) H. Theorem.4 tells us that if H is NOT an open subgroup of G, then µ (ka) min{kµ(a),} and µ (l( A)) = µ (la) min{lµ(a),}. Then, since µ (ka)+µ (la) > k + l =, Lemma 2. gives ka+l( A) = G, and, in particular, 0 ka+l( A). So there exist a,...,a A satisfying a + +a k = a k+ + +a, which contradicts A being (k, l)-sum-free. Next, consider the case where H is an open subgroup of G. By Lemma 2.2, we have H = I N for some subgroup N M. In particular, I H. Thus, la is a union of cosets of I: if g (m+i) (la), then I+{g} = m+i H +(la) = la. Let P = {p M : (p+i) A } bethesetoftheelementsofm whosecorrespondingcomponentsofghavenonempty intersection with A. Since P M µ(a) > λ (M), we have kp lp. Then there exist p,...,p P and m M such that p + +p k = p k+ + +p = m. So there also exist a,...,a A with each a i p i +I. Then a k+ + +a (m + I) (la), and we conclude that m + I la. Similarly, a + + a k (m + I) (ka), which contradicts A being (k, l)-sum-free. This completes the proof. We now establish lower bounds through specific constructions of large (k, l)-sumfree sets. The following lemma generalizes a common tool in the study of ()- sum-free sets in finite groups. Lemma 2.5. Fix any positive integers k < l and any compact abelian group G. If G admits a surjective measurable homomorphism φ onto the toppological group H, then λ (H) λ (G). Proof. Let S H be a ()-sum-free set of density µ. Then A = φ (S) G is a (k, l)-sum-free set (φ(ka) and φ(la) are disjoint in H) with the same density. The lower bounds of the Main Theorem now follow from the obvious choices for H. Theorem 2.6. For any positive integers k < l and any compact abelian group G = I M, we have max{λ (M),λ (I)} λ (G). Moreover, if G admits a surjective measurable homomorphism onto T (with the Euclidean toplogy), then max λ (M), λ (G).
5 5 Proof. Applying Lemma 2.5 with H = M and H = I gives the first lower bound. Now, consider the case where G (or, equivalently, I) admits a surjective measurable homomorphism onto T. Setting H = T in Lemma 2.5 gives λ (T) λ (I). Finally, the set S = ( k l 2 k 2, ( is()-sum-free(withmeasure ): ks = are disjoint in T. 3. Discussion ) l l 2 k 2 T k 2 kl l 2 k, 2 ( l 2 k )andls = 2 ) kl l l 2 k, 2 2 l 2 k 2 The Main Theorem bounds λ (G) in terms of the largest possible ()-sum-free sets of its connected and discrete factors. Note that the lower bound is an equality whenever any of the following holds: λ (M). There is a surjective measurable homomorphism from G onto T. G is finite. We conjecture that the lower bound of the Main Theorem is always an equality. Conjecture 3.. For any positive integers k < l and any compact abelian group G = I M, we have λ (G) = max{λ (M),λ (I)}. The constructions of Theorem 2.6 show that the supremum in the definition of λ (G) is attained in many cases and, moreover, that some such maximal subset is open. We conjecture that this property holds for all compact abelian groups. Conjecture 3.2. For any positive integers k < l and any compact abelian group G, there exists an open ()-sum-free set S G with measure µ(s) = λ (G). This discussion motivates a set of related questions for finite abelian groups. Consider the maps φ n : T Z n via { ( i A i Z n : n, i+ ) } A. n The fact ( i n, ) ( i+ n + j n, j+ ) ( n = i+j n, i+j+2 ) n implies that for any sets A,B T, {0,}+φ n (A)+φ n (B) φ n (A+B), with equality when (but not only when) A and B are the unions of open intervals of the form ( i n, ) i+ n. (For instance, any open sets can be arbitrarily well approximated from the inside in this manner for large enough n.) This motivates the following set of definitions. Let A,B,C be subsets of a finite abelian group G. For lack of better notation, let A C B = C +A+B and k C A = A C C A = ka +(k )C. We can }{{} k
6 6 investigate (k, l)-sum-free sets under this operation (i.e., with respect to fixed C) by defining A λ C (G) = max G : (k C A) (l C A) =. Of course, λ {0} (G) = λ (G) recovers the ordinary definition of the maximum size of a (k, l)-sum-free set. When G = Z n and C = {0,}, wesee that λ {0,} (Z n ) reflects the problemoffinding open ()-sum-free subsets of T. The Main Theorem for G = T gives λ {0,} (Z n ). (This bound also follows from Kneser s Theorem for finite groups.) Note that equality is achieved at least whenever n is a multiple of l 2 k 2 (Theorem 2.6). This group invariant seems an interesting object of study. Question 3.3. What can we say about λ {0,} (Z n )? Which values of n satisfy λ {0,} (Z n ) =? For fixed k < l, which n minimizes λ{0,} (Z n )? Other compact abelian groups of the form T d M (with M finite) analogously give risetothe moregeneralproblemofcomputing λ C (G) with G = Z n Z nd M and C = {(ε,ε 2,...,ε d,0) : ε i {0,}}. Finally, we propose that other choices of C could lead to questions of future interest. 4. Acknowledgments The author is grateful to Milo Brandt and Stefan Steinerberger for reading drafts of this paper. References [] B. Bajnok, On the maximumsize of a ()-sum-freesubset of an abelian group, Int. J. Number Theory 5(6) (2009), [2] B. Bajnok and R. Matzke, The Maximum Size of (k, l)-sum-free Sets in Cyclic Groups, preprint arxiv: v (208). [3] T. Bier and A. Y. Chin, On ()-sets in cyclic groups of odd prime order, Bull. Austral. Math. Soc. 63 (200), 5-2. [4] P. H. Diananda and H. P. Yap, Maximal sum-free sets of elements of finite groups, Proc. Japan Acad. 45 (969), I-V. [5] B. Green, The Cameron-Erdős Conjecture, Bull. London Math. Soc. 36(6) (2004), [6] B. Green and I. Ruzsa, Sum-free sets in abelian groups, Israel J. Math. 47 (2005), [7] Y. o. Hamidoune and A. Plagne, A new critical pair theorem applied to sum-free sets in Abelian groups, Comment. Math. Helv. 79 (2004), [8] M. Kneser, Summenmengen in lokalkompakten abelschen Gruppen, Math. Z. 66 (956), [9] T. Tao and V. Vu, Sum-avoiding sets in groups, Discrete Anal. 5 (206). [0] W. D. Wallis, A. P. Street, and J. S. Wallis, Combinatorics: Room squares, sum-free sets, Hadamard matrices, Lecture Notes in Mathematics 292 (2006), Springer (New York). Grace Hopper College, Yale University, New Haven, CT 0650, USA address: noah.kravitz@yale.edu
arxiv: 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 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 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 informationarxiv: v1 [math.co] 31 Mar 2008
On the maximum size of a (k,l)-sum-free subset of an abelian group arxiv:080386v1 [mathco] 31 Mar 2008 Béla Bajnok Department of Mathematics, Gettysburg College Gettysburg, PA 17325-186 USA E-mail: bbajnok@gettysburgeu
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 informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
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 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 RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS. Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands
#A42 INTEGERS 15 (2015) THE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands M.Staps@uu.nl Received: 10/9/14, Revised:
More informationOn the intersection of infinite matroids
On the intersection of infinite matroids Elad Aigner-Horev Johannes Carmesin Jan-Oliver Fröhlich University of Hamburg 9 July 2012 Abstract We show that the infinite matroid intersection conjecture of
More informationActa Arith., 140(2009), no. 4, ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES. 1. Introduction
Acta Arith., 140(009), no. 4, 39 334. ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES SONG GUO AND ZHI-WEI SUN* arxiv:081.174v3 [math.co] 16 Dec 009 Abstract. Let n be a positive even integer, and let
More informationOn the Mutually Commuting n-tuples. in Compact Groups
International Journal of Algebra, Vol. 1, 2007, no. 6, 251-262 On the Mutually Commuting n-tuples in Compact roups A. Erfanian and R. Kamyabi-ol Centre of Excellency in Analysis on Algebraic Structures
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationExamples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are
Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the
More informationarxiv: v2 [math.co] 14 May 2017
arxiv:1606.07823v2 [math.co] 14 May 2017 A Note on the Alon-Kleitman Argument for Sum-free Subset Theorem Zhengjun Cao 1, Lihua Liu 2, Abstract. In 1990, Alon and Kleitman proposed an argument for the
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationOn the absolute continuity of Gaussian measures on locally compact groups
On the absolute continuity of Gaussian measures on locally compact groups A. Bendikov Department of mathematics Cornell University L. Saloff-Coste Department of mathematics Cornell University August 6,
More informationVan der Corput sets with respect to compact groups
Van der Corput sets with respect to compact groups Michael Kelly and Thái Hoàng Lê Abstract. We study the notion of van der Corput sets with respect to general compact groups. Mathematics Subject Classification
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 informationOn Subsequence Sums of a Zero-sum Free Sequence
On Subsequence Sums of a Zero-sum Free Sequence Fang Sun Center for Combinatorics, LPMC Nankai University, Tianjin, P.R. China sunfang2005@1.com Submitted: Jan 1, 2007; Accepted: Jul 18, 2007; Published:
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationarxiv: v1 [math.co] 31 May 2018
A step beyond Freiman s theorem for set addition modulo a prime Pablo Candela 1 Oriol Serra 2 Christoph Spiegel 3 June 1, 2018 arxiv:1805.12374v1 [math.co] 31 May 2018 Abstract Freiman s 2.4-Theorem states
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationFinitary Permutation Groups
Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita
More informationMaximal sets with no solution to x + y = 3z
Maximal sets with no solution to x + y = z Alain Plagne, Anne De Roton To cite this version: Alain Plagne, Anne De Roton. Maximal sets with no solution to x + y = z. Combinatorica, Springer Verlag, 06,
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 informationOn addition of two distinct sets of integers
ACTA ARITHMETICA LXX.1 (1995) On addition of two distinct sets of integers by Vsevolod F. Lev (Tel-Aviv) and Pavel Y. Smeliansky (Wollongong, N.S.W.) What is the structure of a pair of finite integers
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationCycles with consecutive odd lengths
Cycles with consecutive odd lengths arxiv:1410.0430v1 [math.co] 2 Oct 2014 Jie Ma Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213. Abstract It is proved that there
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of
More information#A36 INTEGERS 11 (2011) NUMBER OF WEIGHTED SUBSEQUENCE SUMS WITH WEIGHTS IN {1, 1} Sukumar Das Adhikari
#A36 INTEGERS 11 (2011) NUMBER OF WEIGHTED SUBSEQUENCE SUMS WITH WEIGHTS IN {1, 1} Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad, India adhikari@mri.ernet.in Mohan
More informationINVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS
INVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS BY WARREN MAY Let K be a commutative ring with identity and G an abelian group. Then the structure of KG as a K-algebra depends to some extent upon the primes
More informationLocally maximal product-free sets of size 3
Locally maximal product-free sets of size 3 By Chimere S. Anabanti and Sarah B. Hart Birkbeck Pure Mathematics Preprint Series Preprint Number 10 www.bbk.ac.uk/ems/research/pure/preprints Locally maximal
More informationSUMSETS MOD p ØYSTEIN J. RØDSETH
SUMSETS MOD p ØYSTEIN J. RØDSETH Abstract. In this paper we present some basic addition theorems modulo a prime p and look at various proof techniques. We open with the Cauchy-Davenport theorem and a proof
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 informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
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 informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/57796 holds various files of this Leiden University dissertation Author: Mirandola, Diego Title: On products of linear error correcting codes Date: 2017-12-06
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More information1 Radon, Helly and Carathéodory theorems
Math 735: Algebraic Methods in Combinatorics Sep. 16, 2008 Scribe: Thành Nguyen In this lecture note, we describe some properties of convex sets and their connection with a more general model in topological
More informationarxiv: v3 [math.co] 16 Feb 2015
SUMS OF DILATES IN ORDERED GROUPS ALAIN PLAGNE AND SALVATORE TRINGALI arxiv:1403.0934v3 [math.co] 16 Feb 2015 Abstract. We address the sums of dilates problem by looking for non-trivial lower bounds on
More informationIndependent generating sets and geometries for symmetric groups
Independent generating sets and geometries for symmetric groups Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS UK Philippe Cara Department
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 informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More informationFreiman s theorem in torsion-free groups
Freiman s theorem in torsion-free groups Mercede MAJ UNIVERSITÀ DEGLI STUDI DI SALERNO ADDITIVE COMBINATORICS IN BORDEAUX Institut de Mathématiques de Bordeaux April, 11-15, 2016 Gregory Freiman, Tel Aviv
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 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 informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
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 informationWe begin with some definitions which apply to sets in general, not just groups.
Chapter 8 Cosets In this chapter, we develop new tools which will allow us to extend to every finite group some of the results we already know for cyclic groups. More specifically, we will be able to generalize
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationAVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS
AVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS C. AUGSPURGER, M. MINTER, K. SHOUKRY, P. SISSOKHO, AND K. VOSS MATHEMATICS DEPARTMENT, ILLINOIS STATE UNIVERSITY NORMAL, IL 61790 4520,
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationSubsequence Sums of Zero-sum free Sequences II
Subsequence Sums of Zero-sum free Sequences II arxiv:0909.2080v2 [math.nt] 14 Sep 2009 Pingzhi Yuan School of Mathematics, South China Normal University, Guangzhou 510631, P.R.CHINA e-mail mcsypz@mail.sysu.edu.cn
More informationThe Lefthanded Local Lemma characterizes chordal dependency graphs
The Lefthanded Local Lemma characterizes chordal dependency graphs Wesley Pegden March 30, 2012 Abstract Shearer gave a general theorem characterizing the family L of dependency graphs labeled with probabilities
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 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 informationZero sum partition of Abelian groups into sets of the same order and its applications
Zero sum partition of Abelian groups into sets of the same order and its applications Sylwia Cichacz Faculty of Applied Mathematics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków,
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationarxiv: v1 [math.co] 18 Apr 2019
Classifications of l-zero-sumfree Sets Ashleigh Adams, Carole Hall, Eric Stucky arxiv:1904.08989v1 [math.co] 18 Apr 2019 1 Introduction April 22, 2019 In 1988, Cameron and Erdős [6] conjectured that the
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 informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
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 informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationThree-manifolds and Baumslag Solitar groups
Topology and its Applications 110 (2001) 113 118 Three-manifolds and Baumslag Solitar groups Peter B. Shalen Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
More informationGroups with Few Normalizer Subgroups
Irish Math. Soc. Bulletin 56 (2005), 103 113 103 Groups with Few Normalizer Subgroups FAUSTO DE MARI AND FRANCESCO DE GIOVANNI Dedicated to Martin L. Newell Abstract. The behaviour of normalizer subgroups
More informationSTABLE KNESER HYPERGRAPHS AND IDEALS IN N WITH THE NIKODÝM PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 STABLE KNESER HYPERGRAPHS AND IDEALS IN N WITH THE NIKODÝM PROPERTY NOGA ALON, LECH DREWNOWSKI,
More informationON THE DIOPHANTINE FROBENIUS PROBLEM
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE DIOPHANTINE FROBENIUS PROBLEM Y.O. Hamidoune Abstract: Let X N be a finite subset such that gcdx = 1. The Frobenius number of X denoted by GX is the
More informationMaximal perpendicularity in certain Abelian groups
Acta Univ. Sapientiae, Mathematica, 9, 1 (2017) 235 247 DOI: 10.1515/ausm-2017-0016 Maximal perpendicularity in certain Abelian groups Mika Mattila Department of Mathematics, Tampere University of Technology,
More informationJeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA
#A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationOn an Additive Characterization of a Skew Hadamard (n, n 1/ 2, n 3 4 )-Difference Set in an Abelian Group
Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 5-013 On an Additive Characterization of a Skew Hadamard (n, n 1/, n 3 )-Difference Set in an Abelian Group
More informationSequences of height 1 primes in Z[X]
Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let
More informationSPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction
SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched
More informationSum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv: v1 [math.co] 27 Jan 2017
Sum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv:70.080v [math.co] 27 Jan 207 Esen Aksoy Yazici September 9, 208 Abstract Let R be a finite valuation ring of order q r. Using a point-plane
More informationTOPOLOGIES ON SPACES OF VALUATIONS: A CLOSENESS CRITERION. 1. Introduction
TOPOLOGIES ON SPACES OF VALUATIONS: A CLOSENESS CRITERION JOSNEI NOVACOSKI Abstract. This paper is part of a program to understand topologies on spaces of valuations. We fix an ordered abelian group Γ
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
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: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
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 informationDAVID ELLIS AND BHARGAV NARAYANAN
ON SYMMETRIC 3-WISE INTERSECTING FAMILIES DAVID ELLIS AND BHARGAV NARAYANAN Abstract. A family of sets is said to be symmetric if its automorphism group is transitive, and 3-wise intersecting if any three
More informationA talk given at the University of California at Irvine on Jan. 19, 2006.
A talk given at the University of California at Irvine on Jan. 19, 2006. A SURVEY OF ZERO-SUM PROBLEMS ON ABELIAN GROUPS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093 People s
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationRestricted set addition in Abelian groups: results and conjectures
Journal de Théorie des Nombres de Bordeaux 17 (2005), 181 193 Restricted set addition in Abelian groups: results and conjectures par Vsevolod F. LEV Résumé. Nous présentons un ensemble de conjectures imbriquées
More information3-Designs from PSL(2, q)
3-Designs from PSL(, q P. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b a School of Mathematical Sciences, Queen Mary, University of London, U.K. b Institute for Studies in Theoretical
More information(but not of course topological) isomorphism. (discrete) group is discrete (compact); for both types of groups we have ON MONOTHETIC GROUPS
254 MATHEMATICS: HALMOSAND SAMELSON PROC. N. A. S. orders which divide 4 in view of Sylow's theorem. For the same reason the number of its operators whose orders do not divide 4 is either 8 or 4. Hence
More informationarxiv: v1 [math.co] 7 Jul 2014
Sum-ratio estimates over arbitrary finite fields Oliver Roche-Newton arxiv:1407.1654v1 [math.co] 7 Jul 2014 July 11, 2018 Abstract The aim of this note is to record a proof that the estimate max{ A+A,
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More information