in this paper we investigate decompositions of submodules in modules over a proufer domain into intersections of quasi-primary and classical quasi-primary submodules. in particular, existence and uniqueness of quasi-primary decompositions in modules over a proufer domain of finite character are proved. proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decomposi...

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

In this paper, we deal with arbitrarily shaped rectilinear module placement using the transitive closure graph (TCG) representation. The geometric meanings of modules are transparent to TCG as well as its induced operations, which makes TCG an ideal representation for floorplanning/placement with arbitrary rectilinear modules. We first partition a rectilinear module into a set of submodules and...

Mat r x ( F q ) o f a l l r b y r m a t r i c e s o v e r F q , b y C t h e g r o u p G L t i ( F q ) o f t h e u n i t s of M, and by S the special linear subgroup SL , (F q ) o f C . F o r a n a r b i t r a r y field F containing F q , l e t U s t a n d f o r t h e ( c o m m u t a t i v e ) p o l y n o m i a l a l g e b r a F[xl, , x r ] , a n d c o n s i d e r U g r a d e d a s u s u a l : U...