Let be a ring with 1 and D is a left module over . In this paper, we study the relationship between essentially small quasi-Dedekind modules with scalar and multiplication modules. We show that if D is a scalar small quasi-prime -module, thus D is an essentially small quasi-Dedekind -module. We also show that if D is a faithful multiplication -module, then D is an essentially small prime -module iff is an essentially small quasi-Dedekind ring.

       The basis of this paper is to study the concept of almost projective semimodules as a generalization of projective semimodules. Some of its characteristics have been discussed, as well as some results have been generalized from projective semimodules.

Let R be a ring with 1 and W is a left Module over R. A Submodule D of an R-Module W is small in W(D ≪ W) if whenever a Submodule V of W s.t W = D + V then V = W. A proper Submodule Y of an R-Module W is semismall in W(Y ≪_S W) if Y = 0 or Y/F ≪ W/F ∀ nonzero Submodules F of Y. A Submodule U of an R-Module E is essentially semismall(U ≪es E), if for every non zero semismall Submodule V of E, V∩U ≠ 0. An R-Module E is essentially semismall quasi-Dedekind(ESSQD) if Hom(E/W, E) = 0 ∀ W ≪es E. A ring R is ESSQD if R is an ESSQD R-Module. An R-Module E is a scalar R-Module if, ∀ , ∃ s.t V(e) = ze ∀ . In this paper, we study the relationship between ESSQD Modules with scalar and multiplication Modules. We show that

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 .

  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 define and study z-small quasi-Dedekind as a generalization of small quasi-Dedekind modules. A submodule  of -module  is called z-small (  if whenever  , then . Also,  is called a z-small quasi-Dedekind module if for all  implies  . We also describe some of their properties and characterizations. Finally, some examples are given.

In this paper, we study the class of prime semimodules and the related concepts, such as the class of  semimodules, the class of Dedekind semidomains, the class of prime semimodules which is invariant subsemimodules of its injective hull, and the compressible semimodules. In order to make the work as complete as possible, we stated, and sometimes proved, some known results related to the above concepts.

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.

     In this work,  injective semimodule  has been generalized to  almost -injective semimodule. The aim of this research is  to study the basic properties of the concept almost- injective semimodules. The semimodule  is called  almost  -injective semimodule if, for each subsemimodule A of  and each homomorphism  : A   , either there exists  a homomorphism  such that = . Or there exists a homomorphism : Y such that = , where Y is nonzero direct summand of , and   is the  projection map. A semimodule  is almost injective semimodule if it is almost injective relative to all semimodules. Every injective semimodule is almost injective semimodule,  if  is almost  –

        Let R be a commutative ring with  identity . In this paper  we study  the concepts of  essentially quasi-invertible submodules and essentially  quasi-Dedekind modules  as  a generalization of  quasi-invertible submodules and quasi-Dedekind  modules  . Among the results that we obtain is the following : M  is an essentially  quasi-Dedekind  module if and only if M is aK-nonsingular module,where a module M is K-nonsingular if, for each  , Kerf ≤_e M   implies   f = 0 .