Mysterious varieties

DOI10.1007/BF01190433MaRDI QIDQ799713zbMATH OpenOpenAlexFDO

Authors Peter H. Krauss

Publication date 1984

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190433

zbMATH Keywords

3-place termscongruence distributivecongruence permutablediscriminatorfiltralfinitely-generatedhereditarily semi-simple varietiesmysterious varietiesparaprimalquasiprimalsubdirectly irreducible

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Lattices of varieties (08B15)

Review text

The following diagram showing subclasses of the class of hereditarily semi-simple (HSS) varieties appears to have a missing variety at the place marked with a query. (Here CP=congruence permutable, CD=congruence distributive, FI=filtral D=discriminator, FG=finitely-generated, PP=paraprimal, QP=quasiprimal.) A non-trivial variety, V, is called mysterious if for some r, \(1\leq r<\omega\), there are 3-place terms M and \(t_ 0,...t_{r-1}\) such that the subdirectly irreducible members of V satisfy the following axioms. (a) \(M(x,y,y)=x;\) (b) \(M(x,x,y)=y;\) (c) \(t_ p(x,x,y)=y,p<r;\) (d) \(x\neq y\to\bigvee_{p<r}t_ p(x,y,z)=x.\) The main result of this note is that mysterious varieties indeed occupy the desired position in the above diagram.

Recommendations

• Minimal sets and varieties
• Equations implying congruence \(n\)-permutability and semidistributivity.
• On independent varieties and some related notions
• The lattice of interpretability types of varieties
• scientific article; zbMATH DE number 3933250

Cites work

• Connections between congruence-lattices and polynomial properties
• Direct factor varieties
• On the Maximality of the Sum of Monotone Operators
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties

Cited in

(6)

• Universal algebras
• Varieties
• On the variety question for wRRA
• scientific article; zbMATH DE number 2094525 (Why is no real title available?)
• The mysterious 2-crown
• Congruence-distributive varieties of algebras

This page was built for publication: Mysterious varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799713)