Related papers: Groebner-Shirshov bases for Schreier extensions of…
In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.
An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gr\"{o}bner-Shirshov bases, we characterize completely the…
The author is mainly interest in the Gr\"{o}bner-Shirshov bases of finite Coxeter groups. It is known that the finite Coxeter groups are classified in terms of Coxeter-Dynkin diagrams. Under the fixed order, it is worth mention that the…
We found Groebner-Shirshov basis for the braid semigroup $B^+_{n+1}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group.
In this paper, we obtain Groebner-Shirshov (non-commutative Gr\"obner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $\delta$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form…
In this paper, we elaborate Gr\"obner-Shirshov bases method for Leibniz (super)algebras. We show that there is a unique reduced Gr\"obner-Shirshov basis for every (graded) ideal of a free Leibniz (super)algebra. As applications, we…
In this paper, we give a Groebner-Shirshov basis of the braid group $B_{n+1}$ in the Artin--Garside generators. As results, we obtain a new algorithm for getting the Garside normal form, and a new proof that the braid semigroup $B^+{n+1}$…
We give an overview of a number of Schreier-type extensions of monoids and discuss the relation between them. We begin by discussing the characterisations of split extensions of groups, extensions of groups with abelian kernel and finally…
We explicitly describe the structure of HNN extensions of Lie superalgebras. We specify their bases. Moreover, we prove that the HNN extension is a direct sum of two subalgebras: original Lie superalgebra, and the free Lie superalgebra,…
We review some applications of Gr\"obner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way…
In this paper, we compute the Gr\"obner-Shirshov bases for certain regular double extension algebras by means of an algorithm implemented in Matlab, which facilitates the underlying algebraic computations. Moreover, we establish that these…
Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…
Using Buchberger-Shirshov Algorithm and Composition-Diamond lemma we obtain the reduced Grobner-Shirshov bases of $\widetilde{A_n}$ and classify all reduced words of the affine Weyl group $\widetilde{A_n}$.
In the paper, we establish Gr\"obner-Shirshov bases for semirings and commutative semirings. As applications, we obtain Gr\"obner-Shirshov bases and A. Blass's (1995) and M. Fiore -T. Leinster's (2004) normal forms of the semirings…
A conjecture of Gr\"obner-Shirshov basis of any Coxeter group has proposed by L.A. Bokut and L.-S. Shiao \cite{bs01}. In this paper, we give an example to show that the conjecture is not true in general. We list all possible nontrivial…
Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…
We classify the finitely generated prosupersolvable groups that satisfy Schreier's formula for the number of generators of open subgroups.
In this note we show how to apply the Gr\"obner--Shirshov bases (GSB) method for modules over an associative algebra to the study of vertex algebras defined by generators and relations. We compute GSBs for a series of vertex algebras and…
A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. In particular, we give…