Displaying 21 – 40 of 43

Showing per page

On the solidity of general varieties of tree languages

Magnus Steinby (2012)

Discussiones Mathematicae - General Algebra and Applications

For a class of hypersubstitutions 𝓚, we define the 𝓚-solidity of general varieties of tree languages (GVTLs) that contain tree languages over all alphabets, general varieties of finite algebras (GVFAs), and general varieties of finite congruences (GVFCs). We show that if 𝓚 is a so-called category of substitutions, a GVTL is 𝓚-solid exactly in case the corresponding GVFA, or the corresponding GVFC, is 𝓚-solid. We establish the solidity status of several known GVTLs with respect to certain categories...

On universality of semigroup varieties

Marie Demlová, Václav Koubek (2006)

Archivum Mathematicum

A category K is called α -determined if every set of non-isomorphic K -objects such that their endomorphism monoids are isomorphic has a cardinality less than α . A quasivariety Q is called Q -universal if the lattice of all subquasivarieties of any quasivariety of finite type is a homomorphic image of a sublattice of the lattice of all subquasivarieties of Q . We say that a variety V is var-relatively alg-universal if there exists a proper subvariety W of V such that homomorphisms of V whose image does...

On varieties of graphs

Alfonz Haviar, Roman Nedela (1998)

Discussiones Mathematicae Graph Theory

In this paper, we introduce the notion of a variety of graphs closed under isomorphic images, subgraph identifications and induced subgraphs (induced connected subgraphs) firstly and next closed under isomorphic images, subgraph identifications, circuits and cliques. The structure of the corresponding lattices is investigated.

On varieties of left distributive left idempotent groupoids

David Stanovský (2004)

Discussiones Mathematicae - General Algebra and Applications

We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity xⁿ ≈ x decomposes as the direct product of its largest idempotent factor and a cycle. Some properties of subdirectly ireducible LDLI groupoids are found.

Currently displaying 21 – 40 of 43