2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/73050We investigate Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting.Rings and Algebrastext