Gröbner-Shirshov basis for the finitely presented algebras defined by permutation relations of symmetric type

Abstract

In this paper, we give a Gröbner-Shirshov basis for the finitely presented semigroup algebra $\mathbf{k}[S_n(Sym_n)]$ defined by permutation relations of symmetric type. As an application, by the Composition-Diamond Lemma, we obtain normal forms of elements of momoid $S_n(Sym_n)$, which gives an answer to an open problem posted by F. Cedó, E. Jespers and J. Okniński [7] for the symmetric group case.

17 pages