On representability of a finite local ring (Q1570354): Difference between revisions

It is known that any nilpotent ring is embeddable in a ring of matrices over a commutative ring and there is a finite ring which cannot be embedded in a ring of matrices over a commutative ring (the first example was constructed by G.~M.~Bergman). The author investigates the following unsolved question: Let \(R\) be a finite local ring with identity. Can \(R\) be embedded into a matrix ring over a commutative ring? The author proves that any finite local ring with identity is a subring of the ring \(M_m(A\otimes_\mathbb{Z} R_{p;i_1,\dots,i_n})\) where \(A\) is a commutative finite local ring of characteristic \(p^n\) and \(R_{p;i_1,\dots,i_n}\) is a local ring of special type. Hence, he reduces the solution of the question to rings of special type.