マセマティカ エテルナ
オープンアクセス

概要

BG/BF1/B/BM代数は合同可換である

アンジェイ・ワレンジアック

BG 代数 (BF1/B/BM 代数も同様) 上のすべての合同のペアは入れ替え可能であることを示します。この結果は、A が BG/BF1/B/BM 代数である場合、A 上のすべての合同の格子がモジュラーであることを意味します。さらに、BF 代数と BCK 代数 (BCI/BCH/BH 代数も) は一般に合同入れ替え可能ではないことが証明されています。