On the behaviour of congruence-functors (Q1102990): Difference between revisions
From MaRDI portal
Removed claims |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Ervin Fried / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ernest Płonka / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the congruence extension property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform congruence schemes / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01188396 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1994823439 / rank | |||
Normal rank |
Latest revision as of 11:26, 30 July 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