Free integro-differential algebras and Gröbner-Shirshov bases.
From MaRDI portal
Publication:493010
DOI10.1016/J.JALGEBRA.2014.10.016zbMATH Open1337.16038arXiv1402.1890OpenAlexW1992010459MaRDI QIDQ493010FDOQ493010
Authors: Xing Gao, Li Guo, Markus Rosenkranz 
Publication date: 11 September 2015
Published in: Journal of Algebra (Search for Journal in Brave)
Abstract: The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations. In both cases, free objects are crucial for analyzing the underlying algebraic structures, e.g. of the (matrix) functions. In this paper we apply the method of Gr"obner-Shirshov bases to construct the free (noncommutative) integro-differential algebra on a set. The construction is from the free Rota-Baxter algebra on the free differential algebra on the set modulo the differential Rota-Baxter ideal generated by the noncommutative integration by parts formula. In order to obtain a canonical basis for this quotient, we first reduce to the case when the set is finite. Then in order to obtain the monomial order needed for the Composition-Diamond Lemma, we consider the free Rota-Baxter algebra on the truncated free differential algebra. A Composition-Diamond Lemma is proved in this context, and a Gr"obner-Shirshov basis is found for the corresponding differential Rota-Baxter ideal.
Full work available at URL: https://arxiv.org/abs/1402.1890
Recommendations
- Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases.
- Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras.
- Composition-diamond lemma for \(\lambda\)-differential associative algebras with multiple operators.
- Construction of free differential algebras by extending Gröbner-Shirshov bases
- Gröbner-Shirshov bases for commutative algebras with multiple operators and free commutative Rota-Baxter algebras.
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Derivations, actions of Lie algebras (16W25) Computational aspects of associative rings (general theory) (16Z05) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Applications of universal algebra in computer science (08A70)
Cites Work
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- An introduction to Rota-Baxter algebra.
- Title not available (Why is that?)
- Title not available (Why is that?)
- The diamond lemma for ring theory
- On differential Rota-Baxter algebras.
- Associative differential operations
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Operated semigroups, Motzkin paths and rooted trees
- Mixable shuffles, quasi-shuffles and Hopf algebras.
- Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras.
- Differential type operators and Gröbner-Shirshov bases.
- On integro-differential algebras.
- Title not available (Why is that?)
- Gröbner-Shirshov bases for Rota-Baxter algebras.
- Title not available (Why is that?)
- Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov
- Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases.
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
- Super, quantum and non-commutative species.
- On combinatorial differential equations
- Algorithms for combinatorial structures: well-founded systems and Newton iterations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Composition-diamond lemma for tensor product of free algebras.
- Gröbner-Shirshov bases for categories.
- Title not available (Why is that?)
- The Quaternion Calculus
- Constructions of free commutative integro-differential algebras
Cited In (31)
- Gröbner-Shirshov bases for commutative algebras with multiple operators and free commutative Rota-Baxter algebras.
- Free (tri)dendriform family algebras
- Constructions of free commutative integro-differential algebras
- Free Rota-Baxter family algebras and (tri)dendriform family algebras
- Some algorithmic problems for Poisson algebras
- Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases
- Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases
- Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras
- Gröbner-Shirshov bases for symmetric brace algebras
- Construction of free differential algebras by extending Gröbner-Shirshov bases
- Gröbner-Shirshov bases for free product of algebras and beyond.
- Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases.
- Free objects and Gröbner-Shirshov bases in operated contexts
- Composition-diamond lemma for \(\lambda\)-differential associative algebras with multiple operators.
- Free \(\Omega\)-Rota-Baxter algebras and Gröbner-Shirshov bases
- Divided powers and composition in integro-differential algebras
- An algebraic study of Volterra integral equations and their operator linearity
- (Pure) transcendence bases in \(\varphi\)-deformed shuffle bialgebras
- Commutative matching Rota-Baxter operators, shuffle products with decorations and matching Zinbiel algebras
- On integro-differential algebras.
- Free nonunitary Rota-Baxter family algebras and typed leaf-spaced decorated planar rooted forests
- Differential (Lie) algebras from a functorial point of view
- Some new results on Gröbner–Shirshov bases for Lie algebras and around
- Extensions of operators, liftings of monads, and distributive laws
- Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota-Baxter algebras
- Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras.
- Gröbner-Shirshov bases for Rota-Baxter algebras.
- Algorithmic operator algebras via normal forms in tensor rings
- Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases
- Rota-Baxter family systems and Gröbner-Shirshov bases
- Construction of free quasi-idempotent differential Rota-Baxter algebras by Gröbner-Shirshov bases
This page was built for publication: Free integro-differential algebras and Gröbner-Shirshov bases.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493010)
