In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective semimodules are e-injective, and characterize one-sided Noetherian rings in terms of direct sums of e-injective semimodules. Also, we give complete characterizations of bounded distributive lattices, subtractive semirings, and simple semirings, all of whose cyclic (finitely generated) semimodules are e-injective.
In this paper, we introduce and study V- and CI-semirings---semirings all of whose simple and cyclic, respectively, semimodules are injective. We describe V-semirings for some classes of semirings and establish some fundamental properties of V-semirings. We show that all Jacobson-semisimple V-semirings are V-rings. We also completely describe the bounded distributive lattices, Gelfand, subtractive, semisimple, and anti-bounded, semirings that are CI-semirings. Applying these results, we give complete characterizations of congruence-simple subtractive and congruence-simple anti-bounded CI-semirings which solve two earlier open problems for these classes of CI-semirings.
This paper is an exposition of the so-called injective Morita contexts (in which the connecting bimodule morphisms are injective) and Morita $alpha$contexts (in which the connecting bimodules enjoy some local projectivity in the sense of Zimmermann-H
uisgen). Motivated by situations in which only one trace ideal is in action, or the compatibility between the bimodule morphisms is not needed, we introduce the notions of Morita semi-contexts and Morita data, and investigate them. Injective Morita data will be used (with the help of static and adstatic modules) to establish equivalences between some intersecting subcategories related to subcategories of modules that are localized or colocalized by trace ideals of a Morita datum. We end up with applications of Morita $alpha$-contexts to $ast$-modules and injective right wide Morita contexts.
Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^circ$ in $R^A$.
