Mathematica Eterna
Acesso livre

Abstrato

As álgebras BG/BF1/B/BM são congruência permutáveis

Andrzej Walendziak

Mostramos que todo o par de congruências numa álgebra BG (também numa álgebra BF1/B/BM) permuta. Este resultado implica que se A é uma álgebra BG/BF1/B/BM, então a rede de todas as congruências em A é modular. Além disso, está provado que as álgebras BF e as álgebras BCK (também álgebras BCI/BCH/BH) não são permutáveis ​​por congruência, em geral.