Some of our primal algebras are missing: the canonical primal theory

DOI10.1007/S00012-007-2016-2MaRDI QIDQ995377zbMATH OpenOpenAlexFDO

Authors Arthur Knoebel

Publication date 3 September 2007

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-007-2016-2

zbMATH Keywords

canonical theoryfree algebraprimal algebraretractseveral-sorted algebrasplitting idempotentssubdirect decomposition

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Heterogeneous algebras (08A68) Free algebras (08B20) Subdirect products and subdirect irreducibility (08B26) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Review text

A variety \(\mathbf V\) is called primal if there exists a primal algebra \(A\in \mathbf V\) such that every algebra from \(\mathbf V\) is a subdirect power of \(A\). It is known that a primal variety is as a category dual equivalent to the category of Boolean spaces and their continuous mappings. A theory of a variety of mono-sorted algebras is a skeleton of the dual of the full subcategory of \(\mathbf V\) formed by all finitely generated free algebras. For a generalization it is defined that the canonical theory of a variety (several-sorted algebras) is a skeleton of the dual of the full subcategory of \(\mathbf V\) formed by all finitely generated free algebras and their retracts. Thus idempotents split in the canonical theory. The canonical theory of Boolean algebras is the category of positive integers and all unary functions between them. This category is the canonical theory associated with every primal variety. Further the author investigates several primal varieties of several-sorted algebras and some consequences are derived and discussed. Finally, all primal theories are gathered into one grand lattice.

Recommendations

• scientific article; zbMATH DE number 139617
• Endoprimal algebras
• scientific article; zbMATH DE number 3963904
• scientific article; zbMATH DE number 540505
• From rectangular bands to \(k\)-primal algebras

Cited in

(6)

• Model theoretic properties in the variety generated by a primal algebra
• Infinite primal algebras and Post varieties
• scientific article; zbMATH DE number 3847457 (Why is no real title available?)
• scientific article; zbMATH DE number 3963904 (Why is no real title available?)
• Representations of algebras in varieties generated by infinite primal algebras.
• New perspectives on semi-primal varieties

This page was built for publication: Some of our primal algebras are missing: the canonical primal theory

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