The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together w...

in this paper we introduce the concept of weakly prime ternary subsemimodules of a ternary semimodule over a ternary semiring and obtain some characterizations of weakly prime ternary subsemimodules. we prove that if $n$ is a weakly prime subtractive ternary subsemimodule of a ternary $r$-semimodule $m$, then either $n$ is a prime ternary subsemimodule or $(n : m)(n : m)n = 0$. if $n$ is a $q$-...

The submodules with the property of the title ( a submodule $N$ of an $R$-module $M$ is called strongly dense in $M$, denoted by $Nleq_{sd}M$, if for any index set $I$, $prod _{I}Nleq_{d}prod _{I}M$) are introduced and fully investigated. It is shown that for each submodule $N$ of $M$ there exists the smallest subset $D'subseteq M$ such that $N+D'$ is a strongly dense submodule of $M$ and $D'bi...

in this paper we characterize the radical of an arbitrary‎ ‎submodule $n$ of a finitely generated free module $f$ over a‎ ‎commutatitve ring $r$ with identity‎. ‎also we study submodules of‎ ‎$f$ which satisfy the radical formula‎. ‎finally we derive‎ ‎necessary and sufficient conditions for $r$ to be a‎ ‎pr$ddot{mbox{u}}$fer domain‎, ‎in terms of the radical of a‎ ‎cyclic submodule in $rbigopl...

Let R be a commutative ring with identity and let M be an infinite unitary R-module. (Unless indicated otherwise, all rings are commutative with identity 1 ̸ = 0 and all modules are unitary.)ThenM is called a Jónsson module provided every proper submodule of M has smaller cardinality than M. Dually, M is said to be homomorphically smaller (HS for short) if |M/N| < |M| for every nonzero submodule...

It is proved that if R is a valuation domain with maximal ideal P and if RL is countably generated for each prime ideal L, then R R is separable if and only RJ is maximal, where J = ∩n∈NP . When R is a valuation domain satisfying one of the following two conditions: (1) R is almost maximal and its quotient field Q is countably generated (2) R is archimedean Franzen proved in [2] that R is separ...

This article introduces the concept of S-2-absorbing primary submodule as a generalization 2-absorbing submodule. Let S be multiplicatively closed subset ring R and M an R-module. A proper N is said to if (N :R M) ? = there exists fixed element s such that whenever abm for some a,b m M, then either sam or sbm sab ?(N M). We give several examples, properties characterizations related concept. Mo...

1. [10 points] Determine whether the following statements are true or false (you have to include proofs/counterexamples): (a) Let R be an integral domain, F – a free R-module of finite rank, and M – a torsion R-module. Then there is no injective homomorphism from F to M . Solution: True. Suppose there was an injective homomorpism φ : F → M . Then let N = φ(F ); N is a submodule of M , and there...

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 ring and M a right R-module. This article introduces the concept of τ −⊕-supplemented modules as follows: Given a hereditary torsion theory in Mod-R with associated torsion functor τ we say that a module M is τ −⊕-supplemented when for every submodule N of M there exists a direct summand K of M such that M = N +K and N ∩K is τ−torsion, and M is called completely τ −⊕-supplemented if ev...