|
7.5.23 purityfiltration_lib
Status: experimental
- Library:
- purityfiltration.lib
- Purpose:
- Algorithms for computing a purity filtration of a given module
- Authors:
- Christian Schilli, christian.schilli@rwth-aachen.de
Viktor Levandovskyy, levandov@math.rwth-aachen.de
- Overview:
- Purity is a notion with several meanings. In our context it is equidimensionality
of a module (that is all M is pure iff any nonzero submodule of N has the same dimension as N).
Notably, one should define purity with respect to a given dimension function. In the context
of this library the corresponding function is the homological grade number j_A(M) of a module M over
an K-algebra A. j_A(M) is the minimal integer k, such that Ext^k_A(M,A) != 0.
- References:
- [AQ] Alban Quadrat: Grade filtration of linear functional systems, INRIA Report 7769 (2010), to appear in Acta Applicanda Mathematica.
[B93] Jan-Erik Bjoerk: Analytic D-modules and applications, Kluwer Acad. Publ., 1993.
[MB10] Mohamed Barakat: Purity Filtration and the Fine Structure of Autonomy. Proc. MTNS, 2010.
Procedures:
|