On Z₂-graded polynomial identities of verbally semiprime algebras (Q4241640)

The general structure theory of T-ideals, as developed by Kemer, is based on a careful study of T-semiprime and T-prime T-ideals and heavily depends on the investigation of both ordinary and super polynomial identities of finite dimensional \(\mathbb{Z}_2\)-graded algebras and their Grassmann enveloping algebras. In the paper under review the author studies the superanalogue of the notion of T-semiprime and T-prime T-ideals. He considers \(\text{T}_2\)-ideals (i.e., ideals of \(\mathbb{Z}_2\)-graded polynomial identities) of the free associative superalgebra over a field of characteristic 0 which are prime and semiprime in the class of \(\text{T}_2\)-ideals. The author describes completely the \(\text{T}_2\)-semiprime and \(\text{T}_2\)-prime ideals which satisfy the \((p,q)\)-Capelli condition (every graded identity with \(p+1\) skew-symmetric even variables or \(q+1\) skew-symmetric odd variables belongs to the \(\text{T}_2\)-ideal) and the \(\text{T}_2\)-semiprime and \(\text{T}_2\)-prime ideals which satisfy the \((p,q)^*\)-Capelli condition (every graded identity with \(p+1\) skew-symmetric even variables or \(q+1\) symmetric odd variables belongs to the \(\text{T}_2\)-ideal). The author has found a close relationship with the ordinary T-prime and T-semiprime T-ideals of Kemer.