A method is described for constructing the minimal projective resolution of an algebra considered as a bimodule over itself. The method applies to an algebra presented as the quotient of a tensor algebra over a separable algebra by an ideal Ε½ of relations that is either homogeneous or admissible wit
Minimal Free Resolutions of HomogenizedD-modules
β Scribed by Toshinori Oaku; Nobuki Takayama
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 330 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
β¦ Synopsis
Homogenizing a module over the ring of differential operators, we define the notion of a minimal free resolution that is adapted to a filtration. We show that one can apply a modification of the algorithm of La Scala and Stillman to compute such a free resolution. By dehomogenization, one gets a free resolution of the original module that is small enough to compute, e.g. its restriction and integration. We have implemented our algorithm in a computer algebra system Kan and give examples by using this implementation.
π SIMILAR VOLUMES
For trivial source modules admitting a filtration related to their generalized Brauer constructions, a resolution in terms of monomial modules is given which provides a categorical interpretation for the canonical induction formula applied to these modules.  2002 Elsevier Science (USA)
Let G be a group in the class LHα of locally hierarchically decomposable groups and let R be a strongly G-graded algebra. We provide a characterization of the R-modules of type FP under the assumptions that R is coherent and of finite Ο± 1 global dimension.
A simplicial poset, a poset with a minimal element and whose every interval is a Boolean algebra, is a generalization of a simplicial complex. Stanley defined a ring A associated with a simplicial poset P that generalizes the face-ring of a P w x simplicial complex. If V is the set of vertices of P,
This paper continues the study of the functor, introduced in 7 . Let A s k Q Q be a connected wild hereditary path-algebra, where Q Q is some finite quiver without oriented cycles and k is some field. The category of finitely generated left A-modules is denoted by A-mod, and maps are written opposit