Finitely determined members of varieties of groups and rings (Q1570365)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely determined members of varieties of groups and rings |
scientific article |
Statements
Finitely determined members of varieties of groups and rings (English)
0 references
13 December 2000
0 references
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\).
0 references
varieties of algebras
0 references
finitely determined algebras
0 references
solvable word problems
0 references
center-by-metabelian groups
0 references
associative rings
0 references