Homology with respect to a kernel transformation

In this article we first give the relations between commonly used images of a morphism in a category. We then investigate d-homology in a category with certain properties, for a kernel transformation d. In particular, we show that, in an abelian category, d-homology, where d is induced by the subtraction operation, is the standard homology and that in more general categories the d-homology for a trivial d is zero. We also compute through examples the d-homology for certain kernel transformations d in such categories as R-modules, abelian groups and short exact sequences of R-modules. Finally, we characterize kernel transformations in the categories of R-modules, finitely generated R-modules, partial sets and pointed sets.

Homology with respect to a kernel transformation

In this article we first give the relations between commonly used images of a morphism in a category. We then investigate d-homology in a category with certain properties, for a kernel transformation d. In particular, we show that, in an abelian category, d-homology, where d is induced by the subtraction operation, is the standard homology and that in more general categories the d-homology for a trivial d is zero. We also compute through examples the d-homology for certain kernel transformations d in such categories as R-modules, abelian groups and short exact sequences of R-modules. Finally, we characterize kernel transformations in the categories of R-modules, finitely generated R-modules, partial sets and pointed sets.

___

  • Borceux, F.: Handbook of Categorical Algebra, Cambridge Univ. Press, Vol 1-3, 1994.
  • Borceux, F. and Bourn, D.: MalCev, Protomodular, Homological and Semi-Abelian Categories, Kluwer Academic Publishers, 2004.
  • Cockett, J.R.B. and Lack, S.: Restriction categories I: Categories of partial maps, Theoretical Computer Science, Vol. 270, No. 1, pp. 223-259, Elsevier, (2002).
  • Eisenbud, D. and Harris, J.: The Geometry of Schemes, Springer, 1999.
  • Freyd, P.: Abelian Categories, Harper and Row, 1964.
  • Gelfand, S.I. and Manin, Y.I.: Homological Algebra, Springer-Verlag, 1999.
  • Hosseini, S.N. and Mielke, M.V.: Universal Monos in Partial Morphism Categories, Applied Categorical Structures, Online, Springer (2007).
  • Humphreys, J.E.: Linear Algebraic Groups, Springer, 1975.
  • MacLane, S.: Categories for the Working Mathematician, Springer-Verlag, 1971.
  • MacLane, S. and Moerdijk, I.: Sheaves in Geometry and Logic, Springer-Verlag, 1992.
  • Mu ¨*oz Parras, J.M.: On the Structure of the Birational Abel Morphisms, Mathematische Annalen, 281, 1-6, n*oz Parras, J.M.: On the Structure of the Birational Abel Morphisms, Mathematische Annalen, 281, 1-6, Springer-Verlag, (1988).
  • Osborne, M.S.: Basic Homological Algebra, Springer-Verlag, 2000.
  • Schubert, H.: Categories, Springer-Verlag, 1972.
  • Seyed Naser HOSSEINI, Mohammad Zaher KAZEMI BANEH Mathematics Department, Shahid Bahonar University of Kerman Kerman-IRAN e-mail: nhoseini@mail.uk.ac.ir