A new and conceptually simple procedure is derived for the computation of the maximal reachability submodule of a given submodule of the state space of a linear discrete time system over a Noethenian ring R. The procedure is effective if R is effective and if kernels and intersections can be computed. The procedure is compared with a rather different procedure by Assan e.a. published recently.

Let $G$ be a group with identity $e$. $R$ $G$-graded commutative ring and $M$ graded $R$-module. In this paper, we introduce the concept of $WAG2$-absorbing submodule. A number results concerning these classes submodules their homogeneous components are given.
 $N=\bigoplus _{h\in G}N_{h}$ submodule $h\in G.$ We say that $N_{h}$ is $h$-$WAG2$-absorbing $R_{e}$-module $M_{h}$ if $N_{h}\neq ...

The notions of quasi-prime submodules and developed  Zariski topology was introduced by the present authors in cite{ah10}. In this paper we use these notions to define a scheme. For an $R$-module $M$, let $X:={Qin qSpec(M) mid (Q:_R M)inSpec(R)}$. It is proved that $(X, mathcal{O}_X)$ is a locally ringed space. We study the morphism of locally ringed spaces induced by $R$-homomorphism $Mrightar...

A module M over an associative ring R with unity is a QTAG-module if every finitely generated submodule of any homomorphic image of M is a direct sum of uniserial modules.Over the past several years QTAG-modules have been the subject of intense investigation yet there is much to explore.The impetus for these efforts stems from the fact that the rings considered here are almost restriction free....

In this paper branching rules for the fundamental representations of the symplectic groups in positive characteristic are found. The submodule structure of the restrictions of the fundamental modules for the group Sp2n(K) to the naturally embedded subgroup Sp2n−2(K) is determined. As a corollary, inductive systems of fundamental representations for Sp∞(K) are classified. The submodule structure...

In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule con...

We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called φ-derivations) are shown to satisfy the commutation relations. Our main result states that for every so-called rig...