This article is cited in 34 papers

Inherently nonfinitely based finite semigroups

M. V. Sapir


Abstract: A locally finite variety is called inherently nonfinitely based if it is not contained in any finitely based locally finite variety. A finite universal algebra is called inherently nonfinitely based if it generates an inherently nonfinitely based variety. In this paper a description of inherently nonfinitely based finite semigroups is given; it is proved that the set of such semigroups is recursive and that the property of a finite semigroup to be inherently nonfinitely based is mainly determined by the structure of its subgroups. It is also shown that there exists a unique minimal inherently nonfinitely based variety of semigroups consisting not only of groups. It is not known whether there exists an inherently nonfinitely based variety of groups.
Bibliography: 18 titles.

UDC: 512.53

MSC: 20M07

Received: 31.01.1986

 English version: Mathematics of the USSR-Sbornik, 1988, 61:1, 155–166

Bibliographic databases:

• 
•