In this paper, the concept of fully stable Banach Algebra modules relative to an ideal has been introduced. Let A be an algebra, X is called fully stable Banach A-module relative to ideal K of A, if for every submodule Y of X and for each multiplier ?:Y?X such that ?(Y)?Y+KX. Their properties and other characterizations for this concept have been studied.

       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 A be a unital algebra, a Banach algebra module M is strongly fully stable Banach A-module relative to ideal K of A, if for every submodule N of M and for each multiplier θ : N → M such that θ(N) ⊆ N ∩ KM. In this paper, we adopt the concept of strongly fully stable Banach Algebra modules relative to an ideal which generalizes that of fully stable Banach Algebra modules and we study the properties and characterizations of strongly fully stable Banach A-module relative to ideal K of A.

We introduce the notion of t-polyform modules. The class of t- polyform modules contains the class of polyform modules and contains the class of t-essential quasi-Dedekind.

     Many characterizations of t-polyform modules are given. Also many connections between these class of modules and other types of modules are introduced.

Let R be a commutative ring with non-zero identity element. For two fixed positive integers m and n. A right R-module M is called fully (m,n) -stable relative to ideal A of , if for each n-generated submodule of Mm and R-homomorphism . In this paper we give some characterization theorems and properties of fully (m,n) -stable modules relative to an ideal A of . which generalize the results of fully stable modules relative to an ideal A of R.

 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 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  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 introduce and study the concepts of semisimple gamma modules , regular gamma modules and fully idempotent gamma modules as a generalization of semisimple ring. An module is called fully idempotent (semisimple , regular) if for all submodule of (every submodule is a direct summand, for each , there exists and such that . We study some properties and relationships between them.

The aim of this paper is introducing the concept of (ɱ,ɳ) strong full stability B-Algebra-module related to an ideal. Some properties of (ɱ,ɳ)- strong full stability B-Algebra-module related to an ideal have been studied and another characterizations have been given. The relationship of (ɱ,ɳ) strong full stability B-Algebra-module related to an ideal that states,  a B- -module Ӽ is (ɱ,ɳ)- strong full stability B-Algebra-module related to an ideal  , if and only if  for any two ɱ-element sub-sets and of Ӽ^ɳ, if , for each j = 1, …, ɱ,  i = 1,…, ɳ  and   implies _Ạɳ( ) _Ạɳ(  have been proved..