Let R be a commutative ring with unity, M unitary R-module and G finite abelian group (viewed as \({\mathbb {Z}}\)-module). The main objective of this paper is to study properties mod-annihilators M. For \(x \in M\), we the ideals \([x : M] =\{r\in ~|~ rM\subseteq Rx\}\) corresponding mod-annihilator We investigate when [x an essential ideal R. prove that arbitrary intersection represented by i...

abstract. let (r,p) be a noetherian unique factorization do-main (ufd) and m be a finitely generated r-module. let i(m)be the first nonzero fitting ideal of m and the order of m, denotedord_r(m), be the largest integer n such that i(m) ⊆ p^n. in thispaper, we show that if m is a module of order one, then either mis isomorphic with direct sum of a free module and a cyclic moduleor m is isomorphi...

SOCLE is a hybrid representation system in which cells of constraints are identified with slots of frame networks. Constraint formulas are maintained with respect to slots in frame networks and in turn provide for the dependency regulation of values on the frames. This paper illustrates the use of SOCLE and outlines the control structure decisions made for its design and implementation.

A module M is called product closed if every hereditary pretorsion class in σ[M ] is closed under products in σ[M ]. Every module which is locally of finite length is product closed and every product closed module is semilocal. LetM ∈ R-Mod be product closed and projective in σ[M ]. It is shown that (1) M is semiartinian; (2) if M is finitely generated then M satisfies the DCC on fully invarian...

A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...