Let R be a commutative ring with unity. Let W be an R-module, for K≤F, where F is a submodule of W and K is said to be R-annihilator coessential submodule of F in W (briefly R-a-coessential) if  (denoted by K  F in W). An R-module W is called strongly hollow -R-annihilator -lifting module (briefly, strongly hollow-R-a-lifting), if for every submodule F of W with  hollow, there exists a fully invariant direct summand K of W such that K  F in W. An R - module W is called strongly R - annihilator - ( hollow - lifting ) module ( briefly strongly R - a - ( hollow - lifting ) module ), if for every submodule F of W with   R - a - hollow, there exists a fully invariant direct summand K o

    Let R be a commutative ring with unity and M be a non zero unitary left R-module. M is called a hollow module if every proper submodule N of M is small (N ≪ M), i.e. N + W ≠ M for every proper submodule W in M. A δ-hollow module is a generalization of hollow module, where an R-module M is called δ-hollow module if every proper submodule N of M is δ-small (N δ  M), i.e. N + W ≠ M for every proper submodule W in M with M W is singular. In this work we study this class of modules and give several fundamental properties related with this concept

Let R be a commutative ring with unity and let M be an R-module. In this paper we
study strongly (completely) hollow submodules and quasi-hollow submodules. We investigate
the basic properties of these submodules and the relationships between them. Also we study
the be behavior of these submodules under certain class of modules such as compultiplication,
distributive, multiplication and scalar modules. In part II we shall continue the study of these
submodules.

A non-zero module M is called hollow, if every proper submodule of M is small. In this work we introduce a generalization of this type of modules; we call it prime hollow modules. Some main properties of this kind of modules are investigated and the relation between these modules with hollow modules and some other modules are studied, such as semihollow, amply supplemented and lifting modules.

Let R be any ring with identity, and let M be a unitary left R-module. A submodule K of M is called generalized coessential submodule of N in M, if Rad( ). A module M is called generalized hollow-lifting module, if every submodule N of M with is a hollow module, has a generalized coessential submodule of N in M that is a direct summand of M. In this paper, we study some properties of this type of modules.

Let M be an R-module. We introduce in this paper the concept of strongly cancellation module as a generalization of cancellation modules. We give some characterizations about this concept, and some basic properties. We study the direct sum and the localization of this kind of modules. Also we prove that every module over a PID is strongly module and we prove every locally strong module is strongly module.

A submoduleA of amodule M is said to be strongly pure , if for each finite subset {ai} in A , (equivalently, for each a ?A) there exists ahomomorphism f : M ?A such that f(ai) = ai, ?i(f(a)=a).A module M is said to be strongly F–regular if each submodule of M is strongly pure .The main purpose of this paper is to develop the properties of strongly F–regular modules and study modules with the property that the intersection of any two strongly pure submodules is strongly pure .

     Let  be an R-module, and let  be a submodule of . A submodule  is called -Small submodule () if for every submodule  of  such that  implies that . In our work we give the definition of -coclosed submodule and -hollow-lifiting modules with many properties.

      In this paper, we introduced module that satisfying strongly -condition modules and strongly -type modules as generalizations of t-extending. A module  is said strongly -condition if for every submodule of  has a complement which is fully invariant direct summand. A module   is said to be strongly -type modules if every t-closed submodule has a complement which is a fully invariant direct summand. Many characterizations for modules with strongly -condition for strongly -type module are given. Also many connections between these types of module and some related types of modules are investigated.