IDENTITIES IN BIREGULAR LEFTMOST GRAPH VARIETIES OF TYPE (2,0)

Abstract

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s ≈ t if the corresponding graph algebra A(G) satisfies s ≈ t. A class of graph algebras V is called a graph variety if V = ModgΣ where Σ is a subset of T(X) × T(X). A graph variety V' = ModgΣ' is called a biregular leftmost graph variety if Σ' is a set of biregular leftmost term equations. A term equation s ≈ t is called an identity in a variety V if G satisfies s ≈ t for all G ∈ V. In this paper we characterize identities in each biregular leftmost graph variety. For identities, varieties and other basic concepts of universal algebra see e.g. [1].