The Specht property of \(L\)-varieties of vector spaces over an arbitrary field (Q1731321)

Let \(F\) be a field and \(A\) an associative \(F\)-algebra. Assume that \(L\) is a vector subspace of \(A\). A polynomial \(f\) in the free associative algebra is an identity for the pair \((A,L)\) (also called a weak identity) if \(f\) vanishes under every substitution by elements of \(L\). Weak identities were introduced by \textit{Yu. P. Razmyslov} [Algebra Logic 12, 47--63 (1974); translation from Algebra Logika 12, 83--113 (1973; Zbl 0282.17003)] and later on used extensively in the study of polynomial identities of algebras related to associative ones, like Lie and Jordan algebras. Clearly the set of all identities for the pair \((A,L)\) is an ideal in the free associative algebra. Unlike T-ideals it need not be closed under endomorphisms but it will be closed under endomorphisms generated by linear substitutions of the free generators. A variety of algebras is Spechtian (or satisfies the Specht property) whenever the T-ideal of every algebra in the variety is finitely generated as T-ideal. One defines analogously the Specht property for varieties of pairs. \textit{G. V. Dorofeev} [Algebra Logic 16, 17--27 (1978); translation from Algebra Logika 16, 24--39 (1977; Zbl 0386.17001)] proved that if two varieties of (not necessarily associative) algebras satisfy the Specht property then their join also does. The main result of the paper under review consists in exhibiting a variety of pairs \((A,L)\) over an arbitrary field: it does not satisfy the Specht property but it is the join of two varieties which satisfy that property. Moreover the author deduces a condition for the validity of the Specht property for varieties of pairs \((A,L)\).