Rough Approximate subgroups
arXiv:2209.03529 · doi:10.1215/00294527-2025-0012
Abstract
Given a -rough definably amenable -rough approximate subgroup of a group in some first-order structure, there is a type-definable subgroup normalised by and contained in of bounded index in .