No label defined (Q4026909)

[For the entire collection see Zbl 0745.00034.] The author illustrates the use of so-called hyperidentities for characterizing several concepts from Universal Algebra. Sample result: Suppose an algebra \({\mathbf A}\) has a finite carrier of cardinality \(n\) a prime power, and one of the fundamental operations of \({\mathbf A}\) is surjective and essentially at least binary. Then \({\mathbf A}\) is primal iff \(F^{n-1}= F^{n-1+\kappa(n)}\) is a strict hyperidentity for \({\mathbf A}\). This means that \(f^{n-1}= f^{n-1+\kappa(n)}\) holds for each one-place term function on \({\mathbf A}\) and that the exponents \(n-1\) and \(n- 1+\kappa(n)\) are minimal with this property (where \(\kappa(n)\) denotes the lcm of \(1,\dots,n\)). Another hyperidentity is shown to characterize the algebras polynomially equivalent to a module over a ring within a congruence modular and congruence permutable variety. On the other hand, hyperidentities fail to separate nonisomorphic clones on algebras whose carriers have at least 4 elements.