Applications of reduced and coreduced modules II: Radicality of the functor Hom_R(R/I, -)

This is the second in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We give necessary and sufficient conditions in terms of $I$-reduced $R$-modules for the functor $\text{Hom}_R(R/I, -)$ on an Abelian full subcategory of the category of $R$-modules to be a radical. $I$-reduced and $I$-coreduced $R$-modules provide a natural setting for a generalisation of Jans' correspondence, and lead to the construction of a new radical class of rings.