We initiate the study of 1-torsion of finite modules over two-sided noetherian semiperfect rings. In particular, we give a criterion for determining when the 1-torsion submodule contains minimal generators of the module. We also provide an explicit construction for a projective cover of the submodule generated by the torsion elements in the top of the module. Some of the obtained results hold w...

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.

In this paper, we show that under a mild condition, principal submodule of the Bergman module on bounded strongly pseudoconvex domain with smooth boundary in Cn is p-essentially normal for all p>n. This improves previous result by first author and K. Wang, which it was shown any polynomial-generated unit ball Bn As consequence, La2(Bn) consisting functions vanishing an analytic subset pure codi...

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

Let $R$ be a commutative ring with identity and let $M$ be an $R$-module. A proper submodule $P$ of $M$ is called strongly prime submodule if $(P + Rx : M)ysubseteq P$ for $x, yin M$, implies that $xin P$ or $yin P$. In this paper, we study more properties of strongly prime submodules. It is shown that a finitely generated $R$-module $M$ is Artinian if and only if $M$ is Noetherian and every st...

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

The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together w...