Doubling constant (source code)

= Doubling constant
{title2=$|A+A|/|A|$}
{wiki}

The doubling constant of a nonempty finite set $A$ is $|A+A|/|A|$. A small doubling constant indicates that $A$ behaves approximately like a <coset> of a <subgroup>.