TR
EN
Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ
Öz
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 𝑀/𝜌.
Anahtar Kelimeler
Kaynakça
- 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.
Ayrıntılar
Birincil Dil
İngilizce
Konular
Matematik
Bölüm
Araştırma Makalesi
Yayımlanma Tarihi
10 Mart 2023
Gönderilme Tarihi
25 Mart 2022
Kabul Tarihi
7 Ekim 2022
Yayımlandığı Sayı
Yıl 2023 Cilt: 6 Sayı: 1
APA
Emniyet, A., & Çalışkan, B. (2023). Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 6(1), 720-725. https://doi.org/10.47495/okufbed.1093331
AMA
1.Emniyet A, Çalışkan B. Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2023;6(1):720-725. doi:10.47495/okufbed.1093331
Chicago
Emniyet, Aykut, ve Basri Çalışkan. 2023. “Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ”. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi 6 (1): 720-25. https://doi.org/10.47495/okufbed.1093331.
EndNote
Emniyet A, Çalışkan B (01 Mart 2023) Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi 6 1 720–725.
IEEE
[1]A. Emniyet ve B. Çalışkan, “Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ”, Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi, c. 6, sy 1, ss. 720–725, Mar. 2023, doi: 10.47495/okufbed.1093331.
ISNAD
Emniyet, Aykut - Çalışkan, Basri. “Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ”. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi 6/1 (01 Mart 2023): 720-725. https://doi.org/10.47495/okufbed.1093331.
JAMA
1.Emniyet A, Çalışkan B. Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2023;6:720–725.
MLA
Emniyet, Aykut, ve Basri Çalışkan. “Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ”. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi, c. 6, sy 1, Mart 2023, ss. 720-5, doi:10.47495/okufbed.1093331.
Vancouver
1.Aykut Emniyet, Basri Çalışkan. Finite Complete Rewriting Systems for the Monoids M, ρ, and M/ρ. Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 01 Mart 2023;6(1):720-5. doi:10.47495/okufbed.1093331
