carbon molecular sieve membranes (cmsms) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. because of the importance of carbon membranes and a large number of stud...

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...

All rings are commutative with identity and all modules are unital. The tensor product of projective (resp. flat, multiplication) modules is a projective (resp. flat, multiplication) module but not conversely. In this paper we give some conditions under which the converse is true. We also give necessary and sufficient conditions for the tensor product of faithful multiplication Dedekind (resp. ...

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...

In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated sub-systems a...

In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated subsystems ar...

let $r$ be a right artinian ring or a perfect commutative‎‎ring‎. ‎let $m$ be a noncosingular self-generator $sum$-lifting‎‎module‎. ‎then $m$ has a direct decomposition $m=oplus_{iin i} m_i$‎,‎where each $m_i$ is noetherian quasi-projective and each‎‎endomorphism ring $end(m_i)$ is local‎.

It is proved that EJ is injective if E is an injective module over a valuation ring R, for each prime ideal J 6= Z. Moreover, if E or Z is flat, then EZ is injective too. It follows that localizations of injective modules over h-local Prüfer domains are injective too. If S is a multiplicative subset of a noetherian ring R, it is well known that SE is injective for each injective R-module E. The...