Non-commutative Gröbner bases in algebras of solvable type

DOI10.1016/S0747-7171(08)80003-XzbMath0715.16010OpenAlexW2069738583MaRDI QIDQ752147

Volker Weispfenning, Abdelilah Kandri Rody

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80003-x

zbMATH Keywords

algorithms word problem free associative algebras commutation relations enveloping algebras free commutative monoids algebras of solvable type ideal-membership problem iterated Ore differential extensions left, right and two-sided Gröbner bases non-commutative rings of solvable type polynomial rings of solvable type

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Ordinary and skew polynomial rings and semigroup rings (16S36) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Rings of differential operators (associative algebraic aspects) (16S32) Word problems, etc. in computability and recursion theory (03D40) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04)

Related Items

Factoring systems of linear PDEs with finite-dimensional solution spaces, Algebraic analysis of Siersma's non-isolated hypersurface singularities, Algebraic Theory of Linear Systems: A Survey, An introduction to commutative and noncommutative Gröbner bases, Buchberger-Weispfenning theory for effective associative rings, Gelfand-Kirillov dimension of multi-filtered algebras, Letterplace ideals and non-commutative Gröbner bases., Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules, Preconditioning strategies for asymptotically ill-conditioned block Toeplitz systems, A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings., An algorithm of computing \(b\)-functions, On the computation of Bernstein-Sato ideals., Recent progress in an algebraic analysis approach to linear systems, Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety, Veronese and Segre morphisms between non-commutative projective spaces, How to obtain lattices from \((f,\sigma,\delta)\)-codes via a generalization of construction A, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, Gröbner bases and involutive methods for algebraic and differential equations, Computing dimension and independent sets for polynomial ideals, Gröbner bases of associative algebras and the Hochschild cohomology, Generalized down-up algebras revisited from a viewpoint of Gröbner basis theory, A refutational approach to geometry theorem proving, A factorization algorithm for \(G\)-algebras and its applications, Unnamed Item, Modular techniques for noncommutative Gröbner bases, On noncommutative finite factorization domains, \(\sigma \)-PBW extensions of skew Armendariz rings, Involutive bases of polynomial ideals, Minimal involutive bases, Constructive arithmetics in Ore localizations enjoying enough commutativity, Regularity and \(K_0\)-group of quadric solvable polynomial algebras., Relative reduction and Buchberger's algorithm in filtered free modules, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, Associated prime ideals over skew PBW extensions, An algorithm for the construction of matrix representations for finitely presented non-commutative algebras, A survey on signature-based algorithms for computing Gröbner bases, Identities for families of orthogonal polynomials and special functions, Skew Poincaré–Birkhoff–Witt extensions over weak compatible rings, An extension of Gröbner basis theory to indexed polynomials without eliminations, Evaluation and interpolation over multivariate skew polynomial rings, Gröbner bases and syzygies on bimodules over PBW algebras, Detecting unnecessary reductions in an involutive basis computation, Gröbner bases and logarithmic \(\mathcal D\)-modules., Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures, Factoring and decomposing a class of linear functional systems, An elimination lemma for algebras with PBW bases, Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras, Gröbner bases with coefficients in rings, Computation of bases of free modules over the Weyl algebras., Some remarks about minimal prime ideals of skew Poincaré-Birkhoff-Witt extensions, Comprehensive Gröbner bases, Some Homological Properties of SkewPBWExtensions, PRIMALITY TEST IN ITERATED ORE EXTENSIONS, METHODS FOR COMPUTING <i>b</i>-FUNCTIONS ASSOCIATED WITH <i>µ</i>-CONSTANT DEFORMATIONS: CASE OF INNER MODALITY TWO, Critical cones of characteristic varieties, A general framework for Noetherian well ordered polynomial reductions, Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I, Lifting Gröbner Bases from a Class of Algebras, Gröbner–Shirshov bases and their calculation, Constructive \(D\)-module theory with \texttt{Singular}, Noetherian Properties of Skew Polynomial Rings with Binomial Relations, POINCARE-HILBERT SERIES, PI, AND NOETHERIANITY OF THE ENVELOPING OF THE RIT ALGEBRA, Armendariz modules over skew PBW extensions, Buchberger-Zacharias theory of multivariate Ore extensions, Differential algebra for derivations with nontrivial commutation rules, Filtered-graded transfer of groebner basis computation in solvable polynomial algebras, Looking for Gröbner basis theory for (almost) skew 2-nomial algebras., Toward involutive bases over effective rings, Constructive arithmetics in Ore localizations of domains, Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings, Why you cannot even hope to use Ore algebras in cryptography, Topological rewriting systems applied to standard bases and syntactic algebras, Weight ideals associated to regular and log-linear arrays., Radicals and Köthe's conjecture for skew PBW extensions, Gröbner bases in universal enveloping algebras of Leibniz algebras, Elimination orderings and localization in PBW algebras., Degree bounds for Gröbner bases in algebras of solvable type, Standard bases for modules over polynomial subalgebras, Common Divisors of Solvable Polynomials in JAS, Unnamed Item, On the Noetherianity of some associative finitely presented algebras, SAGBI bases in \(G\)-algebras, Gelfand–Kirillov dimension of differential difference algebras, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type, Computational ideal theory in finitely generated extension rings, Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures, Creative Telescoping for Holonomic Functions, The Noetherian property in some quadratic algebras, Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties, Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity, Computer algebra and algebraic geometry -- achievements and perspectives, Computing Gröbner bases by FGLM techniques in a non-commutative setting, There is no efficient reverse derivation mode for discrete derivatives, Reduction of permutation-invariant polynomials. A noncommutative case study, On harmonic elements for semi-simple Lie algebras, Formal solutions of differential equations, Holonomic Anti-Differentiation and Feynman Amplitudes, Hilbert polynomal of modules over homogeneous solvable polynomial algebras, Multiplicity computation of modules overk[x₁,…,x_n and an application to weyl algebras], On the algebras Uq±(AN) : from a constructive-computational viewpoint, Unnamed Item, On weak annihilators and nilpotent associated primes of skew PBW extensions, De Nugis Groebnerialium 7: Janet, Gerdt, Tamari, On the standard quantized matrix algebra Mq(n): From a constructive-computational viewpoint, Unnamed Item, Rational solutions of Riccati-like partial differential equations, Computing with quantized enveloping algebras: PBW-type bases, highest-weight modules and \(R\)-matrices, Constructing representations of split semisimple Lie algebras, Re-filtering and exactness of the Gelfand-Kirillov dimension, Constructibility of the set of polynomials with a fixed Bernstein-Sato polynomial: an algorithmic approach.

Cites Work