Let Δ be an abelian group. By considering the notion multiplication of Δ-graded modules (see [7]) over a commutative Δ-graded ring with unity, we introduce the notion of product of two Δ-graded submodules which we use to characterize the Δ-graded prime submodules of a multiplication Δ-graded module. Finally we proved a graded version of Nakayama lemma for multiplication Δ-graded modules.

We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a D-module. This generalizes a well known bound on the complexity of a Gröbner basis of a module over the algebra of polynomials. We would like to emphasize that the obtained bound can not be immediately deduced from the commutative case. Introduction Let A be the Weyl algebra F [X1, ....

We compute the Hilbert coefficients of a graded module with pure resolution and discuss lower and upper bounds for these coefficients for arbitrary graded modules.

We prove that the first complex homology of the Johnson subgroup of the Torelli group Tg is a non-trivial, unipotent Tg-module for all g ≥ 4 and give an explicit presentation of it as a Sym • H1(Tg,C)-module when g ≥ 6. We do this by proving that, for a finitely generated group G satisfying an assumption close to formality, the triviality of the restricted characteristic variety implies that th...

Let [Formula: see text] where be a complete regular local ring of dimension text], for some and an MCM text]-module with then we prove that text]. If is hypersurface infinite residue field let or Our paper the first systematic study depth associated graded modules over rings.

Let A be a Z-graded associative algebra and let ρ be an irreducible N-graded representation of A on W with finite-dimensional homogeneous subspaces. Then it is proved that ρ(Ã) = glJ (W ), where à is the completion of A with respect to a certain topology and glJ (W ) is the subalgebra of EndW , generated by homogeneous endomorphisms. It is also proved that an N-graded vector space W with finite...

Given a graph whose edges are labeled by ideals of commutative ring R with identity, generalized spline is vertex labeling the elements such that difference labels on adjacent vertices lies in ideal associated to edge. The set splines has and an R-module structure. We study module structure where base greatest common divisor domain. give basis criteria for cycles, diamond graphs trees using det...

LET %’ be a highest weight category [CPSl] with finitely many simple objects and such that every object has finite length. Then Ce = mod S for a finite dimensional quasi-hereditary algebra S. In a series of papers, [CPS4,5,6,7], we have studied various Kazhdan-Lusztig theories for %. This concept arises naturally in, for example, the modular representation theory of semisimple algebraic groups....