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
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
''R'' that has finite
uniform dimension (="finite rank") as a right module over itself, and satisfies the
ascending chain condition In mathematics, the ascending chain condition (ACC) and descending chain condition (DCC) are finiteness properties satisfied by some algebraic structures, most importantly ideals in certain commutative rings.Jacobson (2009), p. 142 and 147 These c ...
on right
annihilators of subsets of ''R''.
Goldie's theorem states that the
semiprime right Goldie rings are precisely those that have a
semisimple
In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of ''sim ...
Artinian right
classical ring of quotients
In mathematics, especially in the area of algebra known as ring theory, the Ore condition is a condition introduced by Øystein Ore, in connection with the question of extending beyond commutative rings the construction of a field of fractions, o ...
. 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
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural se ...
.
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
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
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 .
*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.
[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. ]
** From the previous observations, ''R'' is a right
Ore ring, and so its right classical ring of quotients ''Q''
''r'' exists. Also from the previous observations, ''Q''
''r'' is a semisimple ring. Thus ''R'' is a right order in ''Q''
''r''.
* 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.
References
*
*
*
*
*
External links
PlanetMath page on Goldie's theorem
Theorems in ring theory
{{abstract-algebra-stub