Suppose that is an innnite set and k is a natural number. Let ] k denote the set of all k-subsets of and let F be a eld. In this paper we study the FSym(()-submodule structure of the permutation module F] k. Using the representation theory of nite symmetric groups, we show that every submodule of F] k can be written as an intersection of kernels of certain FSym(()-homomorphisms F] k ?! F] l for...

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

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

We deal with the construction of linear connections associated second order ordinary differential equations and without first constraints. use a novel method allowing glueing submodule covariant derivatives to produce new, closed form expressions for Massa-Pagani connection our extension it constrained case.

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.

A module $M$ is called $emph{H}$-cofinitely supplemented if for every cofinite submodule $E$ (i.e. $M/E$ is finitely generated) of $M$ there exists a direct summand $D$ of $M$ such that $M = E + X$ holds if and only if $M = D + X$, for every submodule $X$ of $M$. In this paper we study factors, direct summands and direct sums of $emph{H}$-cofinitely supplemented modules. Let $M$ be an $emph{H}...

Let M be a right R-module. We call M Rad-H-supplemented iffor each Y M there exists a direct summand D of M such that(Y + D)/D (Rad(M) + D)/D and (Y + D)/Y (Rad(M) + Y )/Y .It is shown that:(1) Let M = M1M2, where M1 is a fully invariant submodule of M.If M is Rad-H-supplemented, thenM1 andM2 are Rad-H-supplemented.(2) Let M = M1 M2 be a duo module and Rad--supplemented. IfM1 is radical M2-...