arXiv:1805.11451v4 [math.RA] 19 Jun 2020 n neeetr eut h da htla oteproo the to lead that ideas The result. elementary an ing igsatis ring te ahmtcas hwn htarn scmuaiei commutative is ring a that showing mathematicians, other euthsbeen has result hs stersl o result the is these ehp oilsrt h oe o power the illustrate to hope we satis nepa o interplay iptnspa e oeldt h oino notion the to led role key a play nilpotents eea adtcncl eut nrn hoy nti ae,w g we paper, this In theory. proo ring ple in results technical) (and general hoyo theory yJcbo,Hrti,Kpasyadohr.Prastemost the Perhaps others. and Kaplansky Herstein, Jacobson, by f proo ned esenosre n[]ta : that [2] in observed Herstein Indeed, f h esnmyb u othe to due be is may and reason the textbooks graduate in tioned Un elements). nilpotent no have a xeta lgn eeaiaino generalization elegant an expect may bu h tutr o structure the about I nt iiinrn sa is ring division inite rtesrcueter o theory structure the or f Keywords ttebgnigo beginning the At u otersrcino restriction the to Due soecnse hsgnrlzsWdebr’ hoe a division (as theorem Wedderburn’s generalizes this see, can one As vr iptn o nilpotent every f f eti eea oyoilidentities. polynomial general certain y sepcal ntutv osuet sa lutaino illustration an as students to instructive especially is egv ipeproo simple a give We Abstract. omttv i commutative f f f o ig,la omn neetn eut n2t etr Algebra, century 20th in results interesting many to lead rings, h equation the y OR,TENLOET R NTECENTER THE IN ARE NILPOTENTS THE SORRY, f f esensrsl n oet rn tt ieadec.The audience. wide a to it bring to hope and result Herstein’s t dmoet n iptns ned nesadn that understanding Indeed, nilpotents. and idempotents its ocmuaierns dmoet nilpotent, idempotent, rings, Noncommutative : f rhrgnrlzd ntesm ieto,b esenand Herstein by direction, same the in generalized, urther n o One f f a f l t iptnslei h center. the in lie nilpotents its all f f aosn[] hc asta i that says which [6], Jacobson f nt igle niscne,te h igi commutative. is ring the then center, its in lies ring inite f nagbacnb tugtgte by together strung be can algebra an h e opnnso components key the f ield h 0hcnuy edrunsoe that showed Wedderburn century, 20th the x f f n f lers[,4.W ilntgtit hs Instead this; into get not will We 4]. [3, algebras o hssatigrsl,aogwt h structure the with along result, startling This . ( f x IET CHINTALA VINEETH multiplicative ) lsi eutwihsae hta that states which result classic a f = Introduction c hti a rvda oolr omore to corollary a as proved was it that act x f ruaey hsbeauti this ortunately, hntern scmuaie Jacobson’s commutative. is ring the then , f iptnsadieptnsb present- by idempotents and nilpotents 1 f f ar edrunsresultWedderburn’s f f nagbaissto set its algebra an o en elkon ato Part well-known. being rom f edmi the in reedom f a radical f l h lmnso elements the all f lrsl s’ men- isn’t result ul hc a critical was which f f f nt igis ring inite nilpotents. f r o original not are f grn u the out iguring nt ae one case, inite f f f or h elements the o result a how f nt rings inite f f nt rings. inite v sim- a ive llr o olklore rings every f a f f 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

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]