Algorithmic proofs of two theorems of Stafford.

DOI10.1016/J.JSC.2004.07.003zbMATH Open1130.16304arXivmath/0204303OpenAlexW2005759996MaRDI QIDQ2643577FDOQ2643577

Authors: Anton Leykin 

Publication date: 24 August 2007

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

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.

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

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.

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)

Cites Work

• Module Structure of Weyl Algebras
• Towards an effective version of a theorem of Stafford
• 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
• Title not available (Why is that?)

Cited In (12)

• A constructive study of the module structure of rings of partial differential operators.
• Computation of bases of free modules over the Weyl algebras.
• 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
• Restrictions of Pfaffian systems for Feynman integrals
• Cyclic irreducible non-holonomic modules over the Weyl algebra: an algorithmic characterization.
• Title not available (Why is that?)
• Serre's reduction of linear partial differential systems with holonomic adjoints
• Two blossoming proofs of the Lane-Riesenfeld algorithm
• Towards an effective version of a theorem of Stafford
• Module structure of certain rings of differential operators
• Exact linear modeling using Ore algebras

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)