A Normal form for HNN-extension of Dialgebras
Chia Zargeh

TL;DR
This paper develops a new Composition-Diamond Lemma for dialgebras to explicitly construct a Groebner-Shirshov basis for HNN-extensions and to determine their normal forms.
Contribution
It introduces a novel version of the Composition-Diamond Lemma tailored for dialgebras, enabling explicit basis construction for HNN-extensions.
Findings
Established a new Composition-Diamond Lemma for dialgebras
Derived an explicit Groebner-Shirshov basis for HNN-extensions
Determined a normal form for HNN-extensions of dialgebras
Abstract
We consider a new version of Composition-Diamond Lemma for dialgebras in order to obtain an explicit Groebner-Shirshov basis for HNN-extension of dialgebras and determine a normal form for that.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topics in Algebra · Rings, Modules, and Algebras · Polynomial and algebraic computation
