Congruence regularity and its generalizations
by
Guenther Eigenthaler
Vienna University of Technology
Coauthors: Ivan Chajda

In regular algebras (see [8]), every congruence is uniquely determined by each of its classes, thus also every class containing a given element c is uniquely determined by a given class. For weakly regular algebras with a constant 0, every class is determined by the class containing 0 (see e.g. [9], [10]) and, vice versa, for locally regular algebras (introduced by the first author in [1]), the class containing 0 is determined by every congruence class. This scheme motivated us to find a general concept of dependency of congruence classes which can be applied not only to the afore mentioned cases but also for other modifications of congruence regularity (see [2], [3], [4], [5], [6], [7]).

References

1. Chajda I.: Locally regular varieties, Acta Sci. Math. (Szeged) 64 (1998), 431-435.
2. Chajda I., Eigenthaler G.: Dually regular varieties, Contributions to General Algebra 12 (2000), 121-128.
3. Chajda I., Eigenthaler G.: Balanced congruences, Discuss. Math., General Algebra and Applications, Vol. 21 (2001), 105-114.
4. Chajda I., Eigenthaler G.: Some modifications of congruence permutability and dually regular varieties, Discuss. Math., General Algebra and Applications, Vol. 21 (2001), 165-174.
5. Chajda I., Eigenthaler G.: Consistent algebras, Contributions to General Algebra 13 (2001), 55-62.
6. Chajda I., Halas R.: Local coherence for locally regular algebras, Algebra and Model Theory 2 (Novosibirsk), 1999, 29-33.
7. Chajda I., Länger H.: Restricted congruence regularity, Acta Math. Univ. Comen. (Bratislava), to appear.
8. Csákány B.: Characterizations of regular varieties, Acta Sci. Math. (Szeged) 31 (1970), 187-189.
9. Fichtner K.: Varieties of universal algebras with ideals (Russian), Math. Sb. 75 (1968), 445-453.
10. Fichtner K.: Eine Bemerkung über Mannigfaltigkeiten universeller Algebren mit Idealen, Monatsber. DAW, 12 (1970), 21-25.

Date received: June 5, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caiv-18.