ISSN: 1314-3344
Andrzej Walendziak
Nous montrons que toute paire de congruences sur une algèbre BG (et aussi sur une algèbre BF1/B/BM) est permutable. Ce résultat implique que si A est une algèbre BG/BF1/B/BM, alors le treillis de toutes les congruences sur A est modulaire. De plus, il est prouvé que les algèbres BF et BCK (et aussi les algèbres BCI/BCH/BH) ne sont pas permutables par congruence, en général.