Finitely Determined Members of Varieties
โ
Oleg Belegradek
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 138 KB
A finitely generated algebra A in a variety V V is called finitely determined in V V if there exists a finite V V-consistent set of equalities and inequalities in an alphabet containing the generating set of A, which, together with the identities of V V , yields all relations and non-relations of A.