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

The Hardy space H(D) can be viewed as a module over the polynomial ring C[z, w] with module action defined by multiplication of functions. The core operator is a bounded self-adjoint integral operator defined on submodules of H(D), and it gives rise to some interesting numerical invariants for the submodules. These invariants are difficult to compute or estimate in general. This paper computes ...

primary-like and weakly primary-like submodules are two new generalizations of primary ideals from rings to modules. in fact, the class of primary-like submodules of a module lie between primary submodules and weakly primary-like submodules properly.  in this note, we show that these three classes coincide when their elements are submodules of a multiplication module and satisfy the primeful pr...

On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K.Atanassov, the notion of interval valued intuitionistic fuzzyHv-submodules of anHv-module with respect to t-norm T and s-norm S is given and the characteristic properties are described. The homomorphic image and the inverse image are investigated.In particular, the connections between interval valued in...

Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...

By considering the notion of multiplication modules over a commutative ring with identity, first we introduce the notion product of two submodules of such modules. Then we use this notion to characterize the prime submodules of a multiplication module. Finally, we state and prove a version of Nakayama lemma for multiplication modules and find some related basic results. 1. Introduction. Let R b...

Given a ring of ternions R, i. e., a ring isomorphic to that of upper triangular 2×2 matrices with entries from an arbitrary commutative field F , a complete classification is performed of the vectors from the free left R-module R, n ≥ 1, and of the cyclic submodules generated by these vectors. The vectors fall into 5 + |F | and the submodules into 6 distinct orbits under the action of the gene...

We introduce the concept of "uniformly primary submodules" of a module over a commutative ring R, which generalizes the concept of "uniformly primary ideals" of R, a concept that imposes a certain boundedness condition on the usual notion of "primary ideal". Several results on uniformly primary submodules are proved. Also, we characterize uniformly primary submodules of a multiplication module....

The Springer modules have a combinatorial property called " coincidence of dimensions, " i.e., the Springer modules are naturally decomposed into submodules with common dimensions. Morita and Nakajima proved the property by giving modules with common dimensions whose induced modules are isomorphic to the submodules of Springer modules. They proved that the induced modules are isomorphic to the ...