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.

     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 A, and N  are a semiring ,and  a left A- semimodule, respectively. In this work we will discuss two cases: 

1. The direct summand of π-projective semi module is π-projective, while the direct sum of two π-projective semimodules in general is not π-projective . The details of the proof will be given.
2. We will give a condition under which the direct sum of two π-projective semi modules is π-projective, as well as we also set conditions under which π-projective semi modules are projective.

In modules there is a relation between supplemented and Ï€-projective semimodules. This relation was introduced, explained and investigated by many authors. This research will firstly introduce a concept of "supplement subsemimodule" analogues to the case in modules: a subsemimodule Y of a semimodule W is said to be supplement of  a subsemimodule X if it is minimal with the property X+Y=W. A subsemimodule Y is called a supplement subsemimodule if it is a supplement of some subsemimodule of W. Then, the concept of supplemented semimodule will be defined as follows: an S-semimodule W is said to be supplemented if every subsemimodule of W is a supplemen

       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.

The aim of this paper is to introduce the concept of Dedekind semimodules and study the related concepts, such as the class of  semimodules, and Dedekind multiplication semimodules .  And thus study the concept of the embedding of a semimodule in another semimodule. 

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 .

 In this work, we introduced the Jacobson radical (shortly Rad (Ș)) of the endomorphism semiring Ș =  ( ), provided that  is principal P.Q.- injective semimodule and some related concepts, we studied some properties and added conditions that we needed. The most prominent result is obtained in section three

-If   is a principal self-generator semimodule, then (_ȘȘ) = W(Ș).

Subject Classification: 16y60

In this article, the additivity of higher multiplicative mappings, i.e., Jordan mappings, on generalized matrix algebras are studied. Also, the definition of Jordan higher triple product homomorphism is introduced and its additivity on generalized matrix algebras is studied.

In this paper, we study the effect of group homomorphism on the chain of level subgroups of fuzzy groups. We prove a necessary and sufficient conditions under which the chains of level subgroups of homomorphic images of an a arbitrary fuzzy group can be obtained from that of the fuzzy groups . Also, we find the chains of level subgroups of homomorphic images and pre-images of arbitrary fuzzy groups