On the behaviour of congruence-functors (Q1102990): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Q690110 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Ernest Płonka / rank | |||
Revision as of 08:37, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the behaviour of congruence-functors |
scientific article |
Statements
On the behaviour of congruence-functors (English)
0 references
1987
0 references
Let Comp \({\mathfrak A}\) be the semilattice of all compact congruences of the algebra \({\mathfrak A}\). Any homomorphisms \(\phi\) : \({\mathfrak A}\to {\mathfrak B}\) of algebras of a variety K induces a homomorphism Comp \(\phi\) by the identity (Comp \(\phi)\)(\(\Theta)\)(a,a')\(=\Theta (\phi (a),\phi (a'))\). It is proved that the functor Comp has the following properties: it preserves products iff the principal congruences can be defined in K by a finite set of equations; it always preserves surjectivity; it preserves injectivity iff K satisfies the Congruence Extension Property; it preserves products and injectivity iff the equation above contains only the four elements which are involved in the congruence; it never preserves coproducts.
0 references
compact congruences
0 references
products
0 references
surjectivity
0 references
injectivity
0 references
Congruence Extension Property
0 references
coproducts
0 references