Matrix rank 1 semigroup identities

A finite basis of identities is constructed for the semigroup of all rank 1 n × n matri­ces over the field. It is worthy to notice that every semigroup of all rank r, r > l,n×n matrices over a finite field has no finite basis of identities. Let G be an arbitrary vari­ety of groups with a finite basis of identities. A finite basis of identities is constructed for the variety generated by all completely 0-simple semigroups over G-groups.     

The diophantine equation (a n-1)(b n-1)=x 2

Let a and b given unequal positive integers; it is desired to determine the positive integer solutions n and x of the equation of the title. Some special cases have recently been considered, and here some general results and conjectures are presented. This revised version was published online in June 2006 with corrections to the Cover Date.     

Rank properties of the semigroup of endomorphisms over Brandt semigroup

We investigate small rank, lower rank, intermediate rank, upper rank, and large rank of the semigroup of endomorphisms over Brandt semigroup.     

Every semigroup is isomorphic to a transitive semigroup of binary relations

Every (finite) semigroup is isomorphic to a transitive semigroup of binary relations (on a finite set).

     

A note on the power semigroup of a completely simple semigroup

We prove the pseudovariety generated by power semigroups of completely simple semigroups is the semidirect product of the pseudovariety of block groups with the pseudovariety of right zero semigroups, and hence is decidable. This answers a question of Almeida from over 15 years ago. The author was supported in part by NSERC.     

正规Ehresmann型wrpp半群

众所周知,Clifford半群是正则半群类中的一类重要半群,本文定义正规 Ehresmann型wrpp半群,它是Clifford半群在wrpp半群类中的推广,给出了此类半群的若干刻划.     

On semigroup species

A countable directed family of semigroup congruences is introduced, and a theory analogous to the theory of normal series for groups is developed. This rather simple approach, surprisingly, is an effective tool for studying the structures of the lattices formed by certain species of semigroups (classes of semigroups closed under taking homomorphic images) such as varieties, pseudovarieties, and existence varieties etc.