In this paper, we introduce a new concept named St-polyform modules, and show that the class of St-polyform modules is contained properly in the well-known classes; polyform, strongly essentially quasi-Dedekind and ?-nonsingular modules. Various properties of such modules are obtained. Another characterization of St-polyform module is given. An existence of St-polyform submodules in certain class of modules is considered. The relationships of St-polyform with some related concepts are investigated. Furthermore, we introduce other new classes which are; St-semisimple and ?-non St-singular modules, and we verify that the class of St-polyform modules lies between them.

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

Throughout this paper we introduce the concept of quasi closed submodules which is weaker than the concept of closed submodules. By using this concept we define the class of fully extending modules, where an R-module M is called fully extending if every quasi closed submodule of M is a direct summand.This class of modules is stronger than the class of extending modules. Many results about this concept are given, also many relationships with other related concepts are introduced.

In this work, the notion of principally quasi- injective semimodule is introduced, discussing the conditions needed to get properties and characterizations similar or related to the case in modules.

      Let  be an -semimodule with endomorphism semiring Ș. The semimodule  is called principally quasi-injective, if every  -homomorphism from any cyclic subsemimodule of  to  can be extended to an endomorphism of .

According to the wide appearance of Dedekind sums in different applications on different subjects, a new approach for the equivalence of the essential and sufficient condition for ( ) ( ) in and ( ) ( ) in where ( ) Σ(( ))(( )) and the equality of .two .Dedekind sums with their connections is given. The conditions for ( ) ( ) in which is equivalent to ( )– ( ) in were demonstrated with condition that of does not divide . Some applications for the important of Dedekind sums were given.

        Throughout this paper, three concepts are introduced namely stable semisimple modules, stable t-semisimple modules and strongly stable t-semisimple. Many features co-related with these concepts are presented. Also many connections between these concepts are given. Moreover several relationships between these classes of modules and other co-related classes and other related concepts are introduced.

Let R be a commutative ring with unity 1 6= 0, and let M be a unitary left module over R. In this paper we introduce the notion of epiform∗ modules. Various properties of this class of modules are given and some relationships between these modules and other related modules are introduced.

      In this paper, we introduce the concept of a quasi-radical semi prime submodule. Throughout this work, we assume that    is a commutative ring with identity and  is a left unitary R- module. A  proper submodule  of  is called a quasi-radical semi prime submodule (for short Q-rad-semiprime), if     for   ,   ,and then  . Where   is the intersection of all prime submodules of .

      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.