Theorem 3.6 (Chang’s Theorem). Assuming that:

• $G$ a finite abelian group

• $A\subseteq G$ be of density $\alpha >0$

• $\mathrm{\Lambda }\supseteq {\mathrm{Spec}}_{\rho }({𝟙}_A)$ is dissociated