On a class of modular numerical semigroups.
An algebraic structure is said to be congruence permutable if its arbitrary congruences and satisfy the equation , where denotes the usual composition of binary relations. To an arbitrary -set satisfying , we assign a semigroup on the base set containing a zero element , and examine the connection between the congruence permutability of the -set and the semigroup .
Let be a Rees matrix semigroup where is a semigroup, and are index sets, and is a matrix with entries from , and let be the ideal generated by all the entries of . If has finite index in , then we prove that is periodic (locally finite) if and only if is periodic (locally finite). Moreover, residual finiteness and having solvable word problem are investigated.