Mansfield's imprimitivity theorem for full crossed products

For any maximal coaction (A,G,δ) and any closed normal subgroup N of G, there exists an imprimitivity bimodule Y _G/N ^G(A) between the full crossed product A × _δ G × _δ̂| N and A × _δ| G/N, together with Inf δ̂̂| - δ ^dec compatible coaction δ _Y of G. The assignment (A, δ) → (Y _G/N ^G(A),δ _Y) implements a natural equivalence between the crossed-product functors " × G × N" and " × G/N", in the category whose objects are maximal coactions of G and whose morphisms are isomorphism classes of right-Hilbert bimodule coactions of G.