On constantive simple and order-primal algebras

A finite algebra A = (A; F-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-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.