×

Existence of finite bases for quasi-equations of unary algebras with 0. (English) Zbl 1335.08005

The question on a characterization of algebras possessing a finite basis for their equations or quasi-equations has been studied by various authors. The present paper deals with finite \(\{0,1\}\)-valued unary algebras \(\mathbf M\) with \(\{0\}\) being a subalgebra. Then each nontrivial clone operation corresponds to a basic operation of \(\mathbf M\). Now clone operations are represented by a table where rows are ordered in some natural way. The main result of the paper is as follows: \(\mathbf M\) has a finite basis of quasi-equations if and only if the rows form an order ideal. The notion of a quasicritical algebra appears as a considerable useful tool for the proof.

MSC:

08C15 Quasivarieties
08A60 Unary algebras
Full Text: DOI

References:

[1] DOI: 10.1007/BF01979193 · Zbl 0703.08004 · doi:10.1007/BF01979193
[2] DOI: 10.1017/S0305004100013463 · JFM 61.1026.07 · doi:10.1017/S0305004100013463
[3] DOI: 10.1142/S0218196709005408 · Zbl 1196.08004 · doi:10.1142/S0218196709005408
[4] DOI: 10.1007/BF01978661 · Zbl 0535.08006 · doi:10.1007/BF01978661
[5] Gorbunov V. A., Siberian School of Algebra and Logic, in: Algebraic Theory of Quasivarieties (1998)
[6] DOI: 10.1007/s00012-004-1896-7 · Zbl 1081.08008 · doi:10.1007/s00012-004-1896-7
[7] DOI: 10.1142/S0218196705002323 · Zbl 1086.08001 · doi:10.1142/S0218196705002323
[8] Kartashov V. K., Mat. Zametki 27 pp 720– (1980)
[9] DOI: 10.1007/s10958-009-9736-0 · Zbl 1288.08001 · doi:10.1007/s10958-009-9736-0
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.