Tensor-Hom formalism for modules over nonunital rings
Abstract
We say that a ring $R$ is t-unital if the natural map $R\otimes_RR\rightarrow R$ is an isomorphism, and a left $R$-module $P$ is c-unital if the natural map $P\rightarrow\operatorname{Hom}_R(R,P)$ is an isomorphism. For a t-unital ring $R$, the category of t-unital left $R$-modules is a unital left module category over an associative, unital monoidal category of t-unital $R$-$R$-bimodules, while the category of c-unital left $R$-modules is opposite to a unital right module category over the same monoidal category. Any left s-unital ring $R$, as defined by Tominaga in 1975, is t-unital; and a left $R$-module is s-unital if and only if it is t-unital. For any (nonunital) ring $R$, the full subcategory of s-unital $R$-modules is a hereditary torsion class in the category of nonunital $R$-modules; and for rings $R$ arising from small preadditive categories, the full subcategory of c-unital $R$-modules is closed under kernels and cokernels. However, over a t-unital ring $R$, the full subcategory of t-unital modules need not be closed under kernels, and the full subcategory of c-unital modules need not be closed under cokernels in the category of nonunital modules. Nevertheless, the categories of t-unital and c-unital left $R$-modules are abelian and naturally equivalent to each other; they are also equivalent to the quotient category of the abelian category of nonunital modules by the Serre subcategory of modules with zero action of $R$. This is a particular case of the result from a 1996 manuscript of Quillen. We also discuss related flatness, projectivity, and injectivity properties; and study the behavior of t-unitality and c-unitality under the restriction of scalars for a homomorphism of nonunital rings. Our motivation comes from the theory of semialgebras over coalgebras over fields.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- 10.48550/arXiv.2308.16090
- arXiv:
- arXiv:2308.16090
- Bibcode:
- 2023arXiv230816090P
- Keywords:
-
- Mathematics - Rings and Algebras;
- Mathematics - Category Theory
- E-Print:
- LaTeX 2e with xy-pic