Abstract
A finite algebra \(\underline{A} = (A; F^{\underline{A}})\) is said to be order-primal if its clone of all term operations is the set of all operations defined on A which preserve a given partial order ≤ on A. In this paper we study algebraic properties of order-primal algebras for connected ordered sets (A; ≤). Such order-primal algebras are constantive, simple and have no non-identical automorphisms. We show that in this case \(F^{\underline A}\) cannot have only unary fundamental operations or only one at least binary fundamental operation. We prove several properties of the varieties and the quasi-varieties generated by constantive and simple algebras and apply these properties to order-primal algebras. Further, we use the properties of order-primal algebras to formulate new primality criteria for finite algebras.
Similar content being viewed by others
References
Bergman, C.: Structural Completeness in Algebra and Logic, 1989, preprint.
Burris, S. and Sankappanavar, H. P.: A Course in Universal Algebra, Springer, New York, 1981.
Davey, B. A., Quackenbush, R. W. and Schweigert, D.: Monotone clones and the varieties they determine, Order 7 (1990), 145–167.
Demetrovics, J. and Rónyai, L.: Algebraic properties of crowns and fences, Order 6 (1989), 91–99.
Denecke, K.: Preprimal Algebras, Akademie Verlag, Berlin, 1982.
Foster, A. L.: The identities of – and unique subdirect factorization within classes of universal algebra, Math. Z. 62 (1955), 171–188.
Foster, A. L.: Generalized equational maximality and primal – in the small-algebras, Math. Z. 79 (1962), 127–146.
Knoebel, A.: The Equational Classes Generated by Single Functionally Precomplete Algebras, Memoirs of the American Mathematical Society, Nr. 332, Vol. 157, Providence, Rhode Island, USA, 1985.
Kun, G.: Order Varieties and Monotone Retactions of Finite Posets, 2000, preprint.
Larose, B. and Zádori, L.: Algebraic properties and dismantlability of finite posets, Discrete Math. 163 (1997), 89–99.
Larose, B.: A Note on Minimal Varieties Generated by Order-Primal Algebras, 2002, preprint.
Lausch, H. and Nöbauer, W.: Algebra of Polynomials, North Holland Publ. Comp. New York, 1973.
Ratanaprasert, C.: On Monotone Clones of Connected Ordered Sets, General Algebra and Discrete Mathematics, 59th Arbeitstagung Allgemeine Algebra, Potsdam, 2000.
Rosenberg, I. G.: Über die funktionale Vollständigkeit in den mehrwertigen Logiken, Struktur der Funktionen von mehreren Veränderlichen auf endlichen Mengen, Rozpravy Českosloven, Akademie \(\textrm {\v Ved}\). Ser. Math. Nat. Sci. 80 (1970), 3–93.
Rousseau, G.: Completeness in finite algebras with a single operation, Proc. Am. Math. Soc. 18 (1967), 1009–1013.
Tardos, G.: A maximal clone of monotone operations which is not finitely generated, Order 3 (1986), 211–218.
Kun, G. and Szabó, Cs.: Order varieties and monotone retractions of finite posets, Order 18 (2001), 79–88.
McKenzie, R.: Monotone clones, residual smallness and congruence distributivity, Bull. Aust. Math. Soc. 41 (1990), 283–290.
Rival, I.: The problem of fixed points in ordered sets, Ann. Discrete Math. 8 (1980), 283–292.
Kearnes, K. A. and Szendrei, Á.: A characterization of minimal locally finite varieties, Trans. Am. Math. Soc. 345(2) (1997), 1749–1768.
Author information
Authors and Affiliations
Corresponding author
Additional information
* Research supported by the Hungarian research grant No. TO34137 and by the János Bolyai grant.
** Research supported by the Thailand Research Fund.
Rights and permissions
About this article
Cite this article
Denecke, K., Radelecki, S. & Ratanaprasert, C. On Constantive Simple and Order-Primal Algebras. Order 22, 301–310 (2005). https://doi.org/10.1007/s11083-005-9009-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-005-9009-6