A factorization algorithm for G-algebras and its applications
The authors consider the problem of factoring polynomials in \(G\)-algebras, which have rewrite rules \(x_jx_i=c_{ij}x_ix_j+d_{ij}\) where the \(c_{ij}\) are units of a field and the \(d_{ij}\) are polynomials over the same field which, when nonzero, have leading monomial smaller than \(x_ix_j\). (Of note is the discussion on p. 3 of the different meanings of factorization.) The main result leads to Algorithm 1, which produces all finite factorizations of a polynomial over a \(G\)-algebra, which is a finite factorization domain. It sets up an ansatz \(a\cdot b=g\), then computes a Gröbner basis of the ideal generated by the coefficients of \(a\cdot b-g\). (An ``ansatz is an educated guess.) When the basis indicates a solution, the algorithm saves it and later factors the factors recursively to find irreducible factorizations. The authors prove the algorithm's asymptotic complexity. A library that implements the algorithm for Singular (Plural) is provided online. This algorithm allows them to develop a second algorithm to compute factorized Gröbner bases for \(G\)-algebras, also implemented as a library for Singular (Plural). While complexity is not proved in this case, the authors point out that the algorithm must compute a (left) Gröbner basis, and this is already known to be double exponential in the number of variables. Throughout the article, the authors refer to applications and work through numerous examples.
- CALI
- Contraction of Ore ideals with applications
- Degree bounds for Gröbner bases in algebras of solvable type
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- Factoring linear differential operators in \(n\) variables
- Factoring linear partial differential operators in \(n\) variables
- Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
- scientific article; zbMATH DE number 3857249 (Why is no real title available?)
- scientific article; zbMATH DE number 4212207 (Why is no real title available?)
- scientific article; zbMATH DE number 4214184 (Why is no real title available?)
- scientific article; zbMATH DE number 16654 (Why is no real title available?)
- scientific article; zbMATH DE number 50080 (Why is no real title available?)
- scientific article; zbMATH DE number 1057751 (Why is no real title available?)
- scientific article; zbMATH DE number 1163415 (Why is no real title available?)
- scientific article; zbMATH DE number 1988897 (Why is no real title available?)
- scientific article; zbMATH DE number 3095858 (Why is no real title available?)
- Involution. The formal theory of differential equations and its applications in computer algebra
- Localization in general rings, a historical survey.
- Non-commutative Gröbner bases in algebras of solvable type
- Noncommutative Gröbner bases and filtered-graded transfer.
- On decomposing systems of polynomial equations with finitely many solutions
- On noncommutative finite factorization domains
- Primitive ideals in enveloping algebras
- Re-filtering and exactness of the Gelfand-Kirillov dimension
- Solving algebraic equations via Buchberger's algorithm
- Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization
- Solving zero-dimensional algebraic systems
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Unique Factorization Domains
- Weyl closure of a linear differential operator
- Constructive arithmetics in Ore localizations of domains
- On the factorization of non-commutative polynomials (in free associative algebras)
- On noncommutative finite factorization domains
- A factorization algorithm for G-algebras and applications
- Factoring linear differential operators in \(n\) variables
- Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra
- A Factorization inGSp(V)
- Using Gröbner bases for factoring polynomials over algebraic extension fields
This page was built for publication: A factorization algorithm for \(G\)-algebras and its applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409016)
