On constantive simple and order-primal algebras (Q2494389): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 03:30, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On constantive simple and order-primal algebras |
scientific article |
Statements
On constantive simple and order-primal algebras (English)
0 references
26 June 2006
0 references
Given a finite partially ordered set \((A,\leq)\), an algebra \(\mathcal A\) defined on this set is said to be \textit{order-primal} if every finitary function on \(A\) which preserves the given partial order is a term function of \(\mathcal A\). The present paper considers the case when the set \(A\) is \textit{connected} under \(\leq\), which means that any two elements \(a,b\) of \(A\) can be connected by a sequence of elements starting with \(a\) and ending in \(b\) such that any two neighbouring elements of the sequence are comparable. In this case it is easy to deduce from known results that the algebra \(\mathcal A\) is simple, has no proper subalgebra and no non-identical automorphism, and every constant function is a term function of \(\mathcal A\) (the last of these properties is meant by saying that \(\mathcal A\) is \textit{constantive}); furthermore, \(\mathcal A\) must have at least two fundamental operations which are not both unary. After this, the authors investigate the question when such an algebra generates a minimal variety or quasivariety, and also obtain new primality criteria for algebras whose set of term functions contains all functions which preserve a connected unbounded order on the base set of the algebra.
0 references
order-primal algebra
0 references
connected order
0 references
minimal variety
0 references