This paper presents an algorithm for the Quillen-Suslin Theorem for quotients of polynomial rings by monomial ideals, that is, quotients of the form A = kx 0 ; :::;xn]=I, with I a monomial ideal and k a eld. T. Vorst proved that nitely generated projective modules over such algebras are free. Given a nitely generated module P, described by generators and relations, the algorithm tests whether P...

Let Λ be an Auslander’s 1-Gorenstein Artinian algebra with global dimension two. If Λ admits a trivial maximal 1-orthogonal subcategory of modΛ, then for any indecomposable module M ∈ modΛ, we have that the projective dimension of M is equal to one if and only if so is its injective dimension and that M is injective if the projective dimension of M is equal to two. In this case, we further get ...

Let k be a field, and let M be a commutative, seminormal, finitely generated monoid, which is torsionfree, cancellative, and has no nontrivial units. J. Gubeladze proved that finitely generated projective modules over kM are free. This paper contains an algorithm for finding a free basis for a finitely generated projective module over kM . As applications one obtains alternative algorithms for ...

In this paper we provide various properties of Rad-⊕-supplemented modules. In particular, we prove that a projective module M is Rad⊕-supplemented if and only if M is ⊕-supplemented, and then we show that a commutative ring R is an artinian serial ring if and only if every left R-module is Rad-⊕-supplemented. Moreover, every left R-module has the property (P ∗) if and only if R is an artinian s...

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified...

We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul comp...

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its f...

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular we derive that in any local ring R of mixed...

Let S= (P, B, I) be a generalized quadrangle of order (s, t). For X, y E P, X+ y. let X(x, y) be the group of all collineations of S fixing x and y linewise. If ZE (4 YJL> then the set of all points incident with the line xz (resp. y;) is denoted by z(resp. 3. The generalized quadrangle S = (P, B, I) is said to be (x, y)-transitive, x+ y, if X(x, y) is transitive on each set Z{x, z} and jZ’-{ y...

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified...