He intentado en varias ocasiones comprender las numerosas definiciones equivalentes de un grupo susceptible. ¿Es correcta la siguiente afirmación?
Un grupo $G$ es susceptible si y sólo si, para cualquier subconjunto finito $X$ de $G$ y cualquier $\epsilon > 0$ existe un subconjunto finito $A$ del subgrupo $\langle X \rangle$ de $G$ generado por $X$ , de tal manera que $|xA \, \Delta\, A|/|A| < \epsilon$ para todos $x \in X$ .
Gracias.