Most Subsets Are Balanced in Finite Groups

Elementary Methods in Number Theory begins with first course in number for students with no previous knowledge of the subject. The main topics are divisibility, prime numbers, and congruences. There is also an introduction to Fourier analysis on finite abelian groups, and a discussion on the abc conjecture and its consequences in elementary number theory. In the second and third parts of the book, deep results in number theory are proved using only elementary methods. Part II is about multiplicative number theory, and includes two of the most famous results in mathematics: the Erdos-Selberg elementary proof of the prime number theorem, and Dirichlets theorem on primes in arithmetic progressions. Part III is an introduction to three classical topics in additive number theory: Warings problems for polynomials, Liouvilles method to determine the number of representations of an integer as the sum of an even number of squares, and the asymptotics of partition functions. Melvyn B. Nathanson is Professor of Mathematics at the City University of New York (Lehman College and the Graduate Center). He is the author of the two other graduate texts: Additive Number Theory: The Classical Bases and Additive Number Theory: Inverse Problems and the Geometry of Sumsets.

This thesis presents some contributions in additive combinatorics and arithmetic Ramsey theory. More specifically, it deals with the interaction between combinatorics, number theory and additive combinatorics. This area saw a great improvement with the Szemerédi Regularity Lemma and some of the results that followed. The Regularity Lemma and its consequences have become a widely used tool in graph theory, combinatorics and number theory. Furthermore, its language and point of view has deeply changed the face of additive number theory, a fact universally acknowledged by the Abel award given to Szemerédi in 2012. One of the main reasons for the prize has been Szemerédi's theorem, a result regarding the existence of arbitrarily long arithmetic progressions in dense sets of the integers, the proof of which uses the Regularity Lemma in a key step. One of the earlier consequences of the Regularity Lemma was the Removal Lemma for graphs that was used by Ruzsa and Szemerédi to show Roth theorem, regarding the existence of 3-term arithmetic progressions in dense sets of the integers, in a combinatorial way. The Removal Lemma states that in any graph K with few copies of a subgraph, say a triangle, we can remove few edges from K so that the result contains no copy of the subgraph. This has become a key tool in the applications of the so-called Regularity Method, which has extensive literature in combinatorics, graph theory, number theory and computer science. In 2005 Green introduced a regularity lemma for Abelian groups as well as an algebraic removal lemma. The removal lemma for groups states that, for a given finite Abelian group G, if there are o(|G|^3) solution to x+y+z+t=0 with the variables taking values in S, a subset of G, then we can remove o(|G|) elements from S to make the set S solution-free. The main contributions of this work corresponds to extensions of the removal lemma for groups to either more general contexts, like non-necessary Abelian finite groups, or to linear systems of equations for finite Abelian groups. The main goal is to give a comprehensive and more general framework for many results in additive number theory like Szemerédi Theorem. In particular, we show that the removal lemma for groups by Green can be extended to non-necessary Abelian finite groups. Moreover, we prove a removal lemma for linear systems on finite fields: for every e>0 there exists a d>0 such that if A is a (k x m) linear system of equations with coefficients in a finite field F and the number of solutions to Ax=b, where each variable takes values from a subset Si in F is less than d times |F| raised to m-k, then by removing less than e|F| elements in each Si we can make the resulting sets solution-free, thus solving a conjecture by Green to that respect. Even more, if A is an integer linear system, G is a finite Abelian group, and the determinantal of A and |G| are coprime, then a similar statement holds. Let us mention that the last result allows us to characterize those linear systems where any set S with size proportional to G has a nontrivial solution in S, provided |G| is large enough. This extends the validity of Szmerédi's theorem to finite Abelian groups. These extensions of the removal lemma have been used in arithmetic Ramsey theory to obtain counting results for the number of monochromatic solutions of linear systems. The main result from a work by Frankl, Graham and Rödl in '88 states that the number of monochromatic solutions of regular systems in integer intervals is in fact a positive proportion of the total number of solutions. We give analogous results for solutions in Abelian groups with bounded exponent, for which the main tool in the torsion-free case cannot be applied. Density versions of these counting results are also obtained, in this case with a full characterization.

Bera [Line graph characterization of power graphs of finite nilpotent groups, Comm. Algebra 50(11) (2022) 4652–4668] characterized finite nilpotent groups whose power graphs and proper power graphs are line graphs. In this paper, we extend the results of above-mentioned paper to arbitrary finite groups. Also, we correct the corresponding result of the proper power graphs of dihedral groups. Moreover, we classify all the finite groups whose enhanced power graphs are line graphs. We classify all the finite nilpotent groups (except non-abelian [Formula: see text]-groups) whose proper enhanced power graphs are line graphs of some graphs. Finally, we determine all the finite groups whose (proper) power graphs and (proper) enhanced power graphs are the complement of line graphs, respectively.

Using linear forms to determine the set of integers realizable by ( g0, g1, …, gn)-trees

Introduction: Development of practical post-quantum signature schemes is a current challenge in the applied cryptography. Recently, several different forms of the hidden discrete logarithm problem were proposed as primitive signature schemes resistant to quantum attacks. Purpose: Development of a new form of the hidden discrete logarithm problem set in finite commutative groups possessing multi-dimensional cyclicity, and a method for designing post-quantum signature schemes. Results: A new form of the hidden discrete logarithm problem is introduced as the base primitive of practical post-quantum digital signature algorithms. Two new four-dimensional finite commutative associative algebras have been proposed as algebraic support for the introduced computationally complex problem. A method for designing signature schemes on the base of the latter problem is developed. The method consists in using a doubled public key and two similar equations for the verification of the same signature. To generate a pair of public keys, two secret minimum generator systems <G, Q> and <H, V> of two different finite groups G<G, Q> and G<H, V> possessing two-dimensional cyclicity are selected at random. The first public key (Y, Z, U) is computed as follows: Y = Gy1Qy2a, Z = Gz1Qz2b, U = Gu1Qu2g, where the set of integers (y1, y2, a, z1, z2, b, u1, u2, g) is a private key. The second public key (Y¢, Z¢, U¢) is computed as follows: Y¢ = Hy1Vy2a, Z¢ = Hz1Vz2b, U¢ = Hu1Vu2g. Using the same parameters to calculate the corresponding elements belonging to different public keys makes it possible to calculate a single signature which satisfies two similar verification equations specified in different finite commutative associative algebras. Practical relevance: Due to a smaller size of the public key, private key and signature, as well as approximately equal performance as compared to the known analogues, the proposed digital signature scheme can be used in the development of post-quantum signature algorithms.

Let $D$ be a finite set of integers. The distance graph $G(D)$ has the set of integers as vertices and two vertices at distance $d ∈D$ are adjacent in $G(D)$. A conjecture of Xuding Zhu states that if the chromatic number of $G (D)$ achieves its maximum value $|D|+1$ then the graph has a clique of order $|D|$. We prove that the chromatic number of a distance graph with $D=\{ a,b,c,d\}$ is five if and only if either $D=\{1,2,3,4k\}$ or $D=\{ a,b,a+b,a+2b\}$ with $a \equiv 0 (mod 2)$ and $b \equiv 1 (mod 2)$. This confirms Zhu's conjecture for $|D|=4$.

An orthogonal latin square graph (OLSG) is one in which the vertices are latin squares of the same order and on the same symbols, and two vertices are adjacent if and only if the latin squares are orthogonal. If G is an arbitrary finite graph, we say that G is realizable as an OLSG if there is an OLSG isomorphic to G. The spectrum of G [Spec(G)] is defined as the set of all integers n that there is a realization of G by latin squares of order n. The two basic theorems proved here are (1) every graph is realizable and (2) for any graph G, Spec G contains all but a finite set of integers. A number of examples are given that point to a number of wide open questions. An example of such a question is how to classify the graphs for which a given n lies in the spectrum.

A finite set of integers $D$ with $0\in D$ is basic for the base $b\in \mathbb Z$ if every $z\in\mathbb Z$ can be written uniquely as an integer in the base $b$ with digits from $D$. Since such a base representation is unsigned, basic sets must have a negative base $b$ or some negative integers in $D$. The fraction set for $(b,D)$ is the set of all representable numbers with integer part zero. We show that if $(b,D)$ is basic and $D$ consists of consecutive digits, then the fraction set is an interval of length one whose endpoints have redundant representations. Furthermore, we show that if $D$ does not consist of consecutive integers, then $F$ is disconnected.

The set π(G) of all prime divisors of the order of a finite group G is often called its prime spectrum. It is proved that every finite simple nonabelian group G has sections H1, …, Hm of some special form such that π(H1)∪…∪π(Hm) = π(G) and m ≤ 5. Moreover, m ≤ 2 if G is an alternating or classical simple group. In all cases, it is possible to choose the sections Hi so that each of them is a simple nonabelian group, a Frobenius group, or (in one case) a dihedral group. If the above equality holds for a finite group G, then we say that the set {H1,…,Hm} controls the prime spectrum of G. We also study some parameter c(G) of finite groups G related to the notion of control.

We show that every action of a finite dihedral group on a closed orientable surface F \mathcal F extends to a 3-dimensional handlebody V \mathcal V , with ∂ V = F \partial \mathcal V=\mathcal F . In the case of a finite abelian group G G , we give necessary and sufficient conditions for a G G -action on a surface to extend to a compact 3 3 -manifold, or, equivalently in this case, to a 3-dimensional handlebody; in particular all (fixed-point) free actions of finite abelian groups extend to handlebodies. This is no longer true for free actions of arbitrary finite groups: we give a procedure which allows us to construct free actions of finite groups on surfaces which do not extend to a handlebody. We also show that the unique Hurwitz action of order 84 ( g − 1 ) 84(g-1) of P S L ( 2 , 27 ) PSL(2,27) on a surface F \mathcal F of genus g = 118 g=118 does not extend to any compact 3-manifold M M with ∂ M = F \partial M=\mathcal F , thus resolving the only case of Hurwitz actions of type P S L ( 2 , q ) PSL(2,q) of low order which remained open in an earlier paper (Math. Proc. Cambridge Philos. Soc. 117 (1995), 137–151).

We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense, close to abelian. We prove two main theorems. In the first, we completely classify all finite groups with an automorphism cubing more than half their elements. All such groups are either nilpotent class 2 or possess an abelian subgroup of index 2. For our second theorem, we show that if a group possesses an automorphism sending more than 4/15 of its elements to their cubes, then it must be solvable. The group A_5 shows that this result is best-possible. Both our main findings closely parallel results of previous authors on finite groups possessing an automorphism which inverts many elements. The technicalities of the new proofs are somewhat more subtle, and also throw up a nice connection to a basic problem in combinatorial number theory, namely the study of subsets of finite cyclic groups which avoid non-trivial solutions to one or more translation invariant linear equations.

Exact order of subsets of asymptotic bases in additive number theory

Direct and inverse theorems on signed sumsets of integers

Many classical problems in additive number theory are direct problems, in which one starts with a set A of natural numbers and an integer H -> 2, and tries to describe the structure of the sumset hA consisting of all sums of h elements of A. By contrast, in an inverse problem, one starts with a sumset hA, and attempts to describe the structure of the underlying set A. In recent years there has been ramrkable progress in the study of inverse problems for finite sets of integers. In particular, there are important and beautiful inverse theorems due to Freiman, Kneser, Plunnecke, Vosper, and others. This volume includes their results, and culminates with an elegant proof by Ruzsa of the deep theorem of Freiman that a finite set of integers with a small sumset must be a large subset of an n-dimensional arithmetic progression.

Through this book, upper undergraduate mathematics majors will master a challenging yet rewarding subject, and approach advanced studies in algebra, number theory and geometry with confidence. Groups, rings and fields are covered in depth with a strong emphasis on irreducible polynomials, a fresh approach to modules and linear algebra, a fresh take on Gröbner theory, and a group theoretic treatment of Rejewski's deciphering of the Enigma machine. It includes a detailed treatment of the basics on finite groups, including Sylow theory and the structure of finite abelian groups. Galois theory and its applications to polynomial equations and geometric constructions are treated in depth. Those interested in computations will appreciate the novel treatment of division algorithms. This rigorous text 'gets to the point', focusing on concisely demonstrating the concept at hand, taking a 'definitions first, examples next' approach. Exercises reinforce the main ideas of the text and encourage students' creativity.