2000 Mathematics Subject Classification. Primary 08A30; Secondary 08B10.The author has received support from MPI and GNSAGA. We thank G. Czédli for stimulating correspondence and discussions.
<ph f="cmbx">Intersection properties of relations</ph>

Paolo Lipparini

Dipartimento di Matematica, Viale della Ricerca Scientifoca, II Universita di Roma (Tor Vergata), ROME ITALY E-mail address : lipparin@axp.mat.uniroma2.it URL: http://www.mat.uniroma2.it/~lipparin

1 Notations

α , β . . .   denote congruences on some algebra A   ; Θ , Γ   are used for tolerances (reflexive, symmetric and admissible relations), while we reserve the letters R , S   to denote reflexive (but otherwise arbitrary) binary relations. The words admissible and compatible will be used with the same meaning.
Already
[Jrealized the importance of dealing with reflexive admissible relations (cf. [J,Theorem2.16). [Tpresents a very clear discussion of the interplay between congruence identities and identities involving reflexive admissible relations. Notice that our notation mainly comes from [T, and differs from [J.
We shall write
a R b   to mean that ( a , b ) R   , and we will use chains of the above notation: for example, a Θ b α c R d   means ( a , b ) Θ   , ( b , c ) α   and ( c , d ) R   .
Intersection is sometimes denoted by juxtaposition; in particular
α β   denotes the meet of the congruences α   and β   .
R *   denotes the transitive closure of the binary relation R   ; in particular, Θ *   is the smallest congruence which contains the tolerance Θ   . R ¯   denotes the smallest compatible relation containing R   (where R   is a binary relation on some algebra which should be clear from the context). In particular, Θ Γ ¯   is the smallest tolerance which contains the tolerances Θ   and Γ   .
R + S   denotes n N R S R S . . . n f a c t o r s   Thus, R + S   is the transitive closure of R S   , and even the transitive closure of R S   , since R   and S   are supposed to be reflexive. In particular, if α , β   are congruences, α + β   is the join of α   and β   in the lattice of congruences, while, for Θ   , Γ   tolerances, Θ + Γ   is the smallest congruence which contains both Θ   and Γ   . Notice that Θ + Γ   is far larger than the join of Θ   and Γ   in the lattice of tolerances.
R   denotes the converse of R   , that is, a R b   if and only if b R a   . In particular, R + R   is the smallest equivalence relation containing R   .
C g ( R )   is the smallest congruence containing R   . Notice that if R   and S   are compatible then R S   is compatible; and, by an induction, we get that R + S   is compatible, too. Thus, if R   is compatible, then C g ( R ) = R + R   .
In general, for
R   not necessarily compatible, C g ( R ) = C g ( R ¯ ) = R ¯ + R ¯   .

2 Intersection properties

Theorem 2.1. Suppose that A   is an algebra such that every subalgebra of A × A   generated by 4   elements satisfies β ( γ δ γ ) β γ + δ   , for all congruences β , γ , δ   with δ β   .
Then
A   satisfies α ( R + S ) α ( R S ¯ ) + α ( R S ¯ ) = α ( R S ¯ ) + α ( R S ¯ ) = α ( C g ( R ) + C g ( S ) )   for all reflexive relations R   and S   and every congruence α   .
Proposition 2.2. Under the hypothesis of Theorem  2.1 , A   satisfies α ( R S ) α ( R S ¯ ) + α ( R S ¯ )   for all reflexive relations R   and S   and every congruence α   .
Corollary 2.3. [LUnder the hypothesis of Theorem  2.1 , A   satisfies ( w T I P ) α Θ * = ( α Θ ) *   for every tolerance Θ   and every congruence α   .
Corollary 2.4. Under the Hypothesis of Theorem  2.1 , A   satisfies α ( R + R ) α ( R ¯ + R ¯ ) = α R ¯ + α R ¯ = α C g ( R )   for every reflexive relation R   .
References

  1. Gábor Czédli and Eszter K. Horváth, Congruence distributivity and modularity permit tolerances, Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 41 (2002), 39–42. MR MR1967338 (2004b:08010)
  2. , All congruence lattice identities implying modularity have Mal   tsev conditions, Algebra Universalis 50 (2003), no. 1, 69–74. MR MR2026828 (2004j:08006)
  3. Bjarni Jónsson, Congruence varieties, Algebra Universalis 10 (1980), no. 3, 355–394. MR MR564122 (81e:08004)
  4. Paolo Lipparini, Tolerance intersection properties and subalgebras of squares, submitted (available at the author's web page).
  5. Steven T. Tschantz, More conditions equivalent to congruence modularity, Universal algebra and lattice theory (Charleston, S.C., 1984), Lecture Notes in Math., vol. 1149, Springer, Berlin, 1985, pp. 270–282. MR MR823021 (87e:08009)

Dipartimento di Matematica, Viale della Ricerca Scientifoca, II Universita di Roma (Tor Vergata), ROME ITALY E-mail address : lipparin@axp.mat.uniroma2.it URL: http://www.mat.uniroma2.it/~lipparin