Generalized varieties

DOI10.1007/BF01196548MaRDI QIDQ2366144zbMATH OpenOpenAlexFDO

Authors Nik Weaver

Publication date 29 June 1993

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01196548

zbMATH Keywords

homomorphismsimplicationsstructure theoremsvariety of relational systems

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Structure theory of algebraic structures (08A05) Varieties (08B99)

Review text

Generalizing the concept of a variety of algebras to the concept of a variety of relational systems one has to deal with the problem how to define homomorphisms. In this paper, the author uses the rather strong condition \(r^ A (a_ 1, \dots, a_ n)\) iff \(r^ B (\varphi (a_ 1), \dots, \varphi (a_ n))\) for a \(*\)-homomorphism \(\varphi : A \to B\) of a structure \(A\) into a structure \(B\). Then appropriate definitions for \(*\)- implications and \(*\)-varieties are presented. It is demonstrated that many structure theorems have an analogue counterpart in this approach.

Recommendations

• Congruence relations of multialgebras
• scientific article; zbMATH DE number 2223010
• Pseudovarieties, generalized varieties and similarly described classes
• Varieties of algebraic systems and propositional calculi
• Homomorphisms of heterogeneous algebras

Cites work

• A structure theory for ordered sets
• Algebras Whose Congruence Lattices are Distributive.
• Classes of algebraic systems defined by universal Horn sentences
• Completeness of calculii for axiomatically defined classes of algebras
• scientific article; zbMATH DE number 3833923 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 3572729 (Why is no real title available?)
• scientific article; zbMATH DE number 3803506 (Why is no real title available?)
• scientific article; zbMATH DE number 3216240 (Why is no real title available?)
• On the adjointness between operations and relations and its impact on atomic compactness
• Primal topological algebras
• Subdirect representations in axiomatic classes
• Theory of relations. Transl. from the French by P. Clote
• Varieties of ordered algebras

Cited in

(22)

• Combination of constraint solvers for free and quasi-free structures
• Quasi-varieties of metric algebras
• The variety of CH-algebras
• Varieties and induction
• Varieties of complex algebras
• Varieties of relational structures
• On the general coloring problem
• Primality of algebras relative to congruences
• Infinitary varieties of structures closed under the formation of complex structures
• Homomorphic relations of algebras with a scheme of operators
• scientific article; zbMATH DE number 4144828 (Why is no real title available?)
• scientific article; zbMATH DE number 3943894 (Why is no real title available?)
• scientific article; zbMATH DE number 3959497 (Why is no real title available?)
• scientific article; zbMATH DE number 3970814 (Why is no real title available?)
• scientific article; zbMATH DE number 3976999 (Why is no real title available?)
• scientific article; zbMATH DE number 2067768 (Why is no real title available?)
• scientific article; zbMATH DE number 800138 (Why is no real title available?)
• scientific article; zbMATH DE number 937369 (Why is no real title available?)
• Combination of constraint solving techniques: An algebraic point of view
• Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective
• scientific article; zbMATH DE number 2223010 (Why is no real title available?)
• Algebras with fuzzy equalities

This page was built for publication: Generalized varieties

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