On varieties of completely regular semigroups III.
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.
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.
In this paper we investigate varieties of orgraphs (that is, oriented graphs) as classes of orgraphs closed under isomorphic images, suborgraph identifications and induced suborgraphs, and we study the lattice of varieties of tournament-free orgraphs.
In this paper we investigate the relation between the lattice of varieties of pseudo -algebras and the lattice of varieties of lattice ordered groups.
he class of all M-solid varieties of a given type t forms a complete sublattice of the lattice ℒ(τ) of all varieties of algebrasof type t. This gives a tool for a better description of the lattice ℒ(τ) by characterization of complete sublattices. In particular, this was done for varieties of semigroups by L. Polák ([10]) as well as by Denecke and Koppitz ([4], [5]). Denecke and Hounnon characterized M-solid varieties of semirings ([3]) and M-solid varieties of groups were characterized by Koppitz...
Pre-hyperidentities generalize the concept of a hyperidentity. A variety is said to be pre-solid if every identity in is a pre-hyperidentity. Every solid variety is pre-solid. We consider pre-solid varieties of semigroups which are not solid, determine the smallest and the largest of them, and some elements in this interval.
Generalized hypersubstitutions are mappings from the set of all fundamental operations into the set of all terms of the same language do not necessarily preserve the arities. Strong hyperidentities are identities which are closed under the generalized hypersubstitutions and a strongly solid variety is a variety which every its identity is a strong hyperidentity. In this paper we give an example of pre-strongly solid varieties of commutative semigroups and determine the least and the greatest pre-strongly...
Two properties of the lattice of quasivarieties of pseudocomplemented semilattices are established, namely, in the quasivariety generated by the 3-element chain, there is a sublattice freely generated by ω elements and there are quasivarieties.