Let $M$ be a module over a commutative ring $R$ and let $N$ be a proper submodule of $M$. The total graph of $M$ over $R$ with respect to $N$, denoted by $T(Gamma_{N}(M))$, have been introduced and studied in [2]. In this paper, A generalization of the total graph $T(Gamma_{N}(M))$, denoted by $T(Gamma_{N,I}(M))$ is presented, where $I$ is an ideal of $R$. It is the graph with all elements of $...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

we state several conditions under which comultiplication and weak comultiplication modulesare cyclic and study strong comultiplication modules and comultiplication rings. in particular,we will show that every faithful weak comultiplication module having a maximal submoduleover a reduced ring with a finite indecomposable decomposition is cyclic. also we show that if m is an strong comultiplicati...

In this paper we introduce the notions of G∗L-module and G∗L-module whichare two proper generalizations of δ-lifting modules. We give some characteriza tions and properties of these modules. We show that a G∗L-module decomposesinto a semisimple submodule M1 and a submodule M2 of M such that every non-zero submodule of M2 contains a non-zero δ-cosingular submodule.

let $ m , n in mathbb{n}$, $d$ be a division ring, and $m_{m times n}(d)$ denote the bimodule of all $m times n$ matrices with entries from $d$. first, we characterize one-sided submodules of $m_{m times n}(d)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $d$. next, we introduce the notion of a nest module of matrices with entries from $d$. we ...

Let $M_R$ be a module with $S=End(M_R)$. We call a submodule $K$ of $M_R$ annihilator-small if $K+T=M$, $T$ a submodule of $M_R$, implies that $ell_S(T)=0$, where $ell_S$ indicates the left annihilator of $T$ over $S$. The sum $A_R(M)$ of all such submodules of $M_R$ contains the Jacobson radical $Rad(M)$ and the left singular submodule $Z_S(M)$. If $M_R$ is cyclic, then $A_R(M)$ is the unique ...

The notion of the square submodule of a module M over an arbitrary commutative ring R, which is denoted by RM, was introduced by Aghdam and Najafizadeh in [3]. In fact, RM is the R−submodule of M generated by the images of all bilinear maps on M. Furthermore, given a submodule N of an R−module M, we say that M is nil modulo N if μ(M×M) ≤ N for all bilinear maps μ on M. The main question about t...