Combinatorial conditions in residually finite groups. I (Q1802205)

Let \(G\) be a group and let \(n\) be a positive integer. \(G\) is \(n\)-collapsing if for any set \(S\) of \(n\) elements in \(G\) we have \(|S^n|<n^n\). A main result is: A finitely generated residually finite group \(G\) is collapsing if and only if \(G\) is nilpotent-by-finite. Also the authors prove that if a finitely generated soluble group \(G\) is collapsing then \(G\) is nilpotent-by-finite.