A new composition-diamond lemma for dialgebras

DOI10.1142/S1005386717000207MaRDI QIDQ5267961zbMATH OpenOpenAlexWikidataFDO

Authors Guangliang Zhang, Chen Yuqun

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

commutative disemigroupdialgebradisemigroupGröbner-Shirshov basisnormal form

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)

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.

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

Cites work

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

Cited in

(8)

• Constructions of free dibands and tribands
• A construction of the free digroup
• Gröbner-Shirshov bases for dialgebras
• A diamond lemma for Hecke-type algebras
• Gröbner-Shirshov bases for commutative dialgebras
• A new model of the free monogenic digroup
• A normal form for HNN-extensions of dialgebras
• Tangent complexes and the Diamond Lemma

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)