A note on -modules.
Many infinite finitely generated ideal-simple commutative semirings are additively idempotent. It is not clear whether this is true in general. However, to solve the problem, one can restrict oneself only to parasemifields.
A left module over an arbitrary ring is called an -module (or an -module) if every submodule of with is a direct summand of (a supplement in, respectively) . In this paper, we investigate the various properties of -modules and -modules. We prove that is an -module if and only if , where is semisimple. We show that a finitely generated -module is semisimple. This gives us the characterization of semisimple rings in terms of -modules. We completely determine the structure of these...
We discuss the existence of tilting modules which are direct limits of finitely generated tilting modules over tilted algebras.