蕴涵半群簇的格
群论
2020-08-11 v4
摘要
2012年，第二作者引入并研究了一类新型代数，作为De Morgan代数的推广。这些代数为(2,0)型，具有一个二元运算和一个零元运算，满足两个特定的恒等式。此类代数称为蕴涵zroupoid。第二作者与J.M.Cornejo在多篇文章中对其进行了研究。这些文章中出现了若干满足结合律的蕴涵zroupoid簇。满足结合律的蕴涵zroupoid称为蕴涵半群。本文完全描述了所有蕴涵半群簇的格。结果表明，该格是非模的，且由16个元素组成。
关键词
引用
@article{arxiv.1809.03148,
title = {The lattice of varieties of implication semigroups},
author = {S. V. Gusev and H. P. Sankappanavar and B. M. Vernikov},
journal= {arXiv preprint arXiv:1809.03148},
year = {2020}
}
备注
Compared with the previous version, we rewrite Section 3 and add Appendixes A and B