“…For example, all finite algebraic structures, abelian groups, linear groups over a Noetherian ring, and torsion-free hyperbolic groups are equationally Noetherian. On the other hand, some infinitely generated nilpotent groups, wreath products of a non-abelian group and an infinite cyclic group, infinite direct products of non-abelian groups, and minimax algebraic structures are not equationally Noetherian [2,1,24,12,11].…”