M, ρ, and M/ρ Monoidleri için Sonlu Tam Yeniden Yazma Sistemleri
? bir monoid ve ?, ? üzerinde kongrüans olacak biçimde bir denklik bağıntısı olsun. Böylece, ?, ?×? monoidlerinin direkt çarpımının bir alt monoidi ve ?/?={??:?∈?} kümesi (??)(??)=(??)? işlemi ile bir monoid olur. Öncelikle, bir giriş lemması ifade ve ispat edilerek konu ile ilgili bir örnek verilmektedir. Daha sonra, eğer ? bir sonlu tam yeniden yazma sistemi ile takdim edilebilir ise, ?’nin de bir sonlu tam yeniden yazma sistemi ile takdim edilebilir olduğu gösterilmektedir. Ana sonucun son kısmında, eğer ? bir sonlu tam yeniden yazma sistemi ile takdim edilebilir ise, ?/? monoidinin de bir sonlu tam yeniden yazma sistemi ile takdim edilebilir olduğu gösterilmektedir.
Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ
Let ? be a monoid and ? be an equivalence relation on ? such that ? is a congruence. So, ? is a submonoid of the direct product of monoids ?×?, and ?/?={??:?∈?} is a monoid with the operation (??)(??)=(??)?. First, an introductory lemma is proposed, proved and a relevant example is given. Then, it is shown that if ? can be presented by a finite complete rewriting system, then so can ?. As the final part of the main result, it is proved that if ? can be presented by a finite complete rewriting system, then so can ?/?.
___
- Ayık G., Ayık H., Ünlü Y. Presentations for S and S/ρ from a given presentation ρ, Semigroup Forum, 2005; 70: 146-149.
- Book R.V., Otto F. String-Rewriting Systems, Springer-Verlag, New York, 1993.
- Cetinalp, E. K., Karpuz, E. G. Crossed product of infinite groups and complete rewriting systems, Turkish Journal of Mathematics, 2021; 45(1): 410-422.
- Dehn M. Tiber unendliche diskontinuierliche Gruppen, Mathematische Annalen, 1911; 71: 116-144.
- Gray R., Malheiro A., Finite complete rewriting systems for regular semigroups, Theoretical Computer Science, 2011; 412: 654-661.
- Howie J. M. Fundamentals of Semigroup Theory, Clarendon Press, Oxford, 1995.
- Kuyucu F. Relations between Ranks of Certain Semigroups, Selçuk J. Appl. Math., 2011; 12(1): 123-126.
- Özer, B., Yüksek, A. Finite Complete Rewriting Systems For Matrix Semigroup Presentations, International Journal of Algebra, 2016; 10: 497-511.
- Pride S. J. Subgroups of Finite Index in Groups with Finite Complete Rewriting Systems, Proceedings of the Edinburgh Mathematical Society, 2000; 43(1): 177-183.
- Sims C.C. Computation with Finitely Presentations Groups, Cambridge University Press, Cambridge, 1994.
- Squier C., Otto F., Kobayashi Y. A finiteness condition for rewriting systems, Theoretical Computer Science, 1994; 131: 271-294.
- Wang J. Finite Derivation Type for Semigroups and Congruences, Semigroup Forum, 2007; 75: 388-392.
- Wang J. Finite complete rewriting systems and finite derivation type for small extensions of monoids, Journal of Algebra, 1998; 204: 493-503.
- Wong K.B., Wong P.C. On finite complete rewriting systems and large subsemigroups, Journal of Algebra, 2010; 345: 242-256.