The structure of corings: induction functors, Maschke-type theorem, and Frobenius and Galois-type properties (Q1850945)

Let \(A\) be a ring and \(\mathcal C\) an \(A\)-coring. First it is studied when the forgetful functor \(F\) from the category of right \(\mathcal C\)-comodules (\(\mathbb{M}^{\mathcal C}\)) to the category of right \(A\)-modules (\(\mathbb{M}_A\)) and the induction functor \(-\otimes_A{\mathcal C}\colon\mathbb{M}_A\to\mathbb{M}^{\mathcal C}\) are separable. Secondly, necessary and sufficient conditions for the forgetful functor \(F\) to be Frobenius are given. When \(A\) itself is a right \(\mathcal C\)-comodule (i.e. when \(\mathcal C\) has a grouplike element) it is defined the subring of coinvariants \(B\) of \(A\) and then is studied the induction functor \(-\otimes_BA\) from the category of right \(B\)-modules to the category of right \(\mathcal C\)-comodules. In this case it is also defined the notion of Galois coring and it is proved that if \(\mathcal C\) is a flat left \(A\)-module, then \(-\otimes_BA\) is an equivalence if and only if \(A\) is a faithfully flat left \(B\)-module and \(\mathcal C\) is Galois. Finally, the notion of \(C\)-ring is introduced as a dualisation of the notion of \(A\)-coring and some dual results of the previous sections are presented.