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.

Let A be a differential graded algebra with cohomology ring HA. A graded module over HA is called realisable if it is (up to direct summands) of the form HM for some differential graded A-module M . Benson, Krause and Schwede have stated a local and a global obstruction for realisability. The global obstruction is given by the Hochschild class determined by the secondary multiplication of the A...

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 $p$ be a prime, let $K$ discretely valued extension of $\mathbb{Q}_p$, and $A_{K}$ an abelian $K$-variety with semistable reduction. Extending work by Kim Marshall from the case where $p>2$ $K/\mathbb{Q}_p$ is unramified, we prove $l=p$ complement Galois cohomological formula Grothendieck for $l$-primary part N\'eron component group $A_{K}$. Our proof involves constructing, each $m\in \math...

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.