The Ascending and Descending Varietal Chains of a Variety

Abstract
Let F be a variety (equational class) of algebras. For n ≧ 0, Vn is the variety generated by the F-free algebra on n free generators while Vn is the variety of all algebras satisfying each identity of V which has no more than n variables. (Equivalently, Vn is the class of all algebras, , such that every n-generated subalgebra of is in V.) Note that unless nullary operation symbols are specified by the similarity type of V, V0 is the variety of all one element algebras while is the variety of all algebras.

This publication has 1 reference indexed in Scilit: