On 3-torsion free rings in which every cube commutes with each other (Q1064384)

A ring \(R\) with 1 is called a \(P_ 3\)-ring if \([x^ 3,y^ 3]=0\) for all \(x,y\in R\), and \(3[x,y]=0\) implies \([x,y]=0\) for any \(x,y\in R\). The reviewer has given examples of noncommutative \(P_ 3\)-rings [Math. Jap. 24, 473-478 (1979; Zbl 0427.16024)]. The author shows that there exists a unique subdirectly irreducible noncommutative \(P_ 3\)-ring, specifically the ring of matrices of form \(\left[\begin{matrix} a&b\\ 0&a^ 2\end{matrix}\right]\), where \(a,b\in GF(4)\).