Submodule construction is the problem of finding a new submodule which, together with a given submodule, provides a behavior that conforms to a given desired global behavior. A new formulation of this problem and its solution in first-order logic is presented, and it is shown how the known solutions to this problem in the context of various communication paradigms and specification formalisms c...

An R-module A is called GF-regular if, for each a ∈ A and r ∈ R, there exist t ∈ R and a positive integer n such that r(n)tr(n)a = r(n)a. We proved that each unitary R-module A contains a unique maximal GF-regular submodule, which we denoted by M GF(A). Furthermore, the radical properties of A are investigated; we proved that if A is an R-module and K is a submodule of A, then MGF(K) = K∩M GF(A...

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

Let R be a commutative ring with non-zero identity and let M be a non-zero unitary R-module. The concept of fuzzy coprimary submodule as a dual notion of fuzzy primary one will be introduced and some of its properties will be studied. Among other things, the behavior of this concept with respect to fuzzy localization formation and fuzzy quotient will be examined.

In this paper, all rings are associative with identity and all modules are unital left modules unless otherwise specified. Let R be a ring and M a module. N ≤M will mean N is a submodule of M. A submodule E of M is called essential in M (notation E ≤e M) if E∩A = 0 for any nonzero submodule A of M. Dually, a submodule S of M is called small in M (notation S M) if M = S+T for any proper submodul...

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.

We study the growth of the Mordell-Weil groups E(Kn) of an elliptic curve E as Kn runs through the intermediate fields of a Zp-extension. We describe those Zp-extensions K∞/K where we expect the ranks to grow to infinity. In the cases where we know or expect the rank to grow, we discuss where we expect to find the submodule of universal norms. 2000 Mathematics Subject Classification: Primary 11...