Mathematica Eterna
Acceso abierto

abstracto

Las álgebras BG/BF1/B/BM son permutables por congruencia

Andrzej Walendziak

Demostramos que todo par de congruencias en una álgebra BG (también en una álgebra BF1/B/BM) se permuta. Este resultado implica que si A es un álgebra BG/BF1/B/BM, entonces la red de todas las congruencias en A es modular. Además, se demuestra que BF-álgebras y BCK-álgebras (también BCI/BCH/BH-álgebras) no son permutables en congruencia, en general.