Notes on equational theories of relations

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

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

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
Volume33
Issue number1
DOIs
Publication statusPublished - Mar 1 1995

    Fingerprint

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this