BG/BF1/B/BM 代数是同余可置换的

抽象的

安德烈·瓦伦齐亚克

我们证明 BG 代数（也在 BF1/B/BM 代数）上的每对同余都会排列。该结果意味着，如果 A 是 BG/BF1/B/BM 代数，则 A 上所有同余的格是模的。此外，还证明了BF-代数和BCK-代数（BCI/BCH/BH-代数）一般来说是不可同余置换的。