Algorithmic proofs of two theorems of Stafford.

DOI10.1016/J.JSC.2004.07.003MaRDI QIDQ2643577zbMATH OpenOpenAlexFDO

Authors Anton Leykin

Publication date 24 August 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0204303

zbMATH Keywords

\(D\)-modulesWeyl algebrasminimal generationGröbner bases

Mathematics Subject Classification ID

Rings of differential operators (associative algebraic aspects) (16S32) Computational aspects of associative rings (general theory) (16Z05)

Abstract: Two classical results of Stafford say that every (left) ideal of the $n$-th Weyl algebra $A_n$ can be generated by two elements, and every holonomic $A_n$-module is cyclic, i.e. generated by one element. We modify Stafford's original proofs to make the algorithmic computation of these generators possible.

Recommendations

• Towards an effective version of a theorem of Stafford
• scientific article; zbMATH DE number 2185929
• Computation of bases of free modules over the Weyl algebras.
• A note on the module structure of weyl algebras and simple noetherian rings
• A constructive study of the module structure of rings of partial differential operators.

Cites work

• scientific article; zbMATH DE number 3316134 (Why is no real title available?)
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Idéaux de germes d'opérateurs différentiels à une variable
• Module Structure of Weyl Algebras
• Towards an effective version of a theorem of Stafford

Cited in

(12)

• Computation of bases of free modules over the Weyl algebras.
• Restrictions of Pfaffian systems for Feynman integrals
• A constructive study of the module structure of rings of partial differential operators.
• Two blossoming proofs of the Lane-Riesenfeld algorithm
• Towards an effective version of a theorem of Stafford
• Cyclic irreducible non-holonomic modules over the Weyl algebra: an algorithmic characterization.
• scientific article; zbMATH DE number 2185929 (Why is no real title available?)
• Exact linear modeling using Ore algebras
• Module structure of certain rings of differential operators
• Serre's reduction of linear partial differential systems with holonomic adjoints
• Recent progress in an algebraic analysis approach to linear systems
• Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix

Describes a project that uses

Uses Software

• Macaulay2
• D-modules

This page was built for publication: Algorithmic proofs of two theorems of Stafford.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2643577)