Шпехтовость идеалов тождеств некоторых простых неассоциативных алгебр

Многообразие называется унитарно шпехтовым, если все его подмногообразия, порожденные алгеброй с единицей, конечнобазируемы. Доказывается унитарная шпехтовость многообразия, порожденного каждой из следующих алгебр: 1) алгебра Кэли-Диксона, 2) конечномерная йорданова алгебра симметрической невырожденной билинейной формы. Доказывается также шпехтовость многообразия, порожденного простой нелиевой алгеброй Мальцева над полем характеристики 0.