Conditions for permutability of congruences in implication algebras (Q841165)

The paper studies permutable congruences on implication algebras, introduced by \textit{J. C. Abbott} in [Mat. Vesn., N. Ser. 4(19), 177--198 (1967; Zbl 0153.02704); Bull. Math. Soc. Sci. Math., Répub. Soc. Roum., Nouv. Sér. 11(59), 3--23 (1968; Zbl 0169.30401)]. The main result characterizes congruence permutability in terms of implication algebras. Then the criterion is simplified for finite implication algebras. A number of applications follow. First, some previously obtained theorems of \textit{W. H. Cornish} [Math. Jap. 25, 477--496 (1980; Zbl 0444.03035)] and \textit{J. P. Díaz Varela} and \textit{A. Torrens} [Algebra Univers. 50, No.~1, 1--5 (2003; Zbl 1091.03030)] are easily derived. Further, all congruences on finitely generated free implication algebras that permute with every other congruence are described.