Quotient sets in nonabelian groups

Abstract

We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}{a}_2:a_1,a_2\in A\}$ has size $|A^{-1}A|\ge \frac{5}{3}|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.