Definable sets containing productsets in expansions of groups

DOI10.1515/JGTH-2018-0038MaRDI QIDQ1755289zbMATH OpenOpenAlexWikidataFDO

Authors Uri Andrews, Gabriel Conant, Isaac Goldbring

Publication date 9 January 2019

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.07791

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) General theory for finite permutation groups (20B05)

Abstract: We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $xcdotyinA$ is stable. For arbitrary expansions of groups, we consider a "$1$-sided" version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.

Recommendations

• Definable groups in dense pairs of geometric structures
• On compactifications and product‐free sets
• High density piecewise syndeticity of product sets in amenable groups
• Nonstandard analysis and the sumset phenomenon in arbitrary amenable groups
• Stable group theory and approximate subgroups

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 3675978 (Why is no real title available?)
• A Guide to NIP Theories
• A note on ``Regularity lemma for distal structures
• Definability and definable groups in simple theories
• Generic stability, regularity, and quasiminimality
• On a sumset conjecture of Erdős
• On dp-minimal ordered structures
• On superstable expansions of free abelian groups
• Regularity lemma for distal structures
• Some remarks on dp-minimal groups
• Supergenerix.
• Superrosy dependent groups having finitely satisfiable generics

Cited in

(7)

• RAMSEY’S COHEIRS
• Product set phenomena for countable groups
• A proof of a sumset conjecture of Erdős
• On expressible sets of products
• Product-free sets in approximate subgroups of distal groups
• Stability in a group
• Limit laws for wide varieties of topological groups. II

This page was built for publication: Definable sets containing productsets in expansions of groups

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