Bazı yarıgrup aileleri ve yapıları için sonluluk koşulları ve etkinlik

Bu çalışmada yarıgrup yapıları için bazı sonluluk koşulları incelenmiştir. ?, S üzerinde bir kongrüans olmak üzere, periyodiklik, yerel sonluluk, residual sonluluk, kelime probleminin çözülebilirliği ve yerel sonlu takdim edilebilirlik gibi sonluluk koşulları S, ? ve S/? yarıgrupları için incelenmiştir. I bir yarılatis, Si (i ? I) ayrık yarıgrupların bir ailesi ve S=S[I; Si, Øj,i] de { Si } i ? I yarıgruplarının bir güçlü yarılatisi olsun. Benzer şekilde S=S[I; Si, Øj,i] için de periyodiklik, yerel sonluluk ve sonlu takdim edilebilirlik gibi sonluluk koşulları incelenmiştir.G sonlu takdim edilebilir bir grup ve N de G nin herhangi bir sonlu indeksli normal alt grubu olsun. G üzerinde tanımlı?N ={(s,t): st-1 ? N }kongrüansının sonlu doğuraylı ve sonlu takdim edilebilir bir yarıgrup olduğu gösterilmiştir.