Congruence relations of multialgebras (Q759782)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Congruence relations of multialgebras |
scientific article; zbMATH DE number 3882503
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Congruence relations of multialgebras |
scientific article; zbMATH DE number 3882503 |
Statements
Congruence relations of multialgebras (English)
0 references
1985
0 references
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).
0 references
relational system
0 references
Horn formula
0 references
congruence relation
0 references
homomorphism
0 references
multialgebras
0 references
variety of multialgebras
0 references
free multialgebra
0 references
subdirect product
0 references
subdirectly irreducible multialgebras
0 references
0 references
