Examples and counterexamples for \(M_{1,1}\) embeddings (Q1891495)

The smallest verbally prime algebras after the supercommutative algebras are the algebras equivalent to \(M_{1,1}\). The polynomial identities of Grassmann algebras were determined by Popov. \(M_{1,1}\) has a natural \(Z/2Z\)-grading and Di Vincenzo determined the \(Z/2Z\)-graded identities. Kemer proved that \(M_{1,1}\) is polynomial identity equivalent to the tensor product of any two supercommutative algebras, and Di Vincenzo extended that result to show that they are also equivalent as \(Z/2Z\)- graded algebras. In this paper the author presents two counterexamples and one positive result on the subject of graded embedding.