Complete Rewriting System for Crossed Product of Infinite Groups

Abstract

Bu çalışmada; ilk olarak iki serbest grubun çapraz çarpımının monoid sunuşu için kelime probleminin çözülebilir olduğu incelenmiştir. Bunun için teorik bilgisayar biliminde de önemli bir yeri olan yeniden yazma sistemi tekniği kullanılmıştır. Daha sonra ise rankları 2 olan iki serbest abelyan grubun çapraz çarpımının sunuşu elde edilmiştir.