Combinatorial results implied by many zero divisors in a group ring

DOI10.1134/S0016266324010076MaRDI QIDQ6274485zbMATH OpenOpenAlexFDO

Authors F. V. Petrov

Publication date 10 June 2016

Full work available at URL https://doi.org/10.1134/s0016266324010076

Mathematics Subject Classification ID

Extremal set theory (05D05) Additive bases, including sumsets (11B13) Arithmetic progressions (11B25) Arithmetic combinatorics; higher degree uniformity (11B30)

Abstract: It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_{0}e{1,-1}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without 3-progressions (triples $x,y,z$ of different elements with $xy=z^2$) contains at most $|G{|}^{1-c}$ elements, where $c>0$ is a constant depending only on $G_0$. This is known to be false when $G$ is, say, large cyclic group. The aim of this note is to show that algebraic property which corresponds to this difference is the following: in the first case a group algebra $mathbbF[G]$ over suitable field $mathbbF$ contains a subspace $X$ with codimension at most $|X{|}^{1-c}$ such that $X^3=0$. We discuss which bounds are obtained for finite Abelian $p$-groups and for some matrix $p$-groups: Heisenberg group over $mathbb{F}_p$ and the unitriangular group over $mathbb{F}_p$. Also we show how the method works for further generalizations by Kleinberg--Sawin--Speyer and Ellenberg.

Recommendations

• On subsets of finite Abelian groups with no 3-term arithmetic progressions
• A generalization of Meshulam's theorem on subsets of finite abelian groups with no 3-term arithmetic progression. II
• Progression-free sets in finite abelian groups.
• Improved bounds for progression-free sets in C₈^n
• A generalization of Meshulam's theorem on subsets of finite abelian groups with no 3-term arithmetic progression

Cited in

(1)

• Generalized polynomials and hyperplane functions in \((\mathbb{Z} / p^k \mathbb{Z})^n\)

This page was built for publication: Combinatorial results implied by many zero divisors in a group ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6274485)