All the basic notions for a fusion ring are defined in [this post][1]. The fusion ring $G_p$ is the Grothendieck ring of the cyclic group of prime order $p$. Let $\mathcal{F}$ be a fusion ring with distinguished basis $\{h_1, h_2, \dots, h_r \}$ and fusion rules $$ h_i \cdot h_j = \sum_k n_{ij}^kh_k. $$ *Definition*: The fusion ring $\mathcal{F}$ is multiplicity one if every $ n_{ij}^k \in \{0,1\}$. *Proposition*: Let $\mathcal{F}$ be a fusion ring of multiplicity one and rank $r$, then FPdim$(\mathcal{F}) \le r^3$. *Proof*: $d(h_i)^2 = \sum_k n_{ii}^kd(h_k) \le \sum_k d(h_k) \le \sum_k (\sum_s d(h_s))^{1/2} = r (\sum_s d(h_s))^{1/2}$ We iterate the process: $$d(h_i)^2 \le \sum_k d(h_k) \le r (\sum_k d(h_k))^{1/2} \le \dots \le r^{1+1/2+1/4+\cdots} = r^2.$$ But FPdim$(\mathcal{F}) = \sum_i d(h_i)^2 \le \sum_i r^2 = r^3$. $\square$ *Corollary*: There is no integral simple fusion ring of multiplicity one and rank $\le 10$ (except $G_p$). *Proof*: By the previous proposition, a fusion ring of multiplicity one and rank $\le 10$, has FPdim $ \le 10^3$. But by a SAGE computation (with [this code][2]), there is no integral simple fusion ring of multiplicity one, rank $\le 10$ and FPdim $ \le 1000$ (except $G_p$). $\square$ **Question**: Is there an integral simple fusion ring of multiplicity one (except $G_p$)? [1]: http://mathoverflow.net/q/243741/34538 [2]: https://drive.google.com/file/d/0B2P_JgZe-Zd0QzhZRzNWSVRCUFE/view?usp=sharing