Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor

DOI10.1016/J.JALGEBRA.2019.11.016MaRDI QIDQ2286338zbMATH OpenOpenAlexWikidataFDO

Authors Alex Martsinkovsky, Jeremy Russell

Publication date 22 January 2020

Published in Journal of Algebra (Search for Journal in Brave)

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

additive functor Auslander-Gruson-Jensen functor character module cotorsion quotient injective stabilization projective stabilization pure injective torsion submodule

Mathematics Subject Classification ID

Torsion theories; radicals on module categories (associative algebraic aspects) (16S90)

Abstract: The formalism of injective stabilization of additive functors is used to define a new notion of the torsion submodule of a module. It applies to arbitrary modules over arbitrary rings. For arbitrary modules over commutative domains it coincides with the classical torsion, and for finitely presented modules over arbitrary rings it coincides with the Bass torsion. A formally dual approach -- based on projective stabilization -- gives rise to a new concept: the cotorsion quotient module of a module. This is done in complete generality -- the new concept is defined for any module over any ring. Unlike torsion, cotorsion does not have classical prototypes. General properties of these constructs are established. It is shown that the Auslander-Gruson-Jensen functor applied to the cotorsion functor returns the torsion functor. As a consequence, a ring is one-sided absolutely pure if and only if each pure injective on the other side is cotorsion-free. If the injective envelope of the ring is finitely presented, then the right adjoint of the Auslander-Gruson-Jensen functor applied to the torsion functor returns the cotorsion functor. This correspondence establishes a duality between torsion and cotorsion over such rings. In particular, this duality applies to artin algebras. It is also shown that, over any ring, the character module of the torsion of a module is isomorphic to the cotorsion of the character module of the module. Under various finiteness conditions on the injective envelope of the ring, the derived functors of torsion and cotorsion are computed.

Review text

In this paper, the second in a series of three, the authors define the torsion submodule of a module by using the injective stabilization of the tensor product with the module. If the underlying ring is a commutative domain, the torsion submodule coincides with the classical torsion submodule. Dually, by considering the projective stabilization of the Hom functor, the authors define the cotorsion quotient module of a module. They show some general properties of these two concepts. In particular, they consider the Auslander-Gruson-Jensen functor and its right adjoint and establish a duality between torsion and cotorsion over a ring with finitely presented injective envelope. The authors also present the derived functors of torsion and cotorsion under some finiteness conditions on the injective envelope of a ring. For Part I, see [the authors, ibid. 530, 429--469 (2019; Zbl 1444.16009)].

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor

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