Computation of bases of free modules over the Weyl algebras.

DOI10.1016/j.jsc.2007.06.005zbMath1137.16002OpenAlexW2092158739MaRDI QIDQ2466875

Alban Quadrat, Daniel Robertz

Publication date: 16 January 2008

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2007.06.005

zbMATH Keywords

Weyl algebraseffective algorithmscomputations of basesnumbers of generators of left idealsstably free left modules

Mathematics Subject Classification ID

Ordinary and skew polynomial rings and semigroup rings (16S36) Free, projective, and flat modules and ideals in associative algebras (16D40) Rings of differential operators (associative algebraic aspects) (16S32) Ideals in associative algebras (16D25) Computational aspects of associative rings (general theory) (16Z05)

Related Items (19)

On the Ore Extension Ring of Differential Time-Varying Delay Operators ⋮ \(d\)-Hermite rings and skew \(PBW\) extensions ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ Grade filtration of linear functional systems. ⋮ Further results on the computation of the annihilators of integro-differential operators ⋮ Projective modules and Gröbner bases for skew PBW extensions ⋮ Serre's reduction of linear partial differential systems with holonomic adjoints ⋮ Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras ⋮ Equivalences of Linear Functional Systems ⋮ Algebraic Estimation in Partial Derivatives Systems: Parameters and Differentiation Problems ⋮ Controlled and Conditioned Invariance for Polynomial and Rational Feedback Systems ⋮ homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA ⋮ A new insight into Serre's reduction problem ⋮ Factoring and decomposing a class of linear functional systems ⋮ AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION ⋮ Reducibility of invertible tuples to the principal component in commutative Banach algebras ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ Serre's reduction of linear functional systems. ⋮ Effective algorithms for parametrizing linear control systems over Ore algebras

Uses Software

• Plural
• OreModules

Cites Work

• Non-commutative Gröbner bases in algebras of solvable type
• Multidimensional constant linear systems
• Generalized Bézout identity.
• Non-commutative elimination in Ore algebras proves multivariate identities
• Bases for projective modules in \(A_n(k)\).
• Modules and behaviours in nD systems theory
• Localization and parametrization of linear multidimensional control systems
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Factoring and decomposing a class of linear functional systems
• 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
• An algebraic analysis approach to linear time-varying systems
• Module Structure of Weyl Algebras
• A differential operator approach to multidimensional optimal control
• Flatness and defect of non-linear systems: introductory theory and examples
• Algebraic analysis of linear multidimensional control systems
• Towards an effective version of a theorem of Stafford
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computation of bases of free modules over the Weyl algebras.