No label defined (Q4474900)

In the paper under review the author announces and sketches the proofs of several results about the description of the subvarieties of the varieties of superalgebras and algebras with involution generated by the \(2\times 2\) matrix algebra \(M_2(K)\) over a field \(K\) of characteristic 0. Here \(M_2(K)\) is naturally \(\mathbb{Z}_2\)-graded or is equipped with the transpose involution, respectively. The idea is to find sets of superalgebras or algebras with involution, which satisfy all \(\mathbb{Z}_2\)-graded or \(*\)-identities of \(M_2(K)\) and such that any \(T_2\)-ideal or ideal of \(*\)-identities which properly contains \(T_2(M_2(K))\) or \(T_*(M_2(K),t)\) is asymptotically equivalent to the ideal of the corresponding identities from the set of algebras. Here two ideals are asymptotically equivalent if, for sufficiently large degrees, they have the same so called proper \(\mathbb{Z}_2\)- or \(*\)-identities. The main results are in the spirit of the description of the subvarieties of the variety of algebras generated by \(M_2(K)\) given by \textit{A. R. Kemer} [Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 6(325), 71-76 (1989; Zbl 0678.16013); English translation: Sov. Math. 33, No. 6, 71-76 (1990)] and the reviewer [\textit{V. S. Drensky}, Serdica 12, 209-216 (1986; Zbl 0621.16019)]. The sets of algebras consist of subalgebras of the algebra of \(2\times 2\) matrices with entries from the algebra \(K[t]/(t^k)\), similar to those used by the reviewer. As a consequence of his approach, the author obtains also a similar description of the subvarieties of one of the \(*\)-varieties with almost polynomial growth of the \(*\)-codimensions. For the entire collection see [Zbl 1027.00013].