# zbMATH — the first resource for mathematics

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
Full Text:
##### References:
 [1] Cohn, P.M., Universal algebra, (1981), 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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.