交换 BCK 代数 finitely 生成范畴的覆盖
环与代数
2026-02-27 v2
摘要
本文旨在描述任意 finitely 生成的交换 BCK 代数（cBCK 代数）的全部覆盖。已知，分解不可约 cBCK 代数是根树（关于其序）。此外，任意 finitely 生成的范畴中所有分解不可约成员都是其范畴生成器的子代数。文章的前半部分关注有限分解不可约 cBCK 代数的子代数。后半部分 presented a 一种提供任意 finitely 生成的范畴所有覆盖的构造方法。
引用
@article{arxiv.2501.12017,
title = {Finitely Generated Varieties of Commutative BCK-algebras: Covers},
author = {Václav Cenker},
journal= {arXiv preprint arXiv:2501.12017},
year = {2026}
}