Modules whose hereditary pretorsion classes are closed under products

A module M is called product closed if every hereditary pretorsion class in σ[M] is closed under products in σ[M]. Every module M which is locally of finite length (every finitely generated submodule of M has finite length) is product closed and every product closed module M is semilocal (M/J(M) is semisimple). Let image be product closed and projective in σ[M]. It is shown that (1) M is semiartinian; (2) if M is finitely generated then M satisfies the DCC on fully invariant submodules; (3) M has finite length if M is finitely generated and every hereditary pretorsion class in σ[M] is M-dominated. If the ring R is commutative it is proven that M is product closed if and only if M is locally of finite length.