Dergiler / Erzincan Üniversitesi Fen Bilimleri Enstitüsü Dergisi / 2020 / Cilt: 13 - Sayı: ÖZEL SAYI I
Sonsuz Grupların Çapraz Çarpımı için Tam Yeniden Yazma Sistemi
- Sayfa
- 112–118
- DOI
- —
Özet
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.
Abstract
In this work, firstly, it is investigated the solvability of the word problem for monoid presentation of crossedproduct of two free groups. To do that it is used rewriting system method which has an important role intheoretical computer science. Then it is obtained a presentation for crossed product of two free abelian groupsof rank 2.