On the behaviour of congruence-functors (Q1102990): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Q690110 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Ernest Płonka / rank
Normal rank
 

Revision as of 07: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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references