Relative regular objects in categories.

DOI10.1007/S10485-006-9048-1MaRDI QIDQ863175zbMATH OpenOpenAlexFDO

Publication date 25 January 2007

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0605606

Abelian categories coalgebras comodules graded modules locally finitely generated Grothendieck categories regular morphisms regular objects

Mathematics Subject Classification ID

Graded rings and modules (associative rings and algebras) (16W50) Abelian categories, Grothendieck categories (18E10)

Abstract: We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely generated Grothendieck categories. Applications are given for categories of comodules over a coalgebra and for categories of graded modules, and a link to the theory of generalized inverses of matrices is presented. Some of the techniques we use are new, since dealing with arbitrary categories allows us to pass to the dual category.

Review text

Let \(\mathcal A\) be a category, not necessarily Abelian. A morphism \(f\colon U\to M\) (in \(\mathcal A\)) is called regular if there exists a morphism \(h\colon M\to U\) such that \(f=fhf\). If every morphism \(U\to M\) is regular, then \(M\) is called a regular object with respect to \(U\) (or \(U\)-regular). In Section 2 of this paper, the authors give basic properties of the concept of relative regularity. Section 3 contains the study of relative regular elements in an Abelian category. The main result is Theorem 3.8, which states that if \(M_1,\dots,M_n\) are \(U\)-regular, then \(M_1\oplus\cdots\oplus M_n\) is \(U\)-regular. The working technique is based in two categorical results by Freyd and Mitchell. A dual result is obtained by using the dual of an Abelian category. Section 4 deals with the study of regularity in a locally finitely generated Grothendieck category. In such a category it is possible to define the concept of regular object. The authors give necessary and sufficient conditions for it to be semisimple. Some other results refer to the endomorphism ring of a regular object. The final section studies the regularity in two particular cases of Grothendieck categories, namely the category of graded \(R\)-modules and the category of comodules over a coalgebra. The paper is very interesting, extending many results by \textit{J. Zelmanowitz} [Trans. Am. Math. Soc. 163, 341-355 (1972; Zbl 0227.16022)].

Recommendations

Cites work

Cited in

(26)

This page was built for publication: Relative regular objects in categories.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863175)