We show that there exists an algorithm which decides whether a finite set of identities containing a permutation identity defines a variety generated by a finite semigroup or not.
机构:
Univ Colorado, Dept Math, Boulder, CO 80309 USAUniv Colorado, Dept Math, Boulder, CO 80309 USA
Kearnes, Keith A.
Kiss, Emil W.
论文数: 0引用数: 0
h-index: 0
机构:
Eotvos Lorand Univ, Dept Algebra & Number Theory, Pazmany Peter Setany 1-C, H-1117 Budapest, HungaryUniv Colorado, Dept Math, Boulder, CO 80309 USA
Kiss, Emil W.
Szendrei, Agnes
论文数: 0引用数: 0
h-index: 0
机构:
Univ Colorado, Dept Math, Boulder, CO 80309 USAUniv Colorado, Dept Math, Boulder, CO 80309 USA