Izbrane teme sodobne fizike in matematike
V članku je obravnavan besedni problem v prosti inverzni polgrupi. Prvi del zajema splošno teorijo inverzne polgrupe. V nadaljevanju je na kratko nakazana konstrukcija proste inverzne polgrupe preko proste polgrupe z involucijo. Temu sledi reševanje besednega problema, tj. iskanje algoritma, ki določa, kdaj dve besedi predstavljata enak element v prosti inverzni polgrupi. Znanih je več možnih pristopov k reševanju, v članku je predstavljena rešitev s pomočjo Scheiblichovih normalnih form.
The article discusses the word problem in the free inverse semigroup. The first part covers the general theory of inverse semigroups. This is followed by a brief outline of the construction of the free inverse semigroup through free semigroup with involution. The paper then addresses the solution to the word problem, i.e., we describe an algorithm that determines when two words represent the same element in a free inverse semigroup. While there are several possible approaches to the solution, we present the solution using Scheiblich normal forms.