Квазитождества конечных колец и решёток

Доказывается, что конечное кольцо имеет конечный базис квазитождеств тогда и только тогда, когда в нем выполняются квазитождества $x^3=0\to x^2=0$, $x^2=y^2=xyx=0\to xy=0$. Модулярная решетка $M_{3-3}$ не имеет конечного базиса квазитождеств. Кроме того, в классе модулярных решеток найдено квазимногообразие, не имеющее независимого базиса квазитождеств.