Top-down design methodology is one of the widely used approaches to the design of complex concurrent systems. In this approach, the speciication of a system is decomposed into a set of submodules whose concurrent behavior is equivalent to that of the system speciication. The following problem is of particular importance when using this methodology: given the speciication of a system and some of...

In a finite-dimensional vector space, every subspace is finite-dimensional and the dimension of a subspace is at most the dimension of the whole space. Unfortunately, the naive analogue of this for modules and submodules is wrong: (1) A submodule of a finitely generated module need not be finitely generated. (2) Even if a submodule of a finitely generated module is finitely generated, the minim...

in this paper we introduce the notions of g∗l-module and g∗l-module whichare two proper generalizations of δ-lifting modules. we give some characteriza tions and properties of these modules. we show that a g∗l-module decomposesinto a semisimple submodule m1 and a submodule m2 of m such that every non-zero submodule of m2 contains a non-zero δ-cosingular submodule.

During this search all rings are commutative and modules unitary. In we introduced the concept of Restrict Nearly semi-prime Sub-modules as generalization give some basic properties, examples charactarizations concepts stablished sufficient conditions on to be

In this paper, we show that under a mild condition, principal submodule of the Bergman module on bounded strongly pseudoconvex domain with smooth boundary in Cn is p-essentially normal for all p>n. This improves previous result by first author and K. Wang, which it was shown any polynomial-generated unit ball Bn As consequence, La2(Bn) consisting functions vanishing an analytic subset pure codi...

In this paper we introduce the notions of G∗L-module and G∗L-module whichare two proper generalizations of δ-lifting modules. We give some characteriza tions and properties of these modules. We show that a G∗L-module decomposesinto a semisimple submodule M1 and a submodule M2 of M such that every non-zero submodule of M2 contains a non-zero δ-cosingular submodule.

The He I photoelectron spectra o f the group V trihydrides and trihalides are assigned on the basis of a qualitative D 3h/C3v—MO model which includes the analogous group III trihalides. Trends and irregularities across the series by varying either the central atoms or the substituents are discussed. Using experimentally fitted (PES) and optimized parametrization the new SCC —X a m ethod yields ...

In this article, we develop the tool of saturation in the context of primary-like submodules of modules. We are particularly interested in relationships among the saturation of a primary-like submodule satisfying the primeful property and its radical. Furthermore, we provide sufficient conditions involving saturation and torsion arguments under which the radical of such a submodule is prime.

Let R be a commutative ring with identity and let M be a torsion free R-module. Several characterizations of distributive modules are investigated. Indeed, among other equivalent conditions, we prove that M is distributive if and only if any primal submodule of M is irreducible, and, if and only if each submodule of M can be represented as an intersection of irreducible isolated components. MSC...

Let be a commutative ring with 1 and left unitary . In this paper, the generalizations for notions of compressible module retractable are given. An is termed to semi-essentially if can embedded in every non-zero semi-essential submodules. module, submodule an Some their advantages characterizations examples We also study relation between these classes some other modules.