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.

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 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.

Let R be a ring with identity and M be a right unitary R-module. In this paper we
introduce the notion of strongly coretractable modules. Some basic properties of this
class of modules are investigated and some relationships between these modules and
other related concepts are introduced. 

  Let M be an R-module, where R is commutative ring with unity. In this paper we study the behavior of strongly hollow and quasi hollow submodule in the class of strongly comultiplication modules. Beside this we give the relationships between strongly hollow and quasi hollow submodules with V-coprime, coprime, bi-hollow submodules.

       A submodule N of a module M  is said to be s-essential if it has nonzero intersection with any nonzero small submodule in M. In this article, we introduce and study a class of modules in which all its nonzero endomorphisms have non-s-essential kernels, named, strongly -nonsigular. We investigate some properties of strongly -nonsigular modules. Direct summand, direct sums and some connections of such modules are discussed.        

Let be a ring. Given two positive integers and , an module is said to be -presented, if there is an exact sequence of -modules with is -generated. A submodule of a right -module is said to be -pure in , if for every -Presented left -module the canonical map is a monomorphism. An -module has the -pure intersection property if the intersection of any two -pure submodules is again -pure. In this paper we give some characterizations, theorems and properties of modules with the -pure intersection property.

Let be a ring. Given two positive integers and , an module is said to be -presented, if there is an exact sequence of -modules with is -generated. A submodule of a right -module is said to be -pure in , if for every -Presented left -module the canonical map is a monomorphism. An -module has the -pure intersection property if the intersection of any two -pure submodules is again -pure. In this paper we give some characterizations, theorems and properties of modules with the -pure intersection property.