Abstract
No algorithm determines from an arbitrary recursive system of semigroup identities whether the variety defined by this system is finitely based.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Biryukov A. P., “On infinite families of identities in semigroups,” Algebra i Logika, 4, No. 2, 31-32 (1965).
Austin A. K., “A closed set of laws which is not generated by a finite set of laws,” Quart. J. Math., 17, No. 65, 11-13 (1966).
Ol' shanski? A. Yu., “On the problem of a finite basis of identities in groups,” Izv. Akad. Nauk SSSR Ser. Mat., 34, No. 2, 376-384 (1970).
Adyan S. I., The Burnside Problem and Identities in Groups [in Russian], Nauka, Moscow (1975).
Vaughan-Lee M. R., “Uncountably many varieties of groups,” Bull. London Math. Soc., 2, No. 6, 280-286 (1970).
Medvedev Yu. A., “An example of a non-finitely-based variety of solvable alternative algebras over a field of characteristic 2,” Algebra i Logika, 19, No. 3, 300-313 (1980).
Drenski V. S., “On identities in Lie algebras,” Algebra i Logika, 13, No. 3, 265-290 (1974).
Perkins P., “Bases for equational theories of semigroups,” J. Algebra, 11, No. 2, 298-314 (1969).
Polin S. V., “On identities of finite algebras,” Sibirsk. Mat. Zh., 17, No. 6, 1356-1366 (1976).
Kemer A. R., “The finite base property of identities of associative algebras,” Algebra i Logika, 26, No. 5, 597-641 (1987).
Pinus A. G., “Congruence-distributive varieties of algebras,” in: Algebra, Topology, and Geometry. Vol. 26 [in Russian], VINITI, Moscow, 1988, pp. 45-81. (Itogi Nauki i Tekhniki.)
Baker K. A., “Finite equational bases for algebras in a congruence-distributive equational class,” Adv. Math., 24, No. 3, 207-243 (1977).
Murski? V. L., “Nonrecognizable properties of finite systems of identities,” Dokl. Akad. Nauk SSSR, 196, No. 3, 520-522 (1971).
Popov V. Yu., “On some algorithmic problems related to varieties of nonassociative rings,” Mat. Trudy, 3, No. 2, 146-170 (2000).
Shevrin L. N. and Volkov M. V., “Identities of semigroups,” Izv. Vuzov Mat., No. 11, 3-47 (1985).
Sapir M. V., “Burnside-type problems and identities of finite semigroups,” in: Abstracts: 18 All-Union Algebraic Conference [in Russian], Kishinëv, 1985, Part 2, p. 151.
Arshon S. E., “The proof of existence of n-valued infinite asymmetric sequences,” Mat. Sb., 2, No. 4, 769-779 (1937).
Murski? V. L., “Some examples of varieties of semigroups,” Mat. Zametki, 3, No. 6, 663-670 (1968).