Torsion functors, small or large

Abstract: Let

m a t h f r a k a

be an ideal in a commutative ring

R

. For an

R

-module

M

, we consider the small

m a t h f r a k a

-torsion

G a m m a_{m a t h f r a k a} (M) = x i n M m i d e x i s t s n i n m a t h b b N : m a t h f r a k a^{n} s u b s e t e q (0 :_{R} x)

and the large

m a t h f r a k a

-torsion

o v e r l i n e {G a m m a}_{m a t h f r a k a} (M) = x i n M m i d m a t h f r a k a s u b s e t e q s q r t (0 :_{R} x)

. This gives rise to two functors

G a m m a_{m a t h f r a k a}

and

o v e r l i n e {G a m m a}_{m a t h f r a k a}

that coincide if

R

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Torsion functors, small or large

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