English

Torsion functors, small or large

Commutative Algebra 2019-05-01 v2

Abstract

Let a\mathfrak{a} be an ideal in a commutative ring RR. For an RR-module MM, we consider the small a\mathfrak{a}-torsion Γa(M)={xMnN:an(0:Rx)}\Gamma_{\mathfrak{a}}(M)=\{x\in M\mid\exists n\in\mathbb{N}:\mathfrak{a}^n\subseteq(0:_Rx)\} and the large a\mathfrak{a}-torsion Γa(M)={xMa(0:Rx)}\overline{\Gamma}_{\mathfrak{a}}(M)=\{x\in M\mid\mathfrak{a}\subseteq\sqrt{(0:_Rx)}\}. This gives rise to two functors Γa\Gamma_{\mathfrak{a}} and Γa\overline{\Gamma}_{\mathfrak{a}} that coincide if RR is noetherian, but not in general. In this article, basic properties of as well as the relation between these two functors are studied, and several examples are presented, showing that some well-known properties of torsion functors over noetherian rings do not generalise to non-noetherian rings.

Keywords

Cite

@article{arxiv.1807.07851,
  title  = {Torsion functors, small or large},
  author = {Fred Rohrer},
  journal= {arXiv preprint arXiv:1807.07851},
  year   = {2019}
}

Comments

To appear in Beitr. Algebra Geom.; some typos corrected

R2 v1 2026-06-23T03:08:34.939Z