Finitely determined members of varieties of groups and rings (Q1570365)

A finitely generated algebra \(A\) in a variety \(\mathcal V\) is called finitely determined in \(\mathcal V\) if there exists a finite \(\mathcal V\)-consistent set of equations and inequalities in an alphabet containing the generating set of \(A\), which, together with the identities of \(\mathcal V\), yields all relations and non-relations of \(A\). In particular a finitely generated center-by-metabelian group with solvable word problem is constructed, which is not finitely determined in every variety \(\mathcal V\) with \(Z{\mathfrak A}^2\subseteq{\mathcal V}\subseteq{\mathfrak A}^3\).