Mathematics – Logic
Scientific paper
2009-07-15
Mathematics
Logic
30 pages, 9 figures
Scientific paper
We establish a surprisingly close relationship between universal Horn classes of directed graphs and varieties generated by so-called adjacency semigroups which are Rees matrix semigroups over the trivial group with the unary operation of reversion. In particular, the lattice of subvarieties of the variety generated by adjacency semigroups that are regular unary semigroups is essentially the same as the lattice of universal Horn classes of reflexive directed graphs. A number of examples follow, including a limit variety of regular unary semigroups and finite unary semigroups with NP-hard variety membership problems.
Jackson Marcel
Volkov Mikhail
No associations
LandOfFree
The algebra of adjacency patterns: Rees matrix semigroups with reversion does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The algebra of adjacency patterns: Rees matrix semigroups with reversion, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The algebra of adjacency patterns: Rees matrix semigroups with reversion will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-364860