Department of Mathematics and Statistics, Arizona State University, Tempe, Arizona 85287 ; Department of Mathematics and Statistics, Arizona State University, Tempe, Arizona 85287
Abstract:
For any maximal coaction and any closed normal subgroup of , there exists an imprimitivity bimodule between the full crossed product and , together with compatible coaction of . The assignment implements a natural equivalence between the crossed-product functors `` ' and `` ', in the category whose objects are maximal coactions of and whose morphisms are isomorphism classes of right-Hilbert bimodule coactions of .