Finitely generated equational classes (Q258136)

An algebra is said to admit an edge term if one of its term operations is an edge operation in the sense of \textit{J. Berman} et al. [Trans. Am. Math. Soc. 362, No. 3, 1445--1473 (2010; Zbl 1190.08004)]. Every variety generated by a finite algebra admitting an edge term is congruence modular and hereditarily finitely generated, which means that each subvariety is finitely generated. This crucial result of the present paper contributes to the open question whether all finitely generated congruence modular varieties are hereditarily finitely generated; it applies to groups, quasigroups, loops, and lattices as well as to respective expansions.