We prove that any nite subdirectly irreducible algebra in a congruence modular variety with trivial Frattini congruence is critical. We also show that if A and B are critical algebras which generate the same congruence modular variety, then the variety generated by the proper sections of A equals the variety generated by the proper sections of B.
As a sequel to [2] and [15] we investigate ideal properties focusing on subtractive varieties. Here ...
The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, ...
Varieties generated by a two-element algebra (here called two-generated varieties) have long const...
For varieties, congruence modularity is equivalent to the tolerance intersection property, TIP in sh...
International audienceFor a class V of algebras, denote by Conc(V) the class of all semilattices iso...
Abstract. For varieties, congruence modularity is equivalent to the tolerance intersection property,...
In a congruence modular subtractive variety there are both the commutator of ideals and the commutat...
The possible values of critical points between strongly congruence-proper varieties of algebras Pier...
Let V be a congruence modular variety satisfying (C2) whose two generated free algebra is finite. If...
International audienceWe denote by Conc(A) the semilattice of compact congruences of an algebra A. G...
The purpose of the present note is to prove (in Section 5) a Cancellation Theorem for algebras in co...
Some elements of tame congruence theory can be applied to quasiorder lattices instead of congruence ...
Abstract. We denote by Conc A the semilattice of all compact congruences of an algebra A. Given a va...
We present a characterization of congruence modularity by means of an identity involving a tolerance...
For an arbitrary lattice identity implying modularity (or at least congruence modularity) a Mal&apos...
As a sequel to [2] and [15] we investigate ideal properties focusing on subtractive varieties. Here ...
The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, ...
Varieties generated by a two-element algebra (here called two-generated varieties) have long const...
For varieties, congruence modularity is equivalent to the tolerance intersection property, TIP in sh...
International audienceFor a class V of algebras, denote by Conc(V) the class of all semilattices iso...
Abstract. For varieties, congruence modularity is equivalent to the tolerance intersection property,...
In a congruence modular subtractive variety there are both the commutator of ideals and the commutat...
The possible values of critical points between strongly congruence-proper varieties of algebras Pier...
Let V be a congruence modular variety satisfying (C2) whose two generated free algebra is finite. If...
International audienceWe denote by Conc(A) the semilattice of compact congruences of an algebra A. G...
The purpose of the present note is to prove (in Section 5) a Cancellation Theorem for algebras in co...
Some elements of tame congruence theory can be applied to quasiorder lattices instead of congruence ...
Abstract. We denote by Conc A the semilattice of all compact congruences of an algebra A. Given a va...
We present a characterization of congruence modularity by means of an identity involving a tolerance...
For an arbitrary lattice identity implying modularity (or at least congruence modularity) a Mal&apos...
As a sequel to [2] and [15] we investigate ideal properties focusing on subtractive varieties. Here ...
The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, ...
Varieties generated by a two-element algebra (here called two-generated varieties) have long const...