Congruence relations of multialgebras
type: Item
instance of: scholarly article
title: Congruence relations of multialgebras
zbMATH Open document ID: 0554.08001
DOI: 10.1016/0012-365X(85)90145-1
author: Dietmar Schweigert
published in: Discrete Mathematics
publication date: 1985-01-01T00:00:00Z
review text: A concept of congruence relation and homomorphism for multialgebras is developed as well as the concept of variety of multialgebras and (totally) free multialgebra. Every multialgebra is isomorphic to a subdirect product of subdirectly irreducible multialgebras (Theorem 2.2) and every class of multialgebras of the same type defined by a set of multialgebra implications forms a multialgebra variety (Theorem 3.2).
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 08A02
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 08C10
Mathematics Subject Classification ID: 08B20
Mathematics Subject Classification ID: 08A05
Mathematics Subject Classification ID: 08A30
zbMATH DE Number: 3882503
zbMATH Keywords: relational system
zbMATH Keywords: Horn formula
zbMATH Keywords: congruence relation
zbMATH Keywords: homomorphism
zbMATH Keywords: multialgebras
zbMATH Keywords: variety of multialgebras
zbMATH Keywords: free multialgebra
zbMATH Keywords: subdirect product
zbMATH Keywords: subdirectly irreducible multialgebras
MaRDI profile type: Publication
cites work: Q5515373
cites work: A representation theorem for multi-algebras
cites work: Q3926649
cites work: Representing multi-algebras by algebras, the axiom of choice, and the axiom of dependent choice
cites work: Subdirect representations of relational systems
cites work: Homomorphisms and subalgebras of multialgebras
cites work: On lattices of congruences of relational systems and universal algebras
cites work: On varieties of clones
cites work: Zur Definition der Polynomalgebra
description: scientific article; zbMATH DE number 3882503