Throughout this work we introduce the notion of Annihilator-closed submodules, and we give some basic properties of this concept. We also introduce a generalization for the Extending modules, namely Annihilator-extending modules. Some fundamental properties are presented as well as  we discuss the relation between this concept and some other related concepts.

Let be a commutative ring with unity and let be a non-zero unitary module. In
this work we present a -small projective module concept as a generalization of small
projective. Also we generalize some properties of small epimorphism to δ-small
epimorphism. We also introduce the notation of δ-small hereditary modules and δ-small
projective covers.

     This paper aims to introduce the concepts of  -closed, -coclosed, and -extending modules as generalizations of the closed, coclossed, and extending modules,  respectively. We will prove some properties as when the image of the e*-closed submodule is also e*-closed and when the submodule of the e*-extending module is e*-extending. Under isomorphism, the e*-extending modules are closed. We will study the quotient of e*-closed and e*-extending, the direct sum of e*-closed, and the direct sum of e*-extending.

Let  be a commutative ring with an identity and be a unitary -module. We say that a non-zero submodule  of  is  primary if for each with en either or  and an -module  is a small primary if   =  for each proper submodule  small in. We provided and demonstrated some of the characterizations and features of these types of submodules (modules).  

We introduce the notion of t-polyform modules. The class of t- polyform modules contains the class of polyform modules and contains the class of t-essential quasi-Dedekind.

     Many characterizations of t-polyform modules are given. Also many connections between these class of modules and other types of modules are introduced.

  Let R be a commutative ring with unity. In this paper we introduce and study the concept of strongly essentially quasi-Dedekind module as a generalization of essentially quasiDedekind module. A unitary R-module M is called a strongly essentially quasi-Dedekind module if ( , ) 0 Hom M N M for all semiessential submodules N of M. Where a submodule N  of  an R-module  M  is called semiessential if , 0  pN for all nonzero prime submodules  P of  M .
 

In this paper, we introduce the concept of e-small M-Projective modules as a generalization of M-Projective modules.

A submodule Ϝ of an R-module Ε is called small in Ε if whenever  , for some submodule W of Ε , implies  . In this paper , we introduce the notion of Ζ-small submodule , where a proper submodule Ϝ of an R-module Ε is said to be Ζ-small in Ε if  , such that  , then  , where  is the second singular submodule of Ε . We give some properties of Ζ-small submodules . Moreover , by using this concept , we generalize the notions of hollow modules , supplement submodules, and supplemented modules into Ζ-hollow modules, Ζ-supplement submodules, and Ζ-supplemented modules. We study these concepts and provide some of their relations .

         The main goal of this paper is to give  a new generalizations for two important classes in the category of modules, namely the class of small submodules and the class of hollow modules. They are purely small submodules and purely hollow modules respectively. Various properties of these classes of modules are investigated. The relationship between purely small submodules and P-small submodules which is introduced by Hadi and Ibrahim, is studied. Moreover, another characterization of  purely hollow modules is considered.