A note on block triangular presentations of rings and finitistic dimension
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.
We study the free complexification operation for compact quantum groups, . We prove that, with suitable definitions, this induces a one-to-one correspondence between free orthogonal quantum groups of infinite level, and free unitary quantum groups satisfying .
If is a smooth scheme over a perfect field of characteristic , and if is the sheaf of differential operators on [7], it is well known that giving an action of on an -module is equivalent to giving an infinite sequence of -modules descending via the iterates of the Frobenius endomorphism of [5]. We show that this result can be generalized to any infinitesimal deformation of a smooth morphism in characteristic , endowed with Frobenius liftings. We also show that it extends to adic...
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...