Abstract
An additive functor \(F \colon {\mathcal A}\to{\mathcal B}\) between preadditive categories \(\mathcal A\) and \(\mathcal B\) is said to be a local functor if, for every morphism \(f\colon A\to A'\) in \(\mathcal A\), F(f) isomorphism in \(\mathcal B\) implies f isomorphism in \(\mathcal A\). We show that there exist several pairs \((\mathcal I_1,\mathcal I_2)\) of ideals of \(\mathcal A\) for which the canonical functor \(\mathcal A\to\mathcal A/\mathcal I_1\times \mathcal A/\mathcal I_2\) is a local functor. In most of our examples, the category \(\mathcal A\) is a full subcategory of the category Mod -R of all right modules over a ring R. These pairs of ideals arise in a surprisingly natural way and enjoy several properties. Ideals are kernels of functors, and most of our examples of ideals are kernels of important and well studied functors. E.g., (1) the kernel Δ of the canonical functor P of Mod -R into its spectral category Spec(Mod -R), so that Δ is the ideal of all morphisms with an essential kernel; (2) the kernel Σ of the dual functor F of P, so that Σ is the ideal of all morphisms with a superfluous image; (3) the kernels Δ(1) and Σ(1) of the first derived functors P (1) and F (1) of P and F, respectively; (4) the kernels of suitable functors Hom and ⊗ and their first derived functors \({\rm Ext}^1_R\) and \({\rm Tor}^R_1\).
Similar content being viewed by others
References
Amini, B., Amini, A., Facchini, A.: Equivalence of diagonal matrices over local rings. J. Algebra 320, 1288–1310 (2008)
Amini, B., Amini, A., Facchini, A.: Cyclically presented modules over rings of finite type. Commun. Algebra 39, 76–99 (2010)
Anderson, F.W., Fuller, K.R.: Rings and Categories of Modules, 2nd edn. Springer, New York (1992)
Bass, H.: Algebraic K-Theory. W. A. Benjamin Inc., New York (1968)
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203–211 (1993)
Facchini, A.: Krull–Schmidt fails for serial modules. Trans. Am. Math. Soc. 348, 4561–4575 (1996)
Facchini, A.: Module Theory. Endomorphism Rings and Direct Sum Decompositions in Some Classes of Modules. Birkhäuser Verlag, Basel (1998). Reprinted in the Series Modern Birkhäuser Classics (2012)
Facchini, A.: Representations of additive categories and direct-sum decompositions of objects. Indiana Univ. Math. J. 56, 659–680 (2007)
Facchini, A.: Injective modules, spectral categories, and applications. In: Jain, S.K., Parvathi, S. (eds.) Noncommutative Rings, Group Rings, Diagram Algebras and their Applications. Contemporary Math., vol. 456, pp. 1–17. Amer. Math. Soc., Providence (2008)
Facchini, A., Ecevit, Ş., Koşan, M.T.: Kernels of morphisms between indecomposable injective modules. Glasgow Math. J. 52A, 69–82 (2010)
Facchini, A., Girardi, N.: Couniformly presented modules and dualities. In: Huynh, D.V., López Permouth, S.R. (eds.) Advances in Ring Theory, pp. 149–163. Trends in Math. Birkhäuser Verlag, Basel-Heidelberg, London, New York (2010)
Facchini, A., Girardi, N.: Auslander–Bridger modules. Comm. Algebra 40(7), 2455–2476 (2012)
Facchini, A., Herbera, D.: Projective modules over semilocal rings. In: Huynh, D.V., Jain, S.K., López-Permouth, S.R. (eds.) Algebra and its Applications. Contemporary Math., vol. 259, pp. 181–198. Amer. Math. Soc., Providence (2000)
Facchini, A., Herbera, D.: Two results on modules whose endomorphism ring is semilocal. Algebr. Represent. Theory 7, 575–585 (2004)
Facchini, A., Herbera, D.: Local morphisms and modules with a semilocal endomorphism ring. Algebr. Represent. Theory 9, 403–422 (2006)
Facchini, A., Perone, M.: Maximal ideals in preadditive categories and semilocal categories. J. Algebra Appl. 10, 1–27 (2011)
Facchini, A., Příhoda, P.: The Krull–Schmidt theorem in the case two. Algebr. Represent. Theory 14, 545–570 (2011)
Gabriel, P., Oberst, U.: Spektralkategorien und reguläre Ringe im von-Neumannschen Sinn. Math. Z. 92, 389–395 (1966)
Girardi, N.: Regular Biproduct Decompositions of Objects. PhD Dissertation, University of Padova (2012)
Mitchell, B.: Rings with several objects. Adv. Math. 8, 1–161 (1972)
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by Università di Padova (Progetto di ricerca di Ateneo CPDA105885/10 “Differential graded categories” and Progetto ex 60 % “Anelli e categorie di moduli”).
Rights and permissions
About this article
Cite this article
Facchini, A., Perone, M. On Some Noteworthy Pairs of Ideals in Mod-R . Appl Categor Struct 22, 147–167 (2014). https://doi.org/10.1007/s10485-012-9292-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-012-9292-5
Keywords
- Ideal (in a preadditive category)
- Maximal ideal (in a preadditive category)
- Local functor
- Kernel (of a functor)
- Derived functor