zbMATH — the first resource for mathematics

Normally presented varieties. (English) Zbl 0842.08007
An identity \(p(x_1,\dots, x_n) = q(x_1,\dots, x_n)\) is called normal if it is of the form \(x_1 = x_1\) or neither \(p\) nor \(q\) is a variable. For a variety \(\mathcal V\), \({\mathcal N} ({\mathcal V})\) denotes the variety defined by all normal identities of \(\mathcal V\). Let \({\mathfrak A} \in {\mathcal V}\), \(\Theta\) any congruence on \(\mathfrak A\) and \(\kappa\) any function sending each \(\Theta\) class to an element of the class and satisfying some non-triviality property. The author defines the choice algebras: For any \(n\)-ary term \(f(x_1, \dots, x_n)\) and for elements \(a_1, \dots, a_n\) let \(f_{(\Theta,\kappa)} (a_1, \dots, a_n) = \kappa([f(a_1, \dots, a_n)]\Theta)\). The author proves that \({\mathcal N}({\mathcal V})\) consists of the homomorphic images of the choice algebras of the given variety. Some related questions and examples are discussed.
Reviewer: E.Fried (Budapest)

08B99 Varieties
Full Text: DOI
[1] Chajda, I.,Lattices in quasiordered sets, ACTA UP Olomouc31 (1992), 6-12. · Zbl 0773.06002
[2] Chajda, I.,An algebra of quasiordered logic, Math. Bohem. to appear. · Zbl 0816.06007
[3] Chajda, I. andKotrle, M.,Subdirectly irreducible and congruence distributive q-lattices, Czech. Math. J.43 (1993), 635-642. · Zbl 0798.06018
[4] Graczynska, E.,On normal and regular identities, Algebra Univ.27 (1990), 387-397. · Zbl 0713.08007 · doi:10.1007/BF01190718
[5] Graczynska, E.,EIS for nilpotent shifts of varieties, in: K. Denecke and H.-J. Vogel (eds.),General Algebra and Applications, Heldermann Verlag, Berlin, 116-120. · Zbl 0796.08008
[6] Mel’nik, I. I.,Nilpotent shifts of manifolds, Math. Notes14 (1973), 692-696.
[7] P?onka, J.,On varieties of algebras defined by identities of some special forms, Houston J. of Math.14 (1988), 253-263. · Zbl 0669.08006
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.