Approximate subgroups
Logic
2015-03-10 v3
Abstract
Given a definably amenable approximate subgroup of a (local) group in some first-order structure, there is a type-definable subgroup normalised by and contained in such that every definable superset of has positive measure.
Cite
@article{arxiv.1406.6007,
title = {Approximate subgroups},
author = {Jean-Cyrille Massicot and Frank Olaf Wagner},
journal= {arXiv preprint arXiv:1406.6007},
year = {2015}
}