we call a module  essentially retractable if homr for all essential submodules n of m. for a right fbn ring r, it is shown that: (i)  a non-zero module  is retractable (in the sense that homr for all non-zero ) if and only if certain factor modules of m are essentially retractable nonsingular modules over r modulo their annihilators. (ii)  a non-zero module  is essentially retractable if and on...

In this paper, we report a miniaturized low-power wireless remote environmental monitoring system. This system has been developed for on-site monitoring of water pollution by heavy-metal ions. The system is composed of three parts: an electrochemical sensor module using microfabricated electrodes for detecting heavy-metal contamination in sample water; a custom potentiostat module including rea...

A language for programming-in-the-large should support architectural descriptions of an entire product line. The evaluation of programs-in-the-large should generate the architecture of individual products and should link implementations-in-the-small to form an executable product. The Standard ML (SML) module language 20] could serve this task, but it is not referentially transparent. Furthermor...

We call a module  essentially retractable if HomR for all essential submodules N of M. For a right FBN ring R, it is shown that: (i)  A non-zero module  is retractable (in the sense that HomR for all non-zero ) if and only if certain factor modules of M are essentially retractable nonsingular modules over R modulo their annihilators. (ii)  A non-zero module  is essentially retractable if and on...

let $r$ be a commutative ring. we write $mbox{hom}(mu_a, nu_b)$ for the set of all fuzzy $r$-morphisms from $mu_a$ to $nu_b$, where $mu_a$ and $nu_b$ are two fuzzy $r$-modules. we make$mbox{hom}(mu_a, nu_b)$ into fuzzy $r$-module by redefining a function $alpha:mbox{hom}(mu_a, nu_b)longrightarrow [0,1]$. we study the properties of the functor $mbox{hom}(mu_a,-):frmbox{-mod}rightarrow frmbox{-mo...

let $a$ be a $c^*$-algebra and $e$ be a left hilbert $a$-module. in this paper we define a product on $e$ that making it into a banach algebra and show that under the certain conditions $e$  is arens regular. we also study the relationship between derivations of $a$ and $e$.

the main objective of this study is to swing krull intersection theorem in primary decomposition of rings and modules to the primary decomposition of soft rings and soft modules. to fulfill this aim several notions like soft prime ideals, soft maximal ideals, soft primary ideals, and soft radical ideals are introduced for a soft ring over a given unitary commutative ring. consequently, the p...

let r be a commutative ring with identity. let n and k be two submodules of a multiplication r-module m. thenn=im and k=jm for some ideals i and j of r. the product of n and k denoted by nk is defined by nk=ijm. inthis paper we characterize some particular cases of multiplication modules by using the product of submodules.

the largest class of algebraic hyper structures satisfying the module like axioms is the v h -module. in this paper, we consider the category of v h -modules and prove that the direct limit alwaysexists in this category. direct limits are defined by a universal property, and so are unique. the mostpowerful tool in order to obtain a module from a given v h - module is the quotient out procedure....

This thesis presents several module systems, in particular Mei and DMei, designed for mechanized mathematics systems. Mei is a λ-calculus style module system that supports higher-order functors in a natural way. The semantics of functor application is based on substitution. A novel coercion mechanism integrates a parameter passing mechanism based on theory interpretations with simple λ-calculus...