Finitely Determined Members of Varieties of Groups and Rings,

A finitely generated algebra A in a variety is called finitely determined in if there exists a finite -consistent set of equalities and inequalities in an alphabet containing the generating set of A, which, together with the identities of , yields all relations and non-relations of A. Obviously, if the equational theory of is recursively enumerable then any finitely determined algebra in has solvable word problem. The known algebraic characterizations of groups and semigroups with solvable word problem imply that in the varieties of all groups and all semigroups the members with solvable word problem are finitely determined. We construct a finitely generated center-by-metabelian group with solvable word problem, which is not finitely determined in every group variety with Z 2 3. We show that every extension of a finitely generated abelian group by a finite group from a variety is finitely determined in every variety Z 2 . However, in any abelian-by-nilpotent variety no infinite group is finitely determined; moreover, in every variety, in which all finitely presented algebras are residually finite, each finitely determined algebra is finite. In the variety of all associative linear algebras over a finitely generated field every member with solvable word problem is finitely determined. We construct an example, which shows that for the variety of all associative rings it is not true; however, in this variety each torsion-free member with solvable word problem is finitely determined.