• Abstract and Figures
• Public Full-text

SORRY, THE NILPOTENTS ARE IN THE CENTER VINEETH CHINTALA Abstract. One of the key components of an algebra its set of nilpotents. We give a simple proof of a classic result which states that a finite ring is commutative if all its nilpotents lie in the center. Keywords : Noncommutative rings, idempotent, nilpotent, finite rings Introduction At the beginning of the 20th century, Wedderburn showed that every finite division ring is a field. This startling result, along with the structure theory of rings, lead to many interesting results in 20th century Algebra, by Jacobson, Herstein, Kaplansky and others. Perhaps the most folklore of these is the result of Jacobson [6], which says that if all the elements of a ring satisfy the equation xn(x) = x, then the ring is commutative. Jacobson’s result has been further generalized, in the same direction, by Herstein and other mathematicians, showing that a ring is commutative if the elements satisfy certain general polynomial identities. Due to the restriction of multiplicative freedom in the finite case, one may expect an elegant generalization of Wedderburn’s result for finite rings. Indeed, Herstein observed in [2] that : If every nilpotent of a finite ring lies in its center, then the ring is commutative. As one can see, this generalizes Wedderburn’s theorem (as division rings arXiv:1805.11451v4 [math.RA] 19 Jun 2020 have no nilpotent elements). Unfortunately, this beautiful result isn’t men- tioned in graduate textbooks and is far from being well-known. Part of the reason may be due to the fact that it was proved as a corollary to more general (and technical) results in ring theory. In this paper, we give a sim- ple proof of Herstein’s result and hope to bring it to a wide audience. The proof is especially instructive to students as an illustration of how a result about the structure of an algebra can be strung together by figuring out the interplay of its idempotents and nilpotents. Indeed, understanding that nilpotents play a key role led to the notion of a radical which was critical for the structure theory of algebras [3, 4]. We will not get into this; Instead we hope to illustrate the power of nilpotents and idempotents by present- ing an elementary result. The ideas that lead to the proof are not original 1 2 VINEETH CHINTALA by any means and can be mined by studying the classic commutativity re- sults of the 20th century. A reader looking for a taste of noncommutative ring theory can find many excellent sources, including [3, 4, 8]. The book by Schafer [9] is a nice introduction to the nonassociative world of Lie and Jordan algebras. Since Wedderburn’s result is well-known, we will not prove it here again; (An elementary proof can be found in [1]). 0.1. Notation. An element x is called an idempotent if x2 = x and a nilpo- tent if xn = 0. Thecenterof the ring is denoted by C and its set of nilpotents is denoted by N. 1. Finite rings with central nilpotents. We will prove the main result by combining three presumably well-known lemmas. Lemma 1. Let R be a ring and e an idempotent. If e commutes with all the nilpotents of R, then e is central. Proof. For any x ∈ R, we have (xe − exe)2 =0. As e commutes with all nilpo- tents, xe − exe = (xe − exe)e = e(xe − exe)=0. Similarly ex = exe, thus e ∈ C. Lemma 2. Let R be a finite ring with no non-trivial idempotents. Let x ∈ R. Then either x is a nilpotent or x is invertible i r r Proof. The set {x2 : i ≥ 1} is finite and so x2 = (x2 )t for some r,t > 1. r Let y = x2 . Then yt−1 is an idempotent. Indeed, y2(t−1) = yt−2yt = yt−2y = yt−1. Since R has no nontrivial idempotents, we have yt−1 ∈ {0,1}. n Lemma 3. Suppose [R,R] ⊆ C. Let b ∈ R such that pnb =0. Then bp ∈ C. Proof. By our hypothesis, the element c = ab − ba commutes with b. Multi- plying on the right by b, we get ab2 = bab + cb = b2a +2cb. n n Continuing this way, we get abi = bia + icbi−1. Thus abp = bp a, since pnb = 0. Theorem 1. If all the nilpotents of a finite ring R lie in its center, then the ring is commutative. SORRY, THE NILPOTENTS ARE IN THE CENTER 3 f f f f Proof. I R = R1 ⊕ R2, then the theorem holds or R i it holds or each Ri. So it is enough to consider the case where R cannot be decomposed further. Then, • R has no non-trivial idempotents : If e is an idempotent then e is central by Lemma 1, and so R ≃ Re ⊕ R(1 − e). n f • p · R =0 for some prime p : I m1m2 · R = 0 with (m1,m2) = 1, then R ≃ R1 ⊕ R2 where mi · Ri =0. By our hypothesis, N ⊆ C. In particular, N is an ideal. By Lemma 2, any x < N is invertible. Then x¯ ∈ R/N is also invertible and so (by Wed- derburn’s result) R/N is a finite field with p · R/N = 0. In particular R/N is commutative, hence [R,R] ⊆ N ⊆ C. in rn sn In addition, the set {bp : i ≥ 1} is finite and so bp = bp for some r<s. tn rn Therefore (b¯p − b¯)p =0 (where t = s − r), thus tn bp − b ∈ N. tn Since bp ∈ C (by Lemma 3), it follows that b ∈ C for all b ∈ R. 1 As a corollary, we get the finite-version of Jacobson’s theorem (Theorem 12.10, [6]). Corollary 1. Let R be a finite ring. If every x ∈ R satisfies an equation of the type xn(x) = x for some n(x) > 1, then R is commutative. Proof. Since xn(x) = x, the zero element is the only nilpotent and we can simply use the above theorem. Theorem 2. Consider the matrix ring Mn(R) where n> 1 and R is any associa- tive ring with unity. Then any element of Mn(R) which commutes with all the nilpotents lies in the center. Proof. The proof is a straight forward computation; we illustrate it for 3×3 matrices with entries from the ring R. We will reduce the problem to 2 × 2 f matrices with entries rom R. Let A = (aij ) be a matrix which commutes with all the nilpotents. 0 0 x Let B = 0 0 0 . 0 0 0 0 0 a11x xa31 xa32 xa33 Now AB = 0 0 a21x = BA = 0 0 0 . 0 0 a x 0 0 0 31 1It has come to the author’s notice that another proof has been presented by Steve Ligh [5]. Unfortunately, that article is no longer accessible (online or offline) and the author hasn’t been able to confirm if the proof is similar. 4 VINEETH CHINTALA By substituting x = 1, we get a31 = a32 =0. Moreover we have a11x = xa33 f f f or any x ∈ R. There ore a11 = a33 lies in the center o R. Since the trans- pose of A commutes with all the nilpotents, we similarly conclude that a13 = a23 = 0. A′ 0 c a Hence A = , where A′ = 12 and c lies in the center of 0 c ! a21 a22 ! R. We also require that A′ commutes with all the nilpotents in the 2 × 2 matrix ring with entries from R. Since both A′ and its transpose commute 0 1 c 0 with the nilpotent matrix , it follows that A′ = . Hence A 0 0 ! 0 c ! is a diagonal matrix with entries from the center of R. Acknowledgements: I would like to thank the Indian Institute of Tech- nology, Bombay for funding my research. References [1] M. Aigner and G. M. Ziegler - Proofs from the book, Springer-Verlag Berlin Hei- delberg, 2010. [2] I. N. Herstein - A note on rings with central nilpotent elements. Proc. Am. Math. Soc. 5 (1954), 620. [3] I. N. Herstein - Noncommutative Rings, in The Carus Mathematical Mono- graphs, No. 15, Published by The Mathematical Association of America; 1968. [4] T. Y. Lam - A first course in noncommutative rings, GTM 131, Springer-Verlag, 1991. [5] S. Ligh, Finite rings with central nilpotent elements,Tamkang J. Math. 16 (1985), no. 3, 45-46. [6] N. Jacobson - Structure Theory for Algebraic Algebras of Bounded Degree. Ann. of Math. 1945, 46, 695–707 [7] K. H. Parshall, (1983). In pursuit of the finite division algebra theorem and be- yond: Joseph H M Wedderburn, Leonard Dickson, and Oswald Veblen. Archives of International History of Science. 33: 274?99. [8] L. H. Rowen - Ring Theory, Academic Press, 1988 (Student edition 1991). [9] R. D. Schafer, An Introduction to Nonassociative Algebras, Dover Books on Mathematics, 2017. Indian Institute of Technology, Bombay, India E-mail address: [email protected].

Load more

  4

Copy Link