nLab induced comodule

Given a commutative unital ring kk and a morphism DCD\to C of kk-coalgebras, one can consider the dualized notion of induced module, using the cotensor product instead of tensor product.

If DD is flat as a kk-module (e.g. kk is a field), NN is a left DD- right CC-bicomodule and MM is a left CC-comodule, then the cotensor product N CMN \Box_C M is a DD-subcomodule of N kMN \otimes_k M. In particular, under the flatness assumption, if π:DC\pi : D \rightarrow C is a surjection of coalgebras then DD is a left DD- right CC-bicomodule via Δ D\Delta_D and (idπ)Δ D(\id \otimes \pi) \circ \Delta_D respectively, hence Ind C D:=D C\mathrm{Ind}^D_C := D \Box^C - is a functor from left CC- to left DD-comodules called the induction functor for left comodules from CC to DD.

One can consider this construction more generally for corings.

  • K.-H. Ulbrich, On modules indued or coinduced from Hopf subalgebras, Mathematica Scandinavica 67:2 (1990) 177-182
  • S. Caenepeel, S. Raianu, F. van Oystaeyen, Induction and coinduction for Hopf algebras: applications, J. Algebra 165:1 (1994) 204-222, doi
  • T. Brzeziński, The structure of corings. Induction functors, Maschke-type theorem, and Frobenius and Galois properties, Algebras Represent. Theory 5 (2002) 389–410
  • Johan Kustermans, Induced corepresentations of locally compact quantum groups, J. Funct. Analysis 194:2 (2002) 410-459 doi
  • Stefaan Vaes, A new approach to induction and imprimitivity results, J. Funct. Analysis 229:2 (2005) 317-374 doi

Last revised on November 22, 2019 at 15:21:42. See the history of this page for a list of all contributions to it.