Algorithms are found that determine, for a finite set of identities (balanced identities), whether every nil-semigroup (periodic semigorup) satisfying them is locally finite. A number of results on finitely based semigroup varieties are obtained as corollaries. Bibliography: 34 titles.
No takes yet. Share an insight, caveat, or question.
Mark Sapir (1988) studied this question.