The notion of the square submodule of a module M over an arbitrary commutative ring R, which is denoted by RM, was introduced by Aghdam and Najafizadeh in [3]. In fact, RM is the R−submodule of M generated by the images of all bilinear maps on M. Furthermore, given a submodule N of an R−module M, we say that M is nil modulo N if μ(M×M) ≤ N for all bilinear maps μ on M. The main question about t...

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

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

Progressive supranuclear palsy (PSP) has been described as a clinical syndrome characterized by an impairment of voluntary control of gaze (supranuclear palsy), postural and gait instability, and behavioral and cognitive deficits including a frontal syndrome and psychic retardation. However, in the recent years, at least four other clinical forms of PSP have been recognized: PSP-Parkinsonism, "...

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 $r$ be a domain with quotiont field $k$‎, ‎and‎ ‎let $n$ be a submodule of an $r$-module $m$‎. ‎we say that $n$ is‎ ‎powerful (strongly primary) if $x,yin k$ and‎ ‎$xymsubseteq n$‎, ‎then $xin r$ or $yin r$ ($xmsubseteq n$‎ ‎or $y^nmsubseteq n$ for some $ngeq1$)‎. ‎we show that a submodule‎ ‎with either of these properties is comparable to every prime‎ ‎submodule of $m$‎, ‎also we show tha...

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

The pathology of Alzheimer's disease (AD) is characterized by dystrophic neurites (DNs) surrounding extracellular Aβ-plaques, microgliosis, astrogliosis, intraneuronal tau hyperphosphorylation and aggregation. We have previously shown that inhibition of the spleen tyrosine kinase (Syk) lowers Aβ production and tau hyperphosphorylation in vitro and in vivo. Here, we demonstrate that Aβ-overexpre...