scientific article; zbMATH DE number 2221056
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Quadratic and Koszul algebras (16S37) Filtered associative rings; filtrational and graded techniques (16W70) Computational aspects of associative rings (general theory) (16Z05) Symbolic computation and algebraic computation (68W30)
The author is interested in those quotients of the free algebra \(T=k\langle x_1,\dots,x_n\rangle\) such that the standard monomials \(x_1^{\alpha_1}\cdots x_n^{\alpha_n}\) for some non-negative integers \(\alpha_1,\dots,\alpha_n\) are a \(k\)-basis for them. Moreover he wants to provide constructive and algorithmic methods to find them. The given methods are based on the so-called non-degeneracy conditions (NDC for short). Let \(F\) be the set of relations \(f_{ji}=x_jx_i+c_{ij}x_ix_j+d_{ij}\), where \(i<j\), \(c_{ij}\in k^*\) and \(d_{ij}\) are linear combinations of standard monomials which are smaller than \(x_ix_j\) with respect to some admissible well-ordering on the monomials. The NDC are the concretion to \(F\) of some overlap relations studied in \textit{G. M. Bergman}'s diamond lemma [Adv. Math. 29, 178-218 (1978; Zbl 0377.16013)], and they are a generalization to noncommutative algebras of S-polynomials. The main theorem characterizes those algebras satisfying the relations in \(F\) and having the standard monomials as basis as those algebras in which the normal forms of NDC with respect to \(F\) are \(0\). The computation of these normal forms is implemented in \texttt{Singular:Plural}. These algebras are called G-algebras, and their quotients (non degenerated changes of variables are allowed) are called GR-algebras. Using filtered-graded techniques, since the used orders are locally finite (i.e., intervals are finite), the author collects some previously known properties of G-algebras: they are left and right Noetherian, they are integral domains, they have left and right quotient rings, they have finite global and Krull dimensions, and they are Auslander regular and Cohen-Macaulay. Finally some deformations, so-called G-quantizations of GR-algebras, are studied. The algorithmic computation of G-quantizations of a Weyl algebra with four variables leads to a characterization of some G-quantizations of Weyl algebras with \(2n\) variables. Quadratic algebras and diffusion algebras are also studied using G-quantizations. For the entire collection see [Zbl 1064.16001].
- Gröbner-Shirshov bases and PBW theorems
- PBW bases of q-Schur algebras
- An elimination lemma for algebras with PBW bases
- On PBW bases for Yangians
- PBW-bases of coideal subalgebras and a freeness theorem
- PBW bases for a class of braided Hopf algebras.
- PBW-basis for the composition algebra of the Kronecker algebra
- PBW-Pairs of Varieties of Linear Algebras
- scientific article; zbMATH DE number 633399
- Elimination orderings and localization in PBW algebras.
- A combinatorial approach to involution and -regularity. II: Structure analysis of polynomial modules with Pommaret bases
- A combinatorial approach to involution and -regularity. I: Involutive bases in polynomial algebras of solvable type
- How to obtain lattices from (f,,)-codes via a generalization of construction A
- A general framework for Noetherian well ordered polynomial reductions
- Buchberger-Zacharias theory of multivariate Ore extensions
- Toward involutive bases over effective rings
- Why you cannot even hope to use Ore algebras in cryptography
- Modular techniques for noncommutative Gröbner bases
- Gröbner bases and syzygies on bimodules over PBW algebras
- Graphs of relations and Hilbert series.
- PBW bases and marginally large tableaux in types B and C
- PBW Bases and Marginally Large Tableaux in Types B and C
- scientific article; zbMATH DE number 633399 (Why is no real title available?)
- An elimination lemma for algebras with PBW bases
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- A Characterization of Perfect Strategies for Mirror Games
- KdV hierarchies and quantum Novikov's equations
- Commutative Poisson algebras from deformations of noncommutative algebras
- Quantisation ideals, canonical parametrisations of the unipotent group and consistent integrable systems
- Letterplace ideals and non-commutative Gröbner bases.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5701952)
