Let $(H \subset G)$ be an inclusion of finite groups.

Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar algebra $\mathcal{P}$.

On the $2$-boxes space of a planar algebra, there is the coproduct $a * b$ (defined for example here p4).

For the group-subgroup subfactor planar algebra $\mathcal{P}$ above, the $2$-boxes space $\mathcal{P}_2 = \bigoplus_{i \in I} \mathbb{C}e_i$ as an algebra, indexed as the double cosets partition $G = \coprod_{i \in I} Hg_iH$ (see Jones-Sunder p141).

**Question 1**: How compute the coproduct on $\mathcal{P}_2$?

*Remark*: my guess is that $e_i * e_j \sim \sum_{k \in K} e_k$ with $Hg_iHg_jH = \coprod_{k \in K} Hg_kH$.

Is it true? How prove that? [the relation $\sim$ means same support]

I've written a program computing my guess.

*Example*: For $(\mathcal{R} \rtimes S_2 \subset \mathcal{R} \rtimes S_4)$, with $\mathcal{P}_2 = \bigoplus_{i=1,\dots 7} \mathbb{C}e_i $,

I've found the following coproduct table (up to $\sim$):

$ \begin{array}{c|c} * & e_1 & e_2 & e_3 & e_4 & e_5 & e_6 & e_7 \newline \hline e_1 & e_1 & e_2 & e_3 & e_4 & e_5 & e_6 & e_7 \newline \hline e_2 &e_2 & e_1+ e_2 & e_4+ e_5 & e_3+ e_5 & e_3+ e_4 & e_6+ e_7 & e_6 \newline \hline e_3 & e_3 & e_5+ e_6 & e_1+ e_3 & e_4+ e_7 & e_2+ e_6 & e_2+ e_5 & e_4 \newline \hline e_4 & e_4 & e_4+ e_7 & e_2+ e_5 & e_5+ e_6 & e_2+ e_6 & e_1+ e_3 & e_3 \newline \hline e_5 & e_5 & e_3+ e_6 & e_2+ e_4 & e_3+ e_6 & e_1+ e_7 & e_2+ e_4 & e_5 \newline \hline e_6 & e_6 & e_3+ e_5 & e_6+ e_7 & e_1+ e_2 & e_3+ e_4 & e_4+ e_5 & e_2 \newline \hline e_7 & e_7 & e_4 & e_6 & e_2 & e_5 & e_3 & e_1 \end{array}$

**Question 2**: What's this coproduct for $(\mathcal{R} ^ G \subset \mathcal{R} ^ H)$?

*Example:* for $(\mathcal{R} ^{S_4} \subset \mathcal{R} ^{S_2})$ with $\mathcal{P}_2 = \mathbb{C} \oplus \mathbb{C} \oplus \mathbb{C} \oplus M_2(\mathbb{C}) $, what's the coproduct?