Mathematica Eterna
Offener Zugang

Abstrakt

BG/BF1/B/BM-Algebren sind kongruenzpermutierbar

Andrzej Walendziak

Wir zeigen, dass jedes Paar von Kongruenzen auf einer BG-Algebra (auch auf einer BF1/B/BM-Algebra) permutierbar ist. Dieses Ergebnis impliziert, dass, wenn A eine BG/BF1/B/BM-Algebra ist, der Verband aller Kongruenzen auf A modular ist. Darüber hinaus wird bewiesen, dass BF-Algebren und BCK-Algebren (und auch BCI/BCH/BH-Algebren) im Allgemeinen nicht kongruenzpermutierbar sind.