Notes on equational theories of relations

S. L. Bloom, Z. Ésik, Gh Stefanescu

Research output: Contribution to journalArticle

15 Citations (Scopus)


We describe explicitly the free algebras in the equational class generated by all algebras of binary relations with operations of union, composition, converse and reflexive transitive closure and neutral elements 0 (empty relation) and 1 (identity relation). We show the corresponding equational theory is decidable by reducing the problem to a question about regular sets. Similar results are given for two related equational theories.

Original languageEnglish
Pages (from-to)98-126
Number of pages29
JournalAlgebra Universalis
Issue number1
Publication statusPublished - Mar 1 1995


ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this