Induction in stages for crossed products of \(C^{*}\)-algebras by maximal coactions (Q2461242)

Let \(\delta\) be a maximal coaction of a locally compact group \(G\) on a \(C^*\)-algebra \(B\), and let \(N\) and \(H\) be closed normal subgroups of \(G\) with \(N\subseteq H\). We show that the process \(\text{Ind}_{G/H}^G\) which uses Mansfield's bimodule to induce representations of \(B\rtimes_\delta G\) from those of \(B\rtimes_{\delta|}(G/H)\) is equivalent to the two-stage induction process \(\text{Ind}_{G/N}^G\circ \text{Ind}_{G/H}^{G/N}\). The proof involves a calculus of symmetric imprimitivity bimodules which relates the bimodule tensor product to the fibred product of the underlying spaces.