Congruence relations of multialgebras. (English) Zbl 0554.08001
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).
Reviewer: I.Chajda
MSC:
08A02 | Relational systems, laws of composition |
08B99 | Varieties |
08C10 | Axiomatic model classes |
08B20 | Free algebras |
08A05 | Structure theory of algebraic structures |
08A30 | Subalgebras, congruence relations |
Keywords:
relational system; Horn formula; congruence relation; homomorphism; multialgebras; variety of multialgebras; free multialgebra; subdirect product; subdirectly irreducible multialgebrasReferences:
[1] | Cohn, P. M., Universal Algebra (1981), Reidel: Reidel Dordrecht, Holland · Zbl 0141.01002 |
[2] | Grätzer, G., A representation theorem for multialgebras, Arch. Math., 13, 452-456 (1962) · Zbl 0109.25102 |
[3] | Hansoul, G. E., A simultaneous characterization of subalgebras and conditional subalgebras of a multialgebra, Bull. Soc. Roy. Sci. Liege, 50, 16-19 (1981) · Zbl 0472.08002 |
[4] | Höft, H.; Howard, P. E., Representing multi-algebras by algebras, the axiom of choice, and the axiom of dependent choice, Algebra Universalis, 13, 69-77 (1981) · Zbl 0419.03030 |
[5] | Pickett, H. E., Subdirect representations of relational systems, Fund. Math., 56, 223-240 (1964) · Zbl 0126.03405 |
[6] | Pickett, H. E., Homomorphisms and subalgebras of multialgebras, Pacific J. Math., 21, 327-343 (1967) · Zbl 0149.26101 |
[7] | Plonka, J., On lattices of congruences of relational systems and universal algebras, Algebra Universalis, 13, 82-86 (1981) · Zbl 0476.08002 |
[8] | Schweigert, D., On varieties of clones, Semigroup For., 26, 275-285 (1983) · Zbl 0518.08004 |
[9] | Schweigert, D., Zur Definition der Polynomalgebra, Math. Nachr., 79, 249-251 (1977) · Zbl 0356.08007 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.