This paper addresses the problem of designing a submodule of a given system of communicating timed I/O automata. The problem may be formulated mathematically by the equation (C||X)rA under the constraint IX=In, where C represents the specification of the known part of the system, called the context, A represents the specification of the whole system, X represents the specification of the submod...

1 Basic Properties Definition 1. Let X be a scheme. We denote the category of sheaves of OX -modules by OXMod or Mod(X). The full subcategories of qausi-coherent and coherent modules are denoted by Qco(X) and Coh(X) respectively. Mod(X) is a grothendieck abelian category, and it follows from (AC,Lemma 39) and (H, II 5.7) that Qco(X) is an abelian subcategory of Mod(X). If X is noetherian, then ...

If N is a submodule of the R-module M , and a ∈ R, let λa : M/N → M/N be multiplication by a. We say that N is a primary submodule of M if N is proper and for every a, λa is either injective or nilpotent. Injectivity means that for all x ∈ M , we have ax ∈ N ⇒ x ∈ N . Nilpotence means that for some positive integer n, aM ⊆ N , that is, a belongs to the annihilator of M/N , denoted by ann(M/N). ...

in this paper, we give a generalization of the integral dependence from rings to modules. we study the stability of the integral closure with respect to various module theoretic constructions. moreover, we introduce the notion of integral extension of a module and prove the lying over, going up and going down theorems for modules.

Let R be ring and M a right R-module. This article introduces the concept of τ −⊕-supplemented modules as follows: Given a hereditary torsion theory in Mod-R with associated torsion functor τ we say that a module M is τ −⊕-supplemented when for every submodule N of M there exists a direct summand K of M such that M = N +K and N ∩K is τ−torsion, and M is called completely τ −⊕-supplemented if ev...

We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S ? Solutions to this problem have been described in the context of various specification formal...

1. [10 points] Determine whether the following statements are true or false (you have to include proofs/counterexamples): (a) Let R be an integral domain, F – a free R-module of finite rank, and M – a torsion R-module. Then there is no injective homomorphism from F to M . Solution: True. Suppose there was an injective homomorpism φ : F → M . Then let N = φ(F ); N is a submodule of M , and there...

This paper focuses on the engineering trade-offs in designing capacitor voltage balancing schemes for modular multilevel converters (MMC) HVDC: regulation performance and switching loss. MMC is driven by the on/off switch operation of numerous submodules and the key design concern is balancing submodule capacitor voltages minimizing switching transition among submodules because it represents th...

BRST-resolution is studied for the principally graded Wakimoto module of ŝl2 recently found in [9]. The submodule structure is completely determined and irreducible representations can be obtained as the zero-th cohomology group. e-mail:[email protected]