A New Composition-Diamond Lemma for Dialgebras

DOI10.1142/S1005386717000207zbMath1385.16020arXiv1702.00119OpenAlexW2963599798WikidataQ124923303 ScholiaQ124923303MaRDI QIDQ5267961

Guangliang Zhang, Yuqun Chen

Publication date: 13 June 2017

Published in: Algebra Colloquium (Search for Journal in Brave)

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

zbMATH Keywords

normal formGröbner-Shirshov basisdialgebradisemigroupcommutative disemigroup

Mathematics Subject Classification ID

Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) General nonassociative rings (17A99)

Related Items

Constructions of free dibands and tribands ⋮ A construction of the free digroup ⋮ A new model of the free monogenic digroup ⋮ A normal form for HNN-extensions of dialgebras ⋮ Gröbner–Shirshov bases for commutative dialgebras

Cites Work

• The diamond lemma for ring theory
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• On theories with a combinatorial definition of 'equivalence'
• Structure of relatively free dimonoids
• An analogue to functional analysis in dialgebras
• GRÖBNER–SHIRSHOV BASES FOR DIALGEBRAS
• Gröbner–Shirshov bases and their calculation