Clones and hyperidentities

MaRDI QIDQ1806078zbMATH OpenFDO

Authors Klaus Denecke

Publication date 20 December 1999

Published in Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)

zbMATH Keywords

clone clone of term operations functional completeness hyperidentity survey term function

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40)

Review text

Let \({\mathbf A}\) be an algebra. An identity in \({\mathbf A}\) is called a hyperidentity in \({\mathbf A}\) if it is satisfied after replacing the operation symbols by terms of the corresponding arity. The paper gives a survey on the theory of hyperidentitites and its connection to clones. Hyperidentities in \({\mathbf A}\) correspond to identities in the clone of term operations of \({\mathbf A}\). In this way clones can be described by hyperidentities. This approach is applied to the functional completeness problem, i.e. to the question when given operations on a set already generate all operations on this set.

Cited in

(15)

This page was built for publication: Clones and hyperidentities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1806078)