Finite-to-finite universal quasivarieties are Q-universal

Abstract. Let K be a quasivariety of algebraic systems of finite type. K is said to be universal if the category G of all directed graphs is isomorphic to a full subcategory of K. If an embedding of G may be effected by a functor F:G $ \longrightarrow $K which assigns a finite algebraic system to each finite graph, then K is said to be finite-to-finite universal. K is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.¶We establish a connection between these two, apparently unrelated, notions by showing that if K is finite-to-finite universal, then K is Q-universal. Using this connection a number of quasivarieties are shown to be Q-universal.

[1]  Z. Hedrlín,et al.  Symmetric relations (undirected graphs) with given semigroups , 1965 .

[2]  S. V. Sizyi.  Quasivarieties of graphs , 1994 .

[3]  Mark Sapir,et al.  The lattice of quasivarieties of semigroups , 1985 .

[4]  Václav Koubek,et al.  On Full and Faithful Kan Extensions , 1998, Appl. Categorical Struct..

[5]  George Grätzer,et al.  ON THE ENDOMORPHISM SEMIGROUP (AND CATEGORY) OF BOUNDED LATTICES , 1970 .

[6]  Václav Koubek,et al.  Homomorphisms and endomorphisms in varieties of pseudocomplemented distributive lattices (with applications to Heyting algebras) , 1984 .

[7]  Wieslaw Dziobiak.  On subquasivariety lattices of some varieties related with distributive p-algebras , 1985 .

[8]  V. Gorbunov,et al.  Algebraic theory of quasivarieties , 1998 .

[9]  Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I , 1995 .

[10]  Václav Koubek,et al.  Universal varieties of $(0,1)$-lattices , 1990 .

[11]  A. Pultr,et al.  Combinatorial, algebraic, and topological representations of groups, semigroups, and categories , 1980 .

[12]  Universal expansion of semigroup varieties by regular involution , 1993 .

[13]  V. I. Tumanov,et al.  A class of lattices of quasivarieties , 1980 .

[14]  J. Sichler,et al.  Homomorphisms and endomorphisms of distributive lattices , 1985 .

[15]  Aleš Pultr.  Concerning universal categories , 1964 .

[16]  M. E. Adams,et al.  Joins of minimal quasivarieties , 1995, Stud Logica.

[17]  M. E. Adams,et al.  $Q$-universal quasivarieties of algebras , 1994 .

[18]  On minimal simple lattices , 1994 .

[19]  V. Kartashov.  Quasivarieties of unary algebras with a finite number of cycles , 1980 .

[20]  Aleš Pultr,et al.  A rigid relation exists on any set , 1965 .

[21]  Z. Hedrlín,et al.  On full embeddings of categories of algebras , 1966 .

[22]  W. Dziobiak,et al.  On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices , 1986 .

[23]  Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation , 1983 .

[24]  Hilary A. Priestley.  Representation of distributive lattices , 1970 .