Author:
Lee Edmond W. H.,Zhang Wen Ting
Abstract
AbstractTwo semigroups are distinct if they are neither isomorphic nor anti-isomorphic. Although there exist $15\,973$ pairwise distinct semigroups of order six, only four are known to be non-finitely based. In the present article, the finite basis property of the other $15\,969$ distinct semigroups of order six is verified. Since all semigroups of order five or less are finitely based, the four known non-finitely based semigroups of order six are the only examples of minimal order.
Subject
Computational Theory and Mathematics,General Mathematics
Reference50 articles.
1. COMBINATORIAL REES–SUSHKEVICH VARIETIES ARE FINITELY BASED
2. Some sufficient conditions for hereditarily finitely based varieties of semigroups;Pollák;Acta Sci. Math. (Szeged),1986
3. The existence in the three-valued logic of a closed class with a finite basis, having no finite complete system of identities;Murskiĭ;Soviet Math. Dokl.,1965
4. Equational Bases for Lattice Theories.
5. There are 15973 semigroups of order 6;Plemmons;Math. Alg.,1967
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献