Gröbner-Shirshov bases for commutative dialgebras

DOI10.1080/00927872.2018.1513017MaRDI QIDQ5231173zbMATH OpenOpenAlexFDO

Authors Chen Yuqun, Guangliang Zhang

Publication date 26 August 2019

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.06680

zbMATH Keywords

commutative dialgebracommutative disemigroupGröbner-Shirshov basisnormal formword problem

Mathematics Subject Classification ID

Word problems (aspects of algebraic structures) (08A50) 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) Gröbner-Shirshov bases in nonassociative algebras (17A61)

Abstract: We establish Gr"obner--Shirshov bases theory for commutative dialgebras. We show that for any ideal $I$ of $Di[X]$, $I$ has a unique reduced Gr"obner--Shirshov basis, where $Di[X]$ is the free commutative dialgebra generated by a set $X$, in particular, $I$ has a finite Gr"obner--Shirshov basis if $X$ is finite. As applications, we give normal forms of elements of an arbitrary commutative disemigroup, prove that the word problem for finitely presented commutative dialgebras (disemigroups) is solvable, and show that if $X$ is finite, then the problem whether two ideals of $Di[X]$ are identical is solvable. We construct a Gr"obner--Shirshov basis in associative dialgebra $DilangleXangle$ by lifting a Gr"obner--Shirshov basis in $Di[X]$.

Recommendations

• Gröbner-Shirshov bases for dialgebras
• scientific article; zbMATH DE number 2030189
• scientific article; zbMATH DE number 1567959
• Gröbner-Shirshov bases for commutative algebras with multiple operators and free commutative Rota-Baxter algebras.
• Gröbner-Shirshov bases. Normal forms, combinatorial and decision problems in algebra

Cites work

• 0-dialgebras with bar-unity and nonassociative Rota--Baxter algebras
• A new composition-diamond lemma for dialgebras
• A noncommutative version of Lie algebras: Leibniz algebras
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Dialgebras and related operads
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Embeddings into simple associative algebras
• GRÖBNER-SHIRSHOV BASES: SOME NEW RESULTS
• Gröbner and Gröbner-Shirshov bases in algebra: an elementary approach.
• Gröbner-Shirshov bases and their calculation
• Gröbner-Shirshov bases for dialgebras
• Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras.
• Gröbner-Shirshov bases: from their inception to the present time.
• scientific article; zbMATH DE number 5855534 (Why is no real title available?)
• scientific article; zbMATH DE number 3771547 (Why is no real title available?)
• scientific article; zbMATH DE number 612877 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1120551 (Why is no real title available?)
• scientific article; zbMATH DE number 1567959 (Why is no real title available?)
• scientific article; zbMATH DE number 839279 (Why is no real title available?)
• scientific article; zbMATH DE number 3231085 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Non-commutative Gröbner bases for commutative algebras
• On theories with a combinatorial definition of 'equivalence'
• Resolution of singularities of an algebraic variety over a field of characteristic zero. II
• 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
• The diamond lemma for ring theory
• Varieties of dialgebras and conformal algebras

Cited in

(7)

• Shirshov composition techniques in Lie superalgebras (noncommutative Gröbner bases)
• Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras
• Gröbner-Shirshov bases for semirings.
• Gröbner-Shirshov bases for dialgebras
• Gröbner-Shirshov bases for replicated algebras
• Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids.
• A new composition-diamond lemma for dialgebras

This page was built for publication: Gröbner-Shirshov bases for commutative dialgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5231173)