The main purpose of this paper is to examine the road towards the structure of simple and semi-simple Artinian rings. We refer to these structure theorems as the Wedderburn-Artin theorems. On this journey, we will discuss R-modules, the Jacobson radical, Artinian rings, nilpotency, idempotency, and more. Once we reach our destination, we will examine some implications of these theorems. As a fair warning, no ring will be assumed to be commutative, or to have unity. On that note, the reader should be familiar with the basic findings from Group Theory and Ring Theory.

This report is a summarization and extension of previous work done by Dr. Efraim Armendariz, University of Texas at Austin, and Dr. Henry E. Heatherly, University of Lousiana Lafayette, on the topic of rings with commuting ideals. Some of these authors’ results are extended to one-sided ideals instead of two-sided ideals. Topics discussed include homomorphic images of rings with commuting left ideals, finite direct products of rings with commuting left ideals, rings of n x n matrices over a ring with commuting left ideals, constructing rings with commuting ideals using an idempotent, and simple rings with commuting ideals over polynomials in X. Examples are given to illustrate some properties of rings with commuting ideals. A short a discussion regarding the inclusion of ring theory in the secondary mathematics classroom is also included. / text

Um anel noetheriano S satisfaz a propriedade ( ) se todas as extens~oes essenciais c clicas de S-m odulos simples s~ao artinianas. An eis noetherianos com esta propriedade veri cam a Conjectura de Jacobson, que e um famoso problema em aberto em teoria de an eis. Neste trabalho investigamos esta propriedade em an eis de operadores diferenciais R[ ; ], onde R e um anel comutativo noetheriano e uma deriva c~ao de R. Mais especi camente, estudamos condi c~oes necess arias e su cientes para que R[ ; ] satisfa ca ( ), quando R e um anel -simples e, tamb em, no caso em que este e um anel -primitivo. Al em disso, caracterizamos os an eis de operadores diferenciais C[x; y][ ; ] que satisfazem ( ). / A Noetherian ring S satis es the property ( ) if any cyclic essential extension of simple S-modules are Artinian. Noetherian rings with this property verify Jacobson's Conjecture, which is a famous open problem in ring theory. In this work we investigate this property in di erential operators rings R[ ; ], where R is a commutative Noetherian ring and is a derivation of R. More precisely, we study necessary and su cient conditions for R[ ; ] to satisfy property ( ) whenever R is a -simple ring and also for the case where it is a -primitive ring. Furthermore, we characterize the di erential operator rings C[x; y][ ; ] satisfying ( ).

Um anel noetheriano S satisfaz a propriedade ( ) se todas as extens~oes essenciais c clicas de S-m odulos simples s~ao artinianas. An eis noetherianos com esta propriedade veri cam a Conjectura de Jacobson, que e um famoso problema em aberto em teoria de an eis. Neste trabalho investigamos esta propriedade em an eis de operadores diferenciais R[ ; ], onde R e um anel comutativo noetheriano e uma deriva c~ao de R. Mais especi camente, estudamos condi c~oes necess arias e su cientes para que R[ ; ] satisfa ca ( ), quando R e um anel -simples e, tamb em, no caso em que este e um anel -primitivo. Al em disso, caracterizamos os an eis de operadores diferenciais C[x; y][ ; ] que satisfazem ( ). / A Noetherian ring S satis es the property ( ) if any cyclic essential extension of simple S-modules are Artinian. Noetherian rings with this property verify Jacobson's Conjecture, which is a famous open problem in ring theory. In this work we investigate this property in di erential operators rings R[ ; ], where R is a commutative Noetherian ring and is a derivation of R. More precisely, we study necessary and su cient conditions for R[ ; ] to satisfy property ( ) whenever R is a -simple ring and also for the case where it is a -primitive ring. Furthermore, we characterize the di erential operator rings C[x; y][ ; ] satisfying ( ).

Um anel noetheriano S satisfaz a propriedade ( ) se todas as extens~oes essenciais c clicas de S-m odulos simples s~ao artinianas. An eis noetherianos com esta propriedade veri cam a Conjectura de Jacobson, que e um famoso problema em aberto em teoria de an eis. Neste trabalho investigamos esta propriedade em an eis de operadores diferenciais R[ ; ], onde R e um anel comutativo noetheriano e uma deriva c~ao de R. Mais especi camente, estudamos condi c~oes necess arias e su cientes para que R[ ; ] satisfa ca ( ), quando R e um anel -simples e, tamb em, no caso em que este e um anel -primitivo. Al em disso, caracterizamos os an eis de operadores diferenciais C[x; y][ ; ] que satisfazem ( ). / A Noetherian ring S satis es the property ( ) if any cyclic essential extension of simple S-modules are Artinian. Noetherian rings with this property verify Jacobson's Conjecture, which is a famous open problem in ring theory. In this work we investigate this property in di erential operators rings R[ ; ], where R is a commutative Noetherian ring and is a derivation of R. More precisely, we study necessary and su cient conditions for R[ ; ] to satisfy property ( ) whenever R is a -simple ring and also for the case where it is a -primitive ring. Furthermore, we characterize the di erential operator rings C[x; y][ ; ] satisfying ( ).