A constructive study of the module structure of rings of partial differential operators.

DOI10.1007/s10440-013-9864-xzbMath1311.16019OpenAlexW2078364343MaRDI QIDQ2255606

Alban Quadrat, Daniel Robertz

Publication date: 17 February 2015

Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10440-013-9864-x

zbMATH Keywords

Weyl algebrassymbolic computationconstructive algebralinear systems of partial differential equationsfinitely presented \(D\)-modulesStafford theorems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Sheaves of differential operators and their modules, (D)-modules (32C38) Rings of differential operators (associative algebraic aspects) (16S32) Differential algebra (12H05) Computational aspects of associative rings (general theory) (16Z05)

Related Items

Recent progress in an algebraic analysis approach to linear systems, Module structure of certain rings of differential operators, Projective modules and Gröbner bases for skew PBW extensions, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, A nullstellensatz for linear partial differential equations with polynomial coefficients, A new insight into Serre's reduction problem, A constructive study of the module structure of rings of partial differential operators., Effective algorithms for parametrizing linear control systems over Ore algebras

Uses Software

• homalg
• Macaulay2
• OreModules
• PurityFiltration
• D-modules
• OreMorphisms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Grade filtration of linear functional systems.
• Serre's reduction of linear partial differential systems with holonomic adjoints
• Serre's reduction of linear functional systems.
• Generating non-Noetherian modules constructively
• An introduction to homological algebra
• Stable structure of noncommutative Noetherian rings
• Stable structure of noncommutative Noetherian rings. II
• Bases for projective modules in \(A_n(k)\).
• A constructive study of the module structure of rings of partial differential operators.
• Factoring and decomposing a class of linear functional systems
• Computation of bases of free modules over the Weyl algebras.
• Effective algorithms for parametrizing linear control systems over Ore algebras
• Algorithmic proofs of two theorems of Stafford.
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• Projective modules and Gröbner bases for skew PBW extensions
• AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
• Module Structure of Rings of Differential Operators
• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
• A note on the module structure of weyl algebras and simple noetherian rings
• Module Structure of Weyl Algebras
• Algebraic analysis of linear multidimensional control systems
• Algebraic \(K\)-theory
• Towards an effective version of a theorem of Stafford