Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Matrix rings over polynomial identity rings

Author: Elizabeth Berman
Journal: Trans. Amer. Math. Soc. 172 (1972), 231-239
MSC: Primary 16A42
MathSciNet review: 0308187
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that if $ A$ is an algebra over a field with at least $ k$ elements, and $ A$ satisfies $ {x^k} = 0$, then $ {A_n}$, the ring of $ n$-by-$ n$ matrices over $ A$, satisfies $ {x^q} = 0$, where $ q = k{n^2} + 1$. Theorem 1.3 generalizes this result to rings: If $ A$ is a ring satisfying $ {x^k} = 0$, then for all $ n$, there exists $ q$ such that $ {A_n}$ satisfies $ {x^q} = 0$.

Definitions. A checkered permutation of the first $ n$ positive integers is a permutation of them sending even integers into even integers. The docile polynomial of degree $ n$ is

$\displaystyle \prod\limits_{i = 1}^p {D({x_{i1}}, \cdots ,{x_{ik}}){u_i},} $

athewhere the sum is over all checkered permutations $ f$ of the first $ k$ positive integers. The docile product polynomial of degree $ k,p$is

$\displaystyle \prod\limits_{i = 1}^p {D({x_{i1}}, \cdots ,{x_{ik}}){u_i},} $

where the $ x$'s and $ u$'s are noncommuting variables. Theorem 2.1. Any polynomial identity algebra over a field of characteristic 0 satisfies a docile product polynomial identity. Theorem 2.2. If $ A$ is a ring satisfying the docile product polynomial identity of degree $ 2k,p$, and $ n$ is a positive integer, and $ q = 2{k^2}{n^2} + 1$; then $ {A_n}$ satisfies a product of $ p$ standard identities, each of degree $ q$.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 16A42

Retrieve articles in all journals with MSC: 16A42

Additional Information

Keywords: Polynomial identity rings, nil rings, matrix rings
Article copyright: © Copyright 1972 American Mathematical Society

American Mathematical Society