Dual discriminator subvarieties of a variety
type: Item
instance of: scholarly article
title: Dual discriminator subvarieties of a variety
zbMATH Open document ID: 0839.08004
DOI: 10.1007/BF01182101
published in: Algebra Universalis
publication date: 1996-06-19T00:00:00Z
review text: The dual discriminator function \(d(x,y,z)\) on a set \(A\) is defined as \(d (a, b, c) = a\) if \(a = b\) and \(d(a,b,c) = c\) if \(a \neq b\). Let \(q(x,y,z)\) be a term of a variety \({\mathcal V}\) of algebras. Then the subvariety \({\mathcal X}\) of \({\mathcal V}\) generated by all algebras in \({\mathcal V}\) where \(q(x,y,z)\) yields the dual discriminator function is called the dual discriminator subvariety of \({\mathcal V}\) defined by \(q(x,y,z)\). A dual discriminator subvariety of \({\mathcal V}\) defined by some term is called a dual discriminator subvariety of \({\mathcal V}\). For example, the variety \({\mathcal L}\) of all lattices contains two dual discriminator subvarieties: the variety \({\mathcal D}\) of distributive lattices and the variety \({\mathcal O}\) consisting of the trivial lattice, only. An algebra \(\langle A; \vee, \wedge \rangle\) is called a weakly associative lattice (WAL), if the two binary operations satisfy the following identities: \[ \begin{aligned} & x \vee x = x = x \wedge x, \\ & x \vee y = y \vee x \text{ and } x \wedge y = y \wedge x, \\ & x \vee (y \wedge x) = x = x \wedge (y \vee x), \\ & x \wedge \bigl[ (x \vee y) \wedge (x \vee z) \bigr] = x = x \vee \bigl[ (x \wedge y) \vee (x \wedge z) \bigr]. \end{aligned} \] Let \({\mathcal W}\) be the variety of all WALs. Since the number of ternary WAL-terms is countable, the number of dual discriminator subvarieties of \({\mathcal W}\) can only be countable. The question is whether this number is finite or infinite. In the paper, infinitely many terms in \({\mathcal W}\) such that they define distinct dual discriminator subvarieties of \({\mathcal W}\) are constructed. As a supplement, a variety \({\mathcal V}\) of WALs which is the union of its dual discriminator subvarieties \({\mathcal V}_0 \subset {\mathcal V}_1 \subset \cdots\) and is not a dual discriminator variety is presented.
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 836827
zbMATH Keywords: dual discriminator function
zbMATH Keywords: weakly associative lattice
zbMATH Keywords: number of dual discriminator subvarieties
author: Ervin Fried
reviewed by: Leonid M. Martynov
MaRDI profile type: Publication
cites work: Q5629670
cites work: Q4071778
cites work: Q4071781
cites work: Q4177620
cites work: Prime factorization, algebraic extension and construction of weakly associative lattices
cites work: The subvariety structure of weakly associative lattices with the unique bound property
cites work: Q4116474
cites work: Connections between congruence-lattices and polynomial properties
cites work: Q4177625
cites work: Weakly associative lattices and projective planes
cites work: Uniform congruence schemes
cites work: Q3870946
cites work: Q3875978
cites work: An equational basis in four variables for the three-element tournament
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Equational Bases and Nonmodular Lattice Varieties
full work available at URL: https://doi.org/10.1007/bf01182101
OpenAlex ID: W2066745353
description: scientific article; zbMATH DE number 836827