Goldie's theorem

In mathematics, Goldie's theorem is a basic structural result in ring theory, proved by Alfred Goldie during the 1950s. What is now termed a right Goldie ring is a ring R that has finite uniform dimension (="finite rank") as a right module over itself, and satisfies the ascending chain condition on right annihilators of subsets of R.

Goldie's theorem states that the semiprime right Goldie rings are precisely those that have a semisimple Artinian right classical ring of quotients. The structure of this ring of quotients is then completely determined by the Artin–Wedderburn theorem.

In particular, Goldie's theorem applies to semiprime right Noetherian rings, since by definition right Noetherian rings have the ascending chain condition on all right ideals. This is sufficient to guarantee that a right-Noetherian ring is right Goldie. The converse does not hold: every right Ore domain is a right Goldie domain, and hence so is every commutative integral domain.

A consequence of Goldie's theorem, again due to Goldie, is that every semiprime principal right ideal ring is isomorphic to a finite direct sum of prime principal right ideal rings. Every prime principal right ideal ring is isomorphic to a matrix ring over a right Ore domain.

Sketch of the proof

This is a sketch of the characterization mentioned in the introduction. It may be found in (Lam 1999, p.324).

  • If R be a semiprime right Goldie ring, then it is a right order in a semisimple ring:
    • Essential right ideals of R are exactly those containing a regular element.
    • There are no non-zero nil ideals in R.
    • R is a right nonsingular ring.[1]
    • From the previous observations, R is a right Ore ring, and so its right classical ring of quotients Qr exists. Also from the previous observations, Qr is a semisimple ring. Thus R is a right order in Qr.
  • If R is a right order in a semisimple ring Q, then it is semiprime right Goldie:
    • Any right order in a Noetherian ring (such as Q) is right Goldie.
    • Any right order in a Noetherian semiprime ring (such as Q) is itself semiprime.
    • Thus, R is semiprime right Goldie.
gollark: I mean, look at something something continuous chaotic systems.
gollark: Aren't discreteness and small changes causing big differences somewhat separate, though?
gollark: True.
gollark: DNA is sort of kind of a digital storage system, and it gets translated into proteins, which can turn out really differently if you swap out an amino acid.
gollark: Real-world evolution works fine with fairly discrete building blocks, though.

References
  1. This may be deduced from a theorem of Mewborn and Winton, that if a ring satisfies the maximal condition on right annihilators then the right singular ideal is nilpotent. (Lam 1999, p.252)
  • Coutinho, S.C.; McConnell, J.C. (2003). "The quest for quotient rings (of non-commutative Noetherian rings". American Mathematical Monthly. 110 (4): 298–313. CiteSeerX 10.1.1.296.8947. doi:10.2307/3647879. JSTOR 3647879.
  • Goldie, A.W. (1958). "The structure of prime rings under ascending chain conditions". Proc. London Math. Soc. 8 (4): 589–608. doi:10.1112/plms/s3-8.4.589.
  • Goldie, A.W. (1960). "Semi-prime rings with maximal conditions". Proc. London Math. Soc. 10: 201–220. doi:10.1112/plms/s3-10.1.201.
  • Herstein, I.N. (1969). Topics in ring theory. Chicago lectures in mathematics. Chicago, Ill.: Chicago Univ. Pr. pp. 61–86. ISBN 978-0-226-32802-7.
  • Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5, MR 1653294
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.