A new composition-diamond lemma for dialgebras

DOI10.1142/S1005386717000207zbMATH Open1385.16020arXiv1702.00119OpenAlexW2963599798WikidataQ124923303 ScholiaQ124923303MaRDI QIDQ5267961FDOQ5267961

Guangliang Zhang, Chen Yuqun

Publication date: 13 June 2017

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

Abstract: Let $DilangleXangle$ be the free dialgebra over a field generated by a set $X$. Let $S$ be a monic subset of $DilangleXangle$. A Composition-Diamond lemma for dialgebras is firstly established by Bokut, Chen and Liu in 2010 cite{Di} which claims that if (i) $S$ is a Gr"{o}bner-Shirshov basis in $DilangleXangle$, then (ii) the set of $S$-irreducible words is a linear basis of the quotient dialgebra $DilangleXmidSangle$, but not conversely. Such a lemma based on a fixed ordering on normal diwords of $DilangleXangle$ and special definition of composition trivial modulo $S$. In this paper, by introducing an arbitrary monomial-center ordering and the usual definition of composition trivial modulo $S$, we give a new Composition-Diamond lemma for dialgebras which makes the conditions (i) and (ii) equivalent. We show that every ideal of $DilangleXangle$ has a unique reduced Gr"{o}bner-Shirshov basis. The new lemma is more useful and convenient than the one in cite{Di}. As applications, we give a method to find normal forms of elements of an arbitrary disemigroup, in particular, A.V. Zhuchok's (2010) and Y.V. Zhuchok's (2015) normal forms of the free commutative disemigroups and the free abelian disemigroups, and normal forms of the free left (right) commutative disemigroups.

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

Recommendations

• Gröbner-Shirshov bases for dialgebras
• Composition-diamond lemma for tensor product of free algebras.
• Gröbner-Shirshov bases for commutative dialgebras
• Gröbner-Shirshov bases for \(L\)-algebras
• A new composition-diamond lemma for associative conformal algebras

zbMATH Keywords

normal formdialgebradisemigroupGröbner-Shirshov basiscommutative disemigroup

Mathematics Subject Classification ID

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) General nonassociative rings (17A99)

Cites Work

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

Cited In (5)

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

This page was built for publication: A new composition-diamond lemma for dialgebras

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