Artificial intelligent assistant

Simplify $\langle \operatorname{Ind}^G_1 1, \operatorname{Ind}^G_H\phi\rangle_G$ Let $G$ be a finite group and $H$ a subgroup. Let $\phi$ be an irreducible character of $H$ and $\mathbb 1$ the trivial character of the trivial subgroup $1$. Let $\langle,\rangle_G$ be the usual inner product of characters of $G$. I am trying to simplify the inner product $\langle \operatorname{Ind}^G_1 \mathbb 1, \operatorname{Ind}^G_H\phi\rangle_G$ where $\operatorname{Ind}$ is the induction of characters. By Frobenius reciprocity this is equal to $\langle 1, \operatorname{Res^G_1 \operatorname{Ind}^G_H\phi}\rangle_1$. My question is > Does this simplify to $[G:H]\phi(1)$? Would I need to use one of Mackey's theorems to proceed further? Many thanks.

With the help of Tobias Kildetoft's comments I think I can now provide an answer to my question.

Recall that $\operatorname{Ind}^G_1 1$ is in fact the regular character of $G$ and so $\operatorname{Ind}^G_1 1=\sum_\chi \chi(1) \chi $ where the sum is taken over all the _irreducible_ characters of $G$.

Therefore we have $\langle\operatorname{Ind}^G_11, \operatorname{Ind}^G_H \phi\rangle_G= \sum_\chi\langle\chi,\operatorname{Ind}^G_H\phi\rangle_G\chi(1)=(\operatorname{Ind}^G_H\phi)(1)=[G:H]\phi(1)$.

There was no need to use Frobenius reciprocity nor any of Mackey's theorems.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy a897fdb31b2dc88000246558ea3427d1