Gröbner-Shirshov basis for the singular part of the Brauer semigroup
Fırat Ateş, Ahmet Sinan Cevik, Eylem Güzel Karpuz · TURKISH JOURNAL OF MATHEMATICS · 2018
In this paper, we obtain a Gröbner-Shirshov (noncommutative Gröbner) basis for the singular part of the Brauer semigroup. It gives an algorithm for getting normal forms and hence an algorithm for solving the word problem in these semigroups.