let $r$ be a commutative ring with identity and let $m$ be an $r$-module. a proper submodule $p$ of $m$ is called strongly prime submodule if $(p + rx : m)ysubseteq p$ for $x, yin m$, implies that $xin p$ or $yin p$. in this paper, we study more properties of strongly prime submodules. it is shown that a finitely generated $r$-module $m$ is artinian if and only if $m$ is noetherian and every st...

Let R be a commutative Noetherian ring and let M be a nitely generated R-module. If I is an ideal of R generated by M-regular sequence, then we study the vanishing of the rst Tor functors. Moreover, for Artinian modules and coregular sequences we examine the vanishing of the rst Ext functors.

let m be an artinian module over the commutative ring a (with nonzero identity) and a p spec a be such that a is a finitely generated ideal of a and am = m. also suppose that h = h where h. = m/ (0: a )for i

Let ∆ be a triangulated homology ball whose boundary complex is ∂∆. A result of Hochster asserts that the canonical module of the Stanley–Reisner ring of ∆, F[∆], is isomorphic to the Stanley–Reisner module of the pair (∆, ∂∆), F[∆, ∂∆]. This result implies that an Artinian reduction of F[∆, ∂∆] is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction ...

Let (R,m) be a commutative Noetherian complete local ring, a an ideal of R, and A an Artinian R-module with N-dim A = d. We prove that if d > 0, then Cosupp(H d−1(A)) is finite and if d ≤ 3, then the set Coass(H i (A)) is finite for all i. Moreover, if either d ≤ 2 or the cohomological dimension cd(a) = 1 then H i (A) is a-coartinian for all i; that is, Torj (R/a,H a i (A)) is Artinian for all ...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...